1350420

file

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

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.

biblio
biblio

Visible to the public Requirements driven falsification with coverage metrics

biblio

Visible to the public Towards composition of conformant systems