Causality Analysis and Fault Ascription in Component-Based Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2019

Causality Analysis and Fault Ascription in Component-Based Systems

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.
Cet article introduit un cadre général pour l’attribution de fautes qui consiste à identifier, dans un système à composants, les composants dont le comportement incorrect a causé le dysfonctionnement du système. Nous définissons un ensemble de propriétés attendues de l’analyse contrefactuelle, et nous présentons une analyse raffinée qui satisfait ces besoins. Ceci contraste avec la pratique courante d’évaluer les définitions de causalité contrefactuelle a posteriori sur un ensemble d’exemples jouets. Nous établissons la monotonie de notre analyse sous différentes notions de raffinement.
Fichier principal
Vignette du fichier
RR-9279.pdf (975.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02161534 , version 1 (20-06-2019)
hal-02161534 , version 2 (06-12-2019)
hal-02161534 , version 3 (25-08-2020)

Identifiers

  • HAL Id : hal-02161534 , version 3

Cite

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⟩
192 View
409 Download

Share

Gmail Facebook Twitter LinkedIn More