Skip to content

YiQi0318/DeepSTPA

Repository files navigation

STPA for Learning-Enabled Systems: A Survey and A New Method

Description

  • DeepSTPA control loop
    Image text DeepSTPA control loop structures (grey shaded) in addition to the traditional STPA control loop (green shaded). The horizontal axis signifies the ML lifecycle highlighting how data is being processed, while the vertical axis signifies finegrained functionalities and development activities. The solid line signifies control action, and the dashed line represents feedback information. The boxes filled with same colour represent the same artifacts but appear in different ML lifecycle stages.

Case 1

  • Object detection (YOLOv3) on AUVs using DeepSTPA (Control loop): Image text This figure shows the control loop of running example using DeepSTPA. Each purple number denotes a component-wise control structure, while the yellow numbers show the control loop inside components. The blue arrows suggest that the component can delve into the control loops of stage on a functionality/activity dimension. The red solid line represents the control operation and the green solid line depicts the feedback process.

Case 2

  • DRL-based AEB system on AVs Image text This figure shows DeepSTPA control loop structures applied on a DRL-based AEB systems.

STPA for LESs: Survey Results

  • We present our survey on 31 papers selected through a systematic literature search. We summarise and compare relevant research from five perspectives (attributes of concern, object under study, modifications to STPA, derivatives of the analysis, and process modelled as a control loop) to conclude insights.
Year Paper List Attributes of Concern Object under Study Modification of the Method Derivatives of the Analysis Process modelled as a Control Loop
2015 1 Safety N/A Yes (XSTAMPP) Requirements Operation Process
2016 2 Safety, Privacy Smart Television Yes (STPA-priv) Requirements Operation Process
2017 3 Safety Autonomous Vehicles No Requirements, New-architecture Operation Process
2017 4 Safety, Privacy E-health No Requirements Operation Process
2017 5 Safety Drone No Requirements Operation Process
2018 6 Safety, Security Autonomous Vehicles Yes (STPA with six-step model) Requirements Development Process, Operation Process
2018 7 Safety Robotic Flight Simulator Yes (STPA with UPPAAL) Requirements, New-architecture Operation Process
2019 8 Safety, Security Aeronautic Yes (STPA-sec) Requirements Operation Process
2019 9 Safety, Security Autonomous Vehicles No Requirements, Test-case Operation Process
2019 10 Safety Autonomous Ships No Requirements, Test-case Operation Process
2020 11 Safety, Security Autonomous Vehicles Yes (STAMP SnS) Requirements Development Process, Operation Process
2020 12 Safety Collaborative Robots Yes (STPA with Bowtie) Comparative Study Operation Process
2020 13 Safety Autonomous Mobile Multi-robots Yes (STPA with FTA) Requirements Operation Process
2021 14 Safety Automatic Cranes No Requirements Operation Process
2021 15 Safety Autonomous Vehicles No Requirements Operation Process
2021 16 Safety Collaborative Robots No Requirements Operation Process
2021 17 Safety Autonomous Vehicles No Requirements, Test-case Operation Process
2021 18 Safety Autonomous Ships Yes (STPA with UFoI-E) Comparative Study Operation Process
2021 19 Safety Autonomous Vehicles Yes (SysML-STPA) Requirements, New-architecture Operation Process
2021 20 Safety Autonomous Vehicles No Comparative Study Operation Process
2021 21 Safety Unmanned Underwater Vehicles Yes (SE-STPA) Requirements Operation Process
2021 22 Safety Autonomous Mobile Multi-robots Yes (STPA with AHP) Requirements Operation Process
2021 23 Safety Autonomous Ships Yes (STPA-SynSS) Requirements Operation Process
2022 24 Safety Autonomous Ships No Requirements Operation Process
2022 25 Safety Autonomous Vehicles No Requirements Operation Process
2022 26 Safety Autonomous Mobile Multi-robots, Collaborative Robots No Requirements, Test-case Operation Process
2022 27 Safety, Reliability Autonomous Ships Yes (STPA with SLIM) Requirements Operation Process
2022 28 Safety N/A Yes (STPA with Multilevel Runtime Monitoring) Requirements Operation Process
2023 29 Safety Autonomous Mobile Multi-robots Yes (STPA with SPN) Requirements Operation Process
2023 30 Safety, Security Autonomous Vehicles No Requirements, New architectures Operation Process
2023 31 Safety Autonomous Vehicles Yes (STPA with ChatGPT) Requirements Operation Process

Acknowledgment

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published