icon-carat-right menu search cmu-wordmark

Verifying DART Systems

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

Software Engineering Institute

Watch

Abstract

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.