
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
Safety engineers and software developers for cyber-physical systems have made great strides in producing devices and systems that are reliable, safe, and functional. With the growing threat posed by cyber …
• 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
