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.