Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date


Verifying DART Systems

  • November 2016
  • By Sagar Chaki4807, Dionisio de Niz3373
  • This work is producing validated assurance techniques for distributed adaptive real-time (DART) systems
  • Publisher: Software Engineering Institute
  • 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.

  • Download

Part of a Collection

SEI 2016 Research Review