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

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2014) Practical use of formal verification for safety critical cyber-physical systems:A case study. In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, pp. 7-12. ISBN 9781479953875

Full text not available from this repository.

Abstract

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.

Item Type:
Contribution in Book/Report/Proceedings
Additional Information:
Cited By :4
Subjects:
ID Code:
137507
Deposited By:
Deposited On:
14 Oct 2019 13:46
Refereed?:
Yes
Published?:
Published
Last Modified:
27 Sep 2020 06:53