A Language-Based Causal Model for Safety

Marcello M. Bonsangue, Georgiana Caltais*, Hui Feng, Hünkar Can Tunç

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

107 Downloads (Pure)

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 languageEnglish
Title of host publicationTheoretical Aspects of Software Engineering
Subtitle of host publication16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
EditorsYamine Aït-Ameur, Florin Craciun
Place of PublicationCham
PublisherSpringer Nature
Pages290-307
Number of pages18
ISBN (Electronic)978-3-031-10363-6
ISBN (Print)978-3-031-10362-9
DOIs
Publication statusPublished - 3 Jul 2022
Event16th International Symposium on Theoretical Aspects of Software Engineering, TASE 2022 - Cluj-Napoca, Romania
Duration: 8 Jul 202210 Jul 2022
Conference number: 16

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13299
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Symposium on Theoretical Aspects of Software Engineering, TASE 2022
Abbreviated titleTASE 2022
Country/TerritoryRomania
CityCluj-Napoca
Period8/07/2210/07/22

Keywords

  • 2023 OA procedure

Fingerprint

Dive into the research topics of 'A Language-Based Causal Model for Safety'. Together they form a unique fingerprint.

Cite this