Cyber-Physical Systems
In cyber-physical systems (CPS), physical and software components are deeply intertwined. Our work in this area involves virtual integration and research and development to enable the rapid, scalable automatic verification of CPS systems.
Blog Posts
Cybersecurity of Logistics Decision Models
Goods, services, and people simply cannot get to where they are needed without effective logistics. In this blog post we will focus on cyber attacks to logistics decision models.
Read More•By Clarence Worrell, Lauren Hoge
In Cyber-Physical Systems
Cyber-Physical Sensing to Extend the National Intelligence, Surveillance, and Reconnaissance Mesh
With the growing importance of improved sensing for national security, leveraging sensors in consumer products or embedded in devices can be economical, flexible, and timely.
Read More•By Matthew Walsh, David Schulker, Dominic A. Ross, Devin Michael Cortese
In Cyber-Physical Systems
Don’t Wait for ROI on Model-Based Analysis for Embedded Computing Resources
This SEI Blog post examines the design and implementation of embedded computing resources for CPS and the complexities that drive the need for model building.
Read More•By Alfred Schenker, Jerome Hugues
In Cyber-Physical Systems
Assuring Cyber-Physical Systems in an Age of Rising Autonomy
This post discusses research by the SEI and Georgia Tech to address a number of challenges related to the rising volume of sensor data in autonomous cyber-physical systems.
Read More•By Jerome Hugues
In Cyber-Physical Systems
Systems Engineering and Software Engineering: Collaborating for the Smart Systems of the Future
Convergence between systems engineering and software engineering is forging new practices for engineering the smart systems of the future.
Read More•By Paul Nielsen
In Cyber-Physical Systems
Safety Assurance Does Not Provide Software Assurance
This SEI Blog on cybersecurity in cyber-physical systems (CPS), shows how safety evaluations fail to protect against cyber threats.
Read More•By Mark Sherman
In Cyber-Physical Systems
Accelerating Safety Assurance
Systems in which software components closely interact with physical processes are known as cyber-physical systems. This post describes promising results in assuring the safety of cyber-physical systems.
Read More•By Dionisio de Niz
In Cyber-Physical Systems
