search menu icon-carat-right cmu-wordmark

Safety-Related Requirements

Blog Posts

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