Fault Ascription in Concurrent Systems

Abstract : Fault diagnosis is becoming increasingly important and difficult with the growing pervasiveness and complexity of computer systems. We propose in this paper a general semantic framework for fault ascription, a precise form of fault diagnosis that relies on counterfactual analysis for identifying necessary and sufficient causes of faults in component-based systems. Our framework relies on configuration structures to handle concurrent systems, partial and distributed observations in a uniform way. It defines basic conditions for a counterfactual analysis of necessary and sufficient causes, and it presents a refined analysis that conforms to our basic conditions while avoiding various infelicities.
Type de document :
Communication dans un congrès
P. Ganty; M. Loreti. Trustworthy Global Computing, 2015, Madrid, Spain. Springer, LNCS, 9533, pp.16, TGC 2015. <10.1007/978-3-319-28766-9 6>
Liste complète des métadonnées


https://hal.inria.fr/hal-01246485
Contributeur : Gregor Gössler <>
Soumis le : vendredi 18 décembre 2015 - 15:51:01
Dernière modification le : samedi 19 décembre 2015 - 01:05:38
Document(s) archivé(s) le : samedi 29 avril 2017 - 22:04:11

Fichier

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

Identifiants

Collections

Citation

Gregor Gössler, Jean-Bernard Stefani. Fault Ascription in Concurrent Systems. P. Ganty; M. Loreti. Trustworthy Global Computing, 2015, Madrid, Spain. Springer, LNCS, 9533, pp.16, TGC 2015. <10.1007/978-3-319-28766-9 6>. <hal-01246485>

Partager

Métriques

Consultations de
la notice

209

Téléchargements du document

35