Verifying Distributed Adaptive Real-Time Systems
“What we realized at that time, got really excited about, was this emergence of this class of systems that consisted of agents that are collaborating and cooperating but operating in an uncertain environment to achieve some mission and safety goals.”
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.
About the Speaker
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 http://www.andrew.cmu.edu/~schaki/.
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.