A general framework for blaming in component-based systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Science of Computer Programming Year : 2015

A general framework for blaming in component-based systems


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
blaming-final.pdf (533.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01211484 , version 1 (05-10-2015)



Gregor Gössler, Daniel Le Métayer. A general framework for blaming in component-based systems. Science of Computer Programming, 2015, 113 (Part 3), pp.223-235. ⟨10.1016/j.scico.2015.06.010⟩. ⟨hal-01211484⟩
162 View
195 Download



Gmail Facebook X LinkedIn More