Skip to Main content Skip to Navigation
Conference papers

Fault Ascription in Concurrent Systems

Gregor Gössler 1 Jean-Bernard Stefani 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Friday, December 18, 2015 - 3:51:01 PM
Last modification on : Thursday, October 21, 2021 - 3:48:41 AM
Long-term archiving on: : Saturday, April 29, 2017 - 10:04:11 PM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles