Causality Analysis and Fault Ascription in Component-Based Systems - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2019

Causality Analysis and Fault Ascription in Component-Based Systems

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02161534 , version 3

Citer

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⟩
199 Consultations
416 Téléchargements

Partager

Gmail Facebook X LinkedIn More