search menu icon-carat-right cmu-wordmark

Verifying DART Systems

November 2016 Presentation
Sagar Chaki, Dionisio de Niz

This work is producing validated assurance techniques for distributed adaptive real-time (DART) systems


Software Engineering Institute



DART systems (such as autonomous multi-unmanned-air-system missions) are key to Department of Defense (DoD) capability. However, verifying DART systems has proven to be intractable. In response, we have developed and validated assurance techniques for DART systems.