Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems
DOI:
https://doi.org/10.14279/tuj.eceasst.79.1124Abstract
When designing and analysing autonomous systems and their environment it is necessary to consider uncertainty and multiple potential states (of the system and its environment). In this position paper, we explore the idea of notations and modelling tools that are based on ‘superpositions’ of states. More concretely, we present a treatment of uncertainty in autonomous systems inspired by quantum physics and propose an extension of the Goal Structuring Notation (GSN), a common approach for the modelling of safety arguments, to model ’superposition’ and ’entangled’ nodes; and, incorporate guidelines of the emerging UL 4600 standard for autonomous systems.Downloads
Published
2021-05-10
How to Cite
[1]
A. Mjeda and G. Botterweck, “Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems”, eceasst, vol. 79, May 2021.
Issue
Section
Articles
License
Copyright (c) 2021 Electronic Communications of the EASST
This work is licensed under a Creative Commons Attribution 4.0 International License.