A general framework for blaming in component-based systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2015

A general framework for blaming in component-based systems

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
164 Consultations
197 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More