))
Assuring Cyber-Physical Systems
Manage episode 310835919 series 3074403
Content provided by Carnegie Mellon University Software Engineering Institute and Members of Technical Staff at the Software Engineering Institute. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Carnegie Mellon University Software Engineering Institute and Members of Technical Staff at the Software Engineering Institute or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.
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.
102 episodes
Share
