Fault Ascription in Concurrent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Fault Ascription in Concurrent Systems

Résumé

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.
Fichier principal
Vignette du fichier
tgc.pdf (326.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01246485 , version 1 (18-12-2015)

Identifiants

Citer

Gregor Gössler, Jean-Bernard Stefani. Fault Ascription in Concurrent Systems. Trustworthy Global Computing, 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-28766-96⟩. ⟨hal-01246485⟩
160 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More