Causality analysis and fault ascription in component-based systems
From MaRDI portal
Publication:2193287
DOI10.1016/j.tcs.2020.06.010zbMath1460.68019OpenAlexW2993586172MaRDI QIDQ2193287
Jean-Bernard Stefani, Gregor Gössler
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
Logic in computer science (03B70) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (4)
Detection and diagnosis of deviations in distributed systems of autonomous agents ⋮ Explaining safety violations in real-time systems ⋮ Temporal causality in reactive systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Explaining counterexamples using causality
- Actual causation: a stone soup essay
- Configuration structures, event structures and Petri nets
- A theory of diagnosis from first principles
- Causal inference by string diagram surgery
- Graded Causation and Defaults
- Introduction to Discrete Event Systems
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Causality and Counterfactuals in the Situation Calculus
- Diagnosis with Petri Net Unfoldings
- Fault Ascription in Concurrent Systems
- CONCUR 2003 - Concurrency Theory
This page was built for publication: Causality analysis and fault ascription in component-based systems
