Verifying Distributed Adaptive Real-Time Systems
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.