Verifying Distributed Adaptive Real-Time Systems
• Newsletter
This November 2, 2016, SEI Bulletin talks about a new blog post written by James Edmondson and Sagar Chaki.
Publisher
Software Engineering Institute
Abstract
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.