Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems
| Autor: | Mjeda, Anila, Botterweck, Götz |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| DOI: | 10.14279/tuj.eceasst.79.1124 |
| Popis: | 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. Electronic Communications of the EASST, Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|