Name
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. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-20652-9_14 | NASA FORMAL METHODS (NFM 2019) |
Keywords | DocType | Volume |
Causal reasoning, Halpern-Pearl Causality, Timed Failure Propagation Graphs, Cyber-Physical Systems | Conference | 11460 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.48 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Amjad Ibrahim | 1 | 7 | 1.64 |
| Severin Kacianka | 2 | 15 | 3.85 |
| Alexander Pretschner | 3 | 26 | 9.69 |
| Charles Hartsell | 4 | 3 | 3.16 |
| Gabor Karsai | 5 | 2465 | 192.32 |