Skip to Main content Skip to Navigation
Conference papers

A General Trace-Based Framework of Logical Causality

Gregor Gössler 1, * Daniel Le Métayer 2, *
* Corresponding author
1 SPADES [2013-2015] - Sound Programming of Adaptive Dependable Embedded Systems [2013-2015]
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : In component-based safety-critical embedded systems it is crucial to determine the cause(s) of the violation of a safety property, be it to issue a precise alert, to steer the system into a safe state, or to determine liability of component providers. In this paper we present an approach to blame components based on a single execution trace violating a safety property P . The diagnosis relies on counterfactual reasoning ("what would have been the outcome if component C had behaved correctly?") to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the violation of P .
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download
Contributor : Gregor Gössler <>
Submitted on : Monday, January 6, 2014 - 11:24:30 AM
Last modification on : Thursday, November 19, 2020 - 1:00:34 PM
Long-term archiving on: : Thursday, April 10, 2014 - 4:25:52 PM


Files produced by the author(s)


  • HAL Id : hal-00924048, version 1



Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China. ⟨hal-00924048⟩



Record views


Files downloads