Skip to Main content Skip to Navigation
Reports

Causality Analysis and Fault Ascription in Component-Based 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 : This article introduces a general framework for fault ascription, which consists in identifying, within a multi-component system, the components whose faulty behavior has caused the failure of said system. Our framework uses configuration structures as a general semantical model to handle truly concurrent executions, partial and distributed observations in a uniform way. We define a set of expected properties for counterfactual analysis, and present a refined analysis that conforms to our requirements. This contrasts with current practice of evaluating definitions of counterfactual causality a posteriori on a set of toy examples. As an early study of the behavior of our analysis under abstraction we establish its monotony under refinement.
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-02161534
Contributor : Gregor Gössler <>
Submitted on : Tuesday, August 25, 2020 - 10:33:25 AM
Last modification on : Tuesday, May 11, 2021 - 11:37:41 AM

File

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

Identifiers

  • HAL Id : hal-02161534, version 3

Collections

Citation

Gregor Gössler, Jean-Bernard Stefani. Causality Analysis and Fault Ascription in Component-Based Systems. [Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28. ⟨hal-02161534v3⟩

Share

Metrics

Record views

66

Files downloads

337