Skip to Main content Skip to Navigation
Conference papers

Blaming in component-based real-time systems

Gregor Gössler 1 Lacramioara Astefanoaei 2
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
Abstract : In component-based safety-critical real-time systems it is crucial to determine which com-ponent(s) caused the violation of a required system-level safety property, be it to issue a precise alert, or to determine liability of component providers. In this paper we present an approach for blaming in real-time systems whose component specifications are given as timed automata. The analysis is based on a single execution trace violating a safety property P. We formalize blaming using counterfactual reasoning ("what would have been the outcome if component C had behaved correctly?") to distinguish component failures that actually con-tributed to the outcome from failures that had no impact on the violation of P. We then show how to effectively implement blaming by reducing it to a model-checking problem for timed automata, and demonstrate the feasibility of our approach on the models of a pacemaker and of a chemical reactor.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Tuesday, October 28, 2014 - 12:19:34 PM
Last modification on : Thursday, October 21, 2021 - 3:50:43 AM
Long-term archiving on: : Friday, April 14, 2017 - 2:48:59 PM


Files produced by the author(s)




Gregor Gössler, Lacramioara Astefanoaei. Blaming in component-based real-time systems. Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩. ⟨hal-01078214⟩



Les métriques sont temporairement indisponibles