search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Verifying DART Systems

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

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.