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
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.
• By Paul D. 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.
• 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.
• By Dionisio de Niz
In Cyber-Physical Systems
