Abstract
Inspired by the seminal works on causal analysis by Halpern and Pearl, in this paper we introduce a causal model based on counterfactuals, adapted to finite automata models and with safety properties defined by regular expressions. The latter encode undesired execution traces. We devise a framework that computes actual causes, or minimal traces that lead to states enabling hazardous behaviours. Furthermore, our framework exploits counterfactual information and identifies modalites to steer causal executions towards alternative safe ones. This can provide systems engineers with valuable data for actual debugging and fixing erroneous behaviours. Our framework employs standard algorithms from automata theory, thus paving the way to further generalizations from finite automata to richer structures like probabilistic or KAT automata.
Original language | English |
---|---|
Title of host publication | Theoretical Aspects of Software Engineering |
Subtitle of host publication | 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings |
Editors | Yamine Aït-Ameur, Florin Craciun |
Place of Publication | Cham |
Publisher | Springer Nature |
Pages | 290-307 |
Number of pages | 18 |
ISBN (Electronic) | 978-3-031-10363-6 |
ISBN (Print) | 978-3-031-10362-9 |
DOIs | |
Publication status | Published - 3 Jul 2022 |
Event | 16th International Symposium on Theoretical Aspects of Software Engineering, TASE 2022 - Cluj-Napoca, Romania Duration: 8 Jul 2022 → 10 Jul 2022 Conference number: 16 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 13299 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 16th International Symposium on Theoretical Aspects of Software Engineering, TASE 2022 |
---|---|
Abbreviated title | TASE 2022 |
Country/Territory | Romania |
City | Cluj-Napoca |
Period | 8/07/22 → 10/07/22 |
Keywords
- 2023 OA procedure