search menu icon-carat-right cmu-wordmark

Assuring Cyber-Physical Systems

January 2019 Video

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.


Software Engineering Institute



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.