A General Trace-Based Framework of Logical Causality - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2013

A General Trace-Based Framework of Logical Causality

(1) , (2)


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

Dates and versions

hal-00873665 , version 1 (16-10-2013)
hal-00873665 , version 2 (20-11-2013)


  • 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⟩
288 View
297 Download


Gmail Facebook Twitter LinkedIn More