Semi-formal methods

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Mon, 02/01/2016 - 4:37am. Contributor:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Mon, 11/10/2014 - 12:26pm. Contributor:

Abstract:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.