Causality for Cyber-Physical Systems
By: Hugo Araujo , Hana Chockler , Mohammad Reza Mousavi and more
Potential Business Impact:
Finds why computer-controlled machines break.
We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous nature of cyber-physical systems. Based on our theory, we develop an analysis technique that is used to uncover the causes for examples of failures resulting from verification, which are represented as continuous trajectories. We develop a search-based technique to efficiently produce such causes and provide an implementation for such a technique. Moreover, we apply our solution to case studies (a suspension system and a connected platoon) and benchmark systems to evaluate its effectiveness; in the experiment, we show that we were able to detect causes for inserted faults.
Similar Papers
Efficient Discovery of Actual Causality in Stochastic Systems
Systems and Control
Finds why computer systems fail, even with noise.
A Survey of Anomaly Detection in Cyber-Physical Systems
Cryptography and Security
Finds problems in smart machines before they break.
Data-Driven Falsification of Cyber-Physical Systems
Cryptography and Security
Finds hidden dangers in self-driving cars.