Anticipating accidents through reasoned simulation

Craig Innes; Andrew Ireland; Yuhui Lin; Subramanian Ramamoorthy

doi:10.1145/3597512

Anticipating accidents through reasoned simulation

Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems
Publisher	ACM
Pages	1-11
Number of pages	11
Volume	1
ISBN (Electronic)	9798400707346
DOIs	https://doi.org/10.1145/3597512
Publication status	Published - 11 Jul 2023
Event	First International Symposium on Trustworthy Autonomous Systems - Heriot-Watt University, Edinburgh, United Kingdom Duration: 10 Jul 2023 → 12 Jul 2023 Conference number: 1 https://symposium.tas.ac.uk/

Symposium

Symposium	First International Symposium on Trustworthy Autonomous Systems
Abbreviated title	TAS '23
Country/Territory	United Kingdom
City	Edinburgh
Period	10/07/23 → 12/07/23
Internet address	https://symposium.tas.ac.uk/

Keywords / Materials (for Non-textual outputs)

autonomous systems
formal modelling
simulation
hazard analysis

Access to Document

10.1145/3597512Licence: Creative Commons: Attribution (CC-BY)

Anticipating accidents_INNES_DOA23052023_VOR_CC BYFinal published version, 3.05 MBLicence: Creative Commons: Attribution (CC-BY)

https://dl.acm.org/doi/10.1145/3597512.3599698Licence: Creative Commons: Attribution (CC-BY)

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.
EPSRC
1/11/20 → 30/04/24
Project: Research

Cite this

@inproceedings{bcc43c0ea0964b529a00d39ed19f47d4,

title = "Anticipating accidents through reasoned simulation",

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.",

keywords = "autonomous systems, formal modelling, simulation, hazard analysis",

author = "Craig Innes and Andrew Ireland and Yuhui Lin and Subramanian Ramamoorthy",

year = "2023",

month = jul,

day = "11",

doi = "10.1145/3597512",

language = "English",

volume = "1",

pages = "1--11",

booktitle = "TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems",

publisher = "ACM",

note = "First International Symposium on Trustworthy Autonomous Systems, TAS '23 ; Conference date: 10-07-2023 Through 12-07-2023",

url = "https://symposium.tas.ac.uk/",

}

TY - GEN

T1 - Anticipating accidents through reasoned simulation

AU - Innes, Craig

AU - Ireland, Andrew

AU - Lin, Yuhui

AU - Ramamoorthy, Subramanian

N1 - Conference code: 1

PY - 2023/7/11

Y1 - 2023/7/11

N2 - 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.

AB - 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.

KW - autonomous systems

KW - formal modelling

KW - simulation

KW - hazard analysis

U2 - 10.1145/3597512

DO - 10.1145/3597512

M3 - Conference contribution

VL - 1

SP - 1

EP - 11

BT - TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems

PB - ACM

T2 - First International Symposium on Trustworthy Autonomous Systems

Y2 - 10 July 2023 through 12 July 2023

ER -

Anticipating accidents through reasoned simulation

Abstract / Description of output

Symposium

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Projects

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation

Cite this