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.

June 7, 2021 • By Dionisio de Niz

Certifiable Distributed Runtime Assurance in Cyber-Physical Systems

Runtime assurance (RA) has become a promising technique for ensuring the safe behavior of autonomous systems (such as drones or self-driving vehicles) whose behavior cannot be fully determined at design …

July 15, 2018 • By Dionisio de Niz

Verifying Software with Timers and Clocks (STACs)

Software with timers and clocks (STACs) exchange clock values to set timers and perform computation. STACs are key elements of safety-critical systems that make up the infrastructure of our daily …

December 11, 2016 • By Sagar Chaki, Dionisio de Niz

Toward Safe Optimization of Cyber-Physical Systems

Cyber-physical systems (CPS) are characterized by close interactions between software components and physical processes. These interactions can have life-threatening consequences when they include safety-critical functions that are not performed according …

October 30, 2011 • By Dionisio de Niz

Ensuring Safety in Cyber-Physical Systems

In some key industries, such as defense, automobiles, medical devices, and the smart grid, the bulk of the innovations focus on cyber-physical systems. A key characteristic of cyber-physical systems is …

April 24, 2011 • By Dionisio de Niz