MIDAS Project

Team:

• Vanderbilt ISIS (prime)
• Kestrel Institute
  • Alessandro Coglio (PI)
  • Eric McCarthy

The MIDAS (Model-based Intent-Driven Adaptive Software) project is part of DARPA’s IDAS (Intent-Driven Adaptive Software) program. The goal is to improve developers’ ability and efficiency to adapt software by providing a framework and and toolkit that explicates the process that leads from requirements to implementation.

The team is developing an approach to combine Vanderbilt’s model-based development tools like WebGME with Kestrel’s APT toolkit. A major research challenge is to make APT more usable to developers without a formal methods background.