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



  • October 2016
  • DART combines model-driven development with evidence-generating analysis for engineering high-assurance software.
  • Cyber-Physical Systems
  • Publisher: GitHub
  • Abstract

    Distributed Adaptive Real-Time (DART) systems are cyber-physical systems that consist of several physically separated nodes that communicate and coordinate to achieve their goals, and self-adapt to their environment to improve the likelihood of success.

    The wiki page contains a tutorial to help you use the DART software.

Software Information

Published by GitHub

Get the Software