A General Trace-Based Framework of Logical Causality

Gregor Gössler 1 Daniel Le Métayer 2
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 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 :
[Research Report] RR-8378, INRIA. 2013
Liste complète des métadonnées

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

Contributeur : Gregor Gössler <>
Soumis le : mercredi 20 novembre 2013 - 16:19:24
Dernière modification le : mercredi 11 avril 2018 - 01:56:14
Document(s) archivé(s) le : vendredi 21 février 2014 - 04:33:38


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00873665, version 2


Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. [Research Report] RR-8378, INRIA. 2013. 〈hal-00873665v2〉



Consultations de la notice


Téléchargements de fichiers