Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University
SEI Podcast Series

Verifying Distributed Adaptive Real-Time Systems

Sagar Chaki, James Edmondson


Making sure government and privately owned drones share international air space safely and effectively is a top priority for government officials. Distributed Adaptive Real-Time (DART) systems are key to many areas of Department of Defense (DoD) capability, including the safe execution of autonomous, multi-unmanned aerial systems missions having civilian benefits. DART systems promise to revolutionize several such areas of mutual civilian-DoD interest, such as robotics, transportation, energy, and health care. 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. In short, these systems must satisfy guaranteed and highly-critical safety requirements (e.g., collision avoidance) while adapting smartly to achieve application requirements, such as protection coverage, while operating in dynamic and uncertain environments. In this podcast, James Edmondson and Sagar Chaki describe an architecture and approach to engineering high-assurance software for DART systems.



Player Not Available. Download Podcast.


About the Speakers

Sagar Chaki

Sagar Chaki is a principal researcher at the Software Engineering Institute and part of the Cyber-Physical Systems research group. His research focuses on the theory and applications of formal methods to improving software quality. In particular, he is interested in specification, verification, and validation of software, with particular focus on concurrent software, real-time and cyber-physical systems, and software security. More details on his projects and publications can be found at

James Edmondson

James Edmondson, a senior researcher at the Software Engineering Institute, builds middleware for distributed artificial intelligence. He specializes in real-time systems, control, and distributed algorithms.