Designing Accountable Systems

01/20/2021
by   Severin Kacianka, et al.
0

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the early history of Liberalism and is suggested as a tool to limit the use of power. This long history has also given us many, often slightly differing, definitions of accountability. The problem that software developers now face is to understand what accountability means for their systems and how to reflect it in a system's design. To enable the rigorous study of accountability in a system, we need models that are suitable for capturing such a varied concept. In this paper, we present a method to express and compare different definitions of accountability using Structural Causal Models. We show how these models can be used to evaluate a system's design and present a small use case based on an autonomous car.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/07/2020

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

We present a novel and generalised notion of doping cleanness for cyber-...
research
10/23/2018

Understanding and Formalizing Accountability for Cyber-Physical Systems

Accountability is the property of a system that enables the uncovering o...
research
04/18/2019

Doping Tests for Cyber-Physical Systems

The software running in embedded or cyber-physical systems (CPS) is typi...
research
05/07/2020

Expressing Accountability Patterns using Structural Causal Models

While the exact definition and implementation of accountability depend o...
research
04/11/2021

Systemic formalisation of Cyber-Physical-Social System (CPSS): A systematic literature review

The notion of Cyber-Physical-Social System (CPSS) is an emerging concept...
research
10/31/2019

Extending Causal Models from Machines into Humans

Causal Models are increasingly suggested as a means to reason about the ...
research
11/21/2020

Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis

Designing cyber-physical systems is a complex task which requires insigh...

Please sign up or login with your details

Forgot password? Click here to reset