Causality analysis and fault ascription in component-based systems

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

zbMATH Keywords

causalitycomponentscounterfactual analysishyperpropertiesformal requirements

Mathematics Subject Classification ID

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

• UMDES

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