A general framework for blaming in component-based systems

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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2015, 113, Part 3, 〈10.1016/j.scico.2015.06.010〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01211484
Contributeur : Gregor Gössler <>
Soumis le : lundi 5 octobre 2015 - 11:21:21
Dernière modification le : vendredi 11 décembre 2015 - 11:29:22
Document(s) archivé(s) le : mercredi 6 janvier 2016 - 10:33:50

Fichier

blaming-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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, 〈10.1016/j.scico.2015.06.010〉. 〈hal-01211484〉

Partager

Métriques

Consultations de
la notice

278

Téléchargements du document

100