Skip to Main content Skip to Navigation

A General Trace-Based Framework of Logical Causality

Gregor Gössler 1 Daniel Le Métayer 2
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
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 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 metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Wednesday, November 20, 2013 - 4:19:24 PM
Last modification on : Thursday, October 21, 2021 - 3:48:30 AM
Long-term archiving on: : Friday, February 21, 2014 - 4:33:38 AM


Files produced by the author(s)


  • HAL Id : hal-00873665, version 2


Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. [Research Report] RR-8378, INRIA. 2013. ⟨hal-00873665v2⟩



Record views


Files downloads