Visible to the public Practical Causal Models for Cyber-Physical SystemsConflict Detection Enabled

TitlePractical Causal Models for Cyber-Physical Systems
Publication TypeConference Paper
Year of Publication2019
AuthorsAmjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
Secondary AuthorsBadger, Julia M., Rozier, Kristin Yvonne
Conference NameNASA Formal Methods
PublisherSpringer International Publishing
Conference LocationCham, Germany
ISBN Number978-3-030-20652-9
Keywordsavionics, causal models, cyber physical systems, halpern-pearl models, holistic models, system failures, Systems, Transportation, unmanned aerial vehicle case study
Abstract

Unlike faults in classical systems, faults in Cyber-Physical Systems will often be caused by the system's interaction with its physical environment and social context, rendering these faults harder to diagnose. To complicate matters further, knowledge about the behavior and failure modes of a system are often collected in different models. We show how three of those models, namely attack trees, fault trees, and timed failure propagation graphs can be converted into Halpern-Pearl causal models, combined into a single holistic causal model, and analyzed with actual causality reasoning to detect and explain unwanted events. Halpern-Pearl models have several advantages over their source models, particularly that they allow for modeling preemption, consider the non-occurrence of events, and can incorporate additional domain knowledge. Furthermore, such holistic models allow for analysis across model boundaries, enabling detection and explanation of events that are beyond a single model. Our contribution here delineates a semi-automatic process to (1)!+convert different models into Halpern-Pearl causal models, (2)!+combine these models into a single holistic model, and (3)!+reason about system failures. We illustrate our approach with the help of an Unmanned Aerial Vehicle case study.

URLhttps://link.springer.com/content/pdf/10.1007%2F978-3-030-20652-9_14.pdf
DOIhttp://doi.org/10.1007/978-3-030-20652-9_14
Citation Key10.1007/978-3-030-20652-9_14