Fault Ascription in Concurrent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Fault Ascription in Concurrent Systems


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
159 View
93 Download



Gmail Facebook X LinkedIn More