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
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 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.
Liste complète des métadonnées

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-00873665
Contributor : Gregor Gössler <>
Submitted on : Wednesday, November 20, 2013 - 4:19:24 PM
Last modification on : Saturday, December 15, 2018 - 1:49:50 AM
Document(s) archivé(s) le : Friday, February 21, 2014 - 4:33:38 AM

File

RR-8378.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00873665, version 2

Citation

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

Share

Metrics

Record views

415

Files downloads

212