ACCBench: A Framework for Comparing Causality Algorithms

10/10/2017
by   Simon Rehwald, et al.
0

Modern socio-technical systems are increasingly complex. A fundamental problem is that the borders of such systems are often not well-defined a-priori, which among other problems can lead to unwanted behavior during runtime. Ideally, unwanted behavior should be prevented. If this is not possible the system shall at least be able to help determine potential cause(s) a-posterori, identify responsible parties and make them accountable for their behavior. Recently, several algorithms addressing these concepts have been proposed. However, the applicability of the corresponding approaches, specifically their effectiveness and performance, is mostly unknown. Therefore, in this paper, we propose ACCBench, a benchmark tool that allows to compare and evaluate causality algorithms under a consistent setting. Furthermore, we contribute an implementation of the two causality algorithms by Gößler and Metayer and Gößler and Astefanoaei as well as of a policy compliance approach based on some concepts of Main et al. Lastly, we conduct a case study of an Intelligent Door Control System, which exposes concrete strengths and weaknesses of all algorithms under different aspects. In the course of this, we show that the effectiveness of the algorithms in terms of cause detection as well as their performance differ to some extent. In addition, our analysis reports on some qualitative aspects that should be considered when evaluating each algorithm. For example, the human effort needed to configure the algorithm and model the use case is analyzed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/26/2021

Automatic Detection of Causality in Requirement Artifacts: the CiRA Approach

System behavior is often expressed by causal relations in requirements (...
research
06/11/2022

VAC2: Visual Analysis of Combined Causality in Event Sequences

Identifying causality behind complex systems plays a significant role in...
research
12/15/2021

Causality in Requirements Artifacts: Prevalence, Detection, and Impact

Background: Causal relations in natural language (NL) requirements conve...
research
06/01/2020

Nonlinear observability algorithms with known and unknown inputs: analysis and implementation

The observability of a dynamical system is affected by the presence of e...
research
12/08/2022

Implicit causality in GPT-2: a case study

This case study investigates the extent to which a language model (GPT-2...
research
06/05/2020

From Checking to Inference: Actual Causality Computations as Optimization Problems

Actual causality is increasingly well understood. Recent formal approach...

Please sign up or login with your details

Forgot password? Click here to reset