Blaming in component-based real-time systems

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.
Type de document :
Communication dans un congrès
Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ACM, 2014, <10.1145/2656045.2656048>
Liste complète des métadonnées


https://hal.inria.fr/hal-01078214
Contributeur : Gregor Gössler <>
Soumis le : mardi 28 octobre 2014 - 12:19:34
Dernière modification le : samedi 29 novembre 2014 - 01:27:39
Document(s) archivé(s) le : vendredi 14 avril 2017 - 14:48:59

Fichier

ta-causality.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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. ACM, 2014, <10.1145/2656045.2656048>. <hal-01078214>

Partager

Métriques

Consultations de
la notice

223

Téléchargements du document

276