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.