Skip to Main content Skip to Navigation
Journal articles

A general framework for blaming in component-based systems

Gregor Gössler 1 Daniel Le Métayer 2
1 SPADES [2013-2015] - Sound Programming of Adaptive Dependable Embedded Systems [2013-2015]
Inria Grenoble - Rhône-Alpes, LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
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, 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download
Contributor : Gregor Gössler <>
Submitted on : Monday, October 5, 2015 - 11:21:21 AM
Last modification on : Tuesday, August 4, 2020 - 9:52:02 AM
Long-term archiving on: : Wednesday, January 6, 2016 - 10:33:50 AM


Files produced by the author(s)




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



Record views


Files downloads