Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.

Visible to the public Safety

CPS issues in Safety, Verification, and Certification

This is the umbrella clearing house for CPS validation and verification related issues.


Visible to the public The Fail Safe Operation of Collaborative Driving Systems


Vehicle automation has progressed from systems that monitor the operation of a vehicle, such as antilock brakes and cruise control, to systems that sense adgacent vehicles, such as emergency braking and intelligent cruise control. The next generation of systems will share sensor readings and collaborate to control braking operations by looking several cars ahead or by creating safe gaps for merging vehicles.


Visible to the public DARPA AVM Program

The Adaptive Vehicle Make Research Program

The Defense Advanced Research Projects Agency's (DARPA) Adaptive Vehicle Make (AVM) portfolio of programs had a goal of compressing the development timelines for new complex cyber-physical systems by at least five-fold. With AVM, DARPA pursued the development of several elements of enabling infrastructure aimed at radically transforming the systems engineering / design / verification (META), manufacturing (iFAB), and collaborative innovation (VehicleFORGE) elements of the overall "make" process for modern defense systems. Each of these infrastructure capabilities was largely gen