Fault Ascription in Concurrent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) 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
RR-8772.pdf (792.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01197486 , version 1 (11-09-2015)

Identifiants

  • HAL Id : hal-01197486 , version 1

Citer

Gregor Gössler, Jean-Bernard Stefani. Fault Ascription in Concurrent Systems. [Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015. ⟨hal-01197486⟩
96 Consultations
234 Téléchargements

Partager

Gmail Facebook X LinkedIn More