dart pic
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 likelihood of success. DARTs promise to revolutionize several areas of modern civilization, such as transportation, energy, and healthcare. Think of coordinated multi-robot tasks, connected cars, remote medical procedures, and smart electric grids. However, to fully realize this potential, the DART software must be engineered to have high-assurance, and certified to operate safely and effectively. The DART project is developing algorithms, tools, and techniques to achieve this goal. We are using model-driven engineering (more), and innovating in several technical areas, including language design, verification, and self-adaptation (more). We are also implementing and applying our ideas (more).

See a short video on DART.