A General Trace-Based Framework of Logical Causality - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

A General Trace-Based Framework of Logical Causality


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 .
Fichier principal
Vignette du fichier
facs2013.pdf (210.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00924048 , version 1 (06-01-2014)


  • 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⟩
124 View
589 Download


Gmail Facebook X LinkedIn More