Probabilistic and Statistical Verification

Sampling-based solution methods for verifying random or chance properties.

Visible to the public Physically Informed Assertions for CPS Development and Debugging


This project's objective is to enable assertion--driven development and debugging cyber-- physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.


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.