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 :
Rapport
[Research Report] RR-8378, INRIA. 2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00873665
Contributeur : Gregor Gössler <>
Soumis le : mercredi 20 novembre 2013 - 16:19:24
Dernière modification le : vendredi 16 septembre 2016 - 15:06:55
Document(s) archivé(s) le : vendredi 21 février 2014 - 04:33:38

Fichier

RR-8378.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00873665, version 2

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

308

Téléchargements du document

117