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.