Causality Analysis for Concurrent Reactive Systems (Extended Abstract)

01/03/2019
by   Rayna Dimitrova, et al.
0

We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework allows us to uniformly express a number of causality notions studied in the areas of artificial intelligence and formal methods, as well as define new ones that are of potential interest in these areas. Furthermore, our formalization provides means for reasoning about the relationships between individual notions which have mostly been considered independently in prior work; and allows us to judge the appropriateness of the different definitions for various applications in system design. In particular, we consider causality analysis notions for debugging, error resilience, and liability resolution in concurrent reactive systems. Finally, we present automata-based algorithms for computing various causal sets based on our language-theoretic encoding, and derive the algorithmic complexities.

READ FULL TEXT

page 1

page 2

page 3

research
03/06/2013

Causality in concurrent systems

Concurrent systems identify systems, either software, hardware or even b...
research
07/31/2018

A Parametric Framework for Reversible π-Calculi

This paper presents a study of causality in a reversible, concurrent set...
research
01/09/2018

Dynamic Causality in Event Structures

Event Structures (ESs) address the representation of direct relationship...
research
10/11/2022

A Causal Analysis of Harm

As autonomous systems rapidly become ubiquitous, there is a growing need...
research
07/24/2020

Opacity of Discrete Event Systems with Active Intruder

Opacity is a security property formalizing the information leakage of a ...
research
12/29/2017

Unifying Theories of Timed with Generalised Reactive Processes

Hoare and He's theory of reactive processes provides a unifying foundati...
research
12/31/2021

An overview of the quantitative causality analysis and causal graph reconstruction based on a rigorous formalism of information flow

Inference of causal relations from data now has become an important fiel...

Please sign up or login with your details

Forgot password? Click here to reset