Fault Ascription in Concurrent Systems

Gregor Gössler 1 Jean-Bernard Stefani 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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 :
Reports
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01197486
Contributor : Gregor Gössler <>
Submitted on : Friday, September 11, 2015 - 6:16:22 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Document(s) archivé(s) le : Tuesday, December 29, 2015 - 12:46:31 AM

File

RR-8772.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01197486, version 1

Citation

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

Share

Metrics

Record views

174

Files downloads

169