Home > Research > Publications & Outputs > Practical use of formal verification for safety...


Text available via DOI:

View graph of relations

Practical use of formal verification for safety critical cyber-physical systems: A case study

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Publication date25/08/2014
Host publication2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications
Number of pages6
ISBN (electronic)9781479953875
<mark>Original language</mark>English


Cyber-Physical Systems (CPS) linking computing to physical systems are often used to monitor and controlsafety-critical processes, i.e. processes that bear the potential to cause significant damage or loss in the case of failures. While safety-critical systems have been extensively studied in both the discrete (computing) and analog (control) domains, the developed techniques apply to either one domain or the other. As cyber-physical systems span both domains, the focus on an individual domain leaves a gap on the systemlevel, where complex interactions between the domains can lead to failures that cannot be analyzed by considering only the physical orthe digital part of the integrated CPS. We discuss such a complex failure condition in a real-world brakecontrol system, and demonstrate its detection using a formalverification approach specifically targeting CPS. © 2014 IEEE.

Bibliographic note

Cited By :4