search menu icon-carat-right cmu-wordmark

Verifying Distributed Adaptive Real-Time Systems

This November 2, 2016, SEI Bulletin talks about a new blog post written by James Edmondson and Sagar Chaki.

Software Engineering Institute


Distributed adaptive real-time (DART) systems are key to many areas of Department of Defense (DoD) capability. DART systems promise to revolutionize several such areas of mutual civilian-DoD interest. To fully realize the potential of DART systems, however, the software controlling them must be engineered for high assurance and certified to operate safely and effectively. James Edmondson and Sagar Chaki describe our architecture and approach to engineering high-assurance software for DART systems. The bulletin includes a link to the blog post.