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

Digital Library


Assuring Cyber-Physical Systems

  • January 2019
  • Anita Carleton explains what cyber-physical systems are and discusses the work that the SEI has done to ensure they are safe to use for our national defense.
  • Cyber-Physical Systems
  • Publisher: Software Engineering Institute
  • Watch

  • Abstract

    Self-driving cars, drones, or missiles that use computer systems to interact with the physical world are examples of cyber-physical systems. As these systems become more complex and unpredictable, establishing confidence that they work correctly becomes challenging. To address these challenges, the Software Solutions Division of the SEI conducted research to develop programs that focus on enforcing that cyber-physical systems perform only safe actions. This SEI Cyber Minute explains how these programs work to prevent cyber-physical systems from violating their safety conditions, and how use of these programs can reduce development time and cost.