A General Trace-Based Framework of Logical Causality

Gregor Gössler 1, * Daniel Le Métayer 2, *
* Auteur correspondant
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, 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 :
Communication dans un congrès
FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00924048
Contributeur : Gregor Gössler <>
Soumis le : lundi 6 janvier 2014 - 11:24:30
Dernière modification le : mercredi 18 novembre 2015 - 01:12:34
Document(s) archivé(s) le : jeudi 10 avril 2014 - 16:25:52

Fichier

facs2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00924048, version 1

Collections

Citation

Gregor Gössler, Daniel Le Métayer. A General Trace-Based Framework of Logical Causality. FACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China. 2013. 〈hal-00924048〉

Partager

Métriques

Consultations de la notice

177

Téléchargements de fichiers

612