Abstract
A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios – causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers in identifying potential loss scenarios that are associated with flawed assumptions about a system’s intended operational environment. Our approach combines aspects of STPA with formal modelling and simulation. Currently, we are at a proof-of-concept stage and illustrate the approach using a case study based upon a simple car door locking system. In terms of the formal modelling, we use Extended Logic Programming (ELP) and on the simulation side, we use the CARLA simulator for autonomous driving. We make use of the problem frames approach to requirements engineering to bridge between the informal aspects of STPA and our formal modelling.
Original language | English |
---|---|
Title of host publication | TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems |
Publisher | Association for Computing Machinery |
ISBN (Print) | 9798400707346 |
DOIs | |
Publication status | Published - 11 Jul 2023 |
Event | First International Symposium on Trustworthy Autonomous Systems 2023 - Edinburgh, United Kingdom Duration: 11 Jul 2023 → 12 Jul 2023 https://symposium.tas.ac.uk/ |
Conference
Conference | First International Symposium on Trustworthy Autonomous Systems 2023 |
---|---|
Abbreviated title | TAS '23 |
Country/Territory | United Kingdom |
City | Edinburgh |
Period | 11/07/23 → 12/07/23 |
Internet address |
Keywords
- Autonomous systems
- Formal modelling
- Hazard analysis
- Simulation.
ASJC Scopus subject areas
- Human-Computer Interaction
- Computer Networks and Communications
- Computer Vision and Pattern Recognition
- Software