Causality analysis and fault ascription in component-based systems

DOI10.1016/J.TCS.2020.06.010zbMATH Open1460.68019OpenAlexW2993586172MaRDI QIDQ2193287FDOQ2193287

Authors: Gregor Gössler, Jean-Bernard Stefani 

Publication date: 25 August 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-02161534/file/RR-9279.pdf

Recommendations

• Causal fault detection and isolation based on a set-membership approach
• Fault ascription in concurrent systems
• scientific article; zbMATH DE number 2043434
• A type-based analysis of causality loops in hybrid systems modelers

zbMATH Keywords

causalitycomponentscounterfactual analysishyperpropertiesformal requirements

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Counterfactuals.
• Title not available (Why is that?)
• A theory of diagnosis from first principles
• Introduction to Discrete Event Systems
• Configuration structures, event structures and Petri nets
• Graded causation and defaults
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• CONCUR 2003 - Concurrency Theory
• Explaining counterexamples using causality
• Actual causation: a stone soup essay
• Title not available (Why is that?)
• Fault ascription in concurrent systems
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Causality and Counterfactuals in the Situation Calculus
• Causal inference by string diagram surgery
• Diagnosis with Petri net unfoldings

Cited In (11)

• Explaining safety violations in real-time systems
• Explaining Hyperproperty Violations
• Detection and diagnosis of deviations in distributed systems of autonomous agents
• A type-based analysis of causality loops in hybrid systems modelers
• Operational causality -- necessarily sufficient and sufficiently necessary
• Causal debugging for concurrent systems
• Causal reasoning for safety in Hennessy Milner logic
• Fault ascription in concurrent systems
• Temporal causality in reactive systems
• Responsibility analysis by abstract interpretation
• A formalization of Heisenbugs and their causes

Uses Software

• UMDES

This page was built for publication: Causality analysis and fault ascription in component-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193287)