Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Podcast

Verifying Distributed Adaptive Real-Time Systems

  • March 2017
  • By Sagar Chaki, James Edmondson
  • In this podcast, James Edmondson and Sagar Chaki describe an architecture and approach to engineering high-assurance software for Distributed Adaptive Real-Time (DART) systems.
  • Publisher: Software Engineering Institute
  • “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.”
  • Watch

  • Listen

    Loading Podcast.....
  • Related

    SEI Blog | Verifying Distributed Adaptive Real-Time Systems

  • Abstract

    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.

  • Audio
  • Transcript

About the Speaker

  • 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 http://www.andrew.cmu.edu/~schaki/.

  • 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.