DART
October 2016 • Software
DART combines model-driven development with evidence-generating analysis for engineering high-assurance software.
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.