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

Topics

Publication Date

Software

DART

  • 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