search menu icon-carat-right cmu-wordmark


October 2016 Software

DART combines model-driven development with evidence-generating analysis for engineering high-assurance software.


Distributed Adaptive Real-Time (DART) systems are cyber-physical systems that consist of several physically separated nodes that communicate and coordinate to achieve their goals, and self-adapt to their environment to improve the likelihood of success.

The wiki page contains a tutorial to help you use the DART software.