(De-)Composing Causality in Labeled Transition Systems
2016 (English)In: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST’16) / [ed] Gregor Gössler & Oleg Sokolsky, Open Publishing Association , 2016, Vol. 224, 10-24 p.Conference paper (Refereed)
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.
Place, publisher, year, edition, pages
Open Publishing Association , 2016. Vol. 224, 10-24 p.
, Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 224
Causality, Labeled Transition Systems, Modal Logic, Hennessy Milner Logic, Modal Decomposition
IdentifiersURN: urn:nbn:se:hh:diva-32121DOI: 10.4204/EPTCS.224.3OAI: oai:DiVA.org:hh-32121DiVA: diva2:1010143
The 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Eindhoven, The Netherlands, April 8, 2016
ProjectsVR Project EFFEMBAC, KKS Project AUTO-CAAS
FunderELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Funding: The work of Georgiana Caltais was partially supported by an Independent Research Start-up Grant founded by Zukunftskolleg at Konstanz University. The work of Mohammad Reza Mousavi has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312).2016-10-022016-10-022016-10-03Bibliographically approved