Anticipating accidents through reasoned simulation

Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationTAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems
Number of pages11
ISBN (Electronic)9798400707346
Publication statusPublished - 11 Jul 2023
EventFirst International Symposium on Trustworthy Autonomous Systems - Heriot-Watt University, Edinburgh, United Kingdom
Duration: 10 Jul 202312 Jul 2023
Conference number: 1


SymposiumFirst International Symposium on Trustworthy Autonomous Systems
Abbreviated titleTAS '23
Country/TerritoryUnited Kingdom
Internet address

Keywords / Materials (for Non-textual outputs)

  • autonomous systems
  • formal modelling
  • simulation
  • hazard analysis


Dive into the research topics of 'Anticipating accidents through reasoned simulation'. Together they form a unique fingerprint.

Cite this