[an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive]
[an error occurred while processing this directive]

Journal of Shenyang Aerospace University >

2024 , Vol. 41 >Issue 6: 70 - 80

DOI: https://doi.org/10.3969/j.issn.2095-1248.2024.06.008

Civil Aviation and Safety Engineering

A modified STPA method and its application in safety analysis of complex system

  • Lei CHEN
Expand
  • College of Safety Engineering，Shenyang Aerospace University，Shenyang 110136，China

Received date: 2024-04-26

  Online published: 2025-02-05

Fold

Abstract

A method of expanding and improving the hierarchical control structure model （HCSM） of system-theoretic process analysis （STPA） using functional attribute（FA）and directional interaction tag （DIT） was proposed. Based on this method， the hierarchical functional control structure and interaction model （HFCSIM） of the system and essential improvement to STPA was obtained. Through this modification， issues such as the lack of specific methods and forms follow， incomplete interaction information between components， excessive reliance on “Brainstorming” and the difficulty in ensuring model consistency could be solved， and the systematicness， completeness and correctness of the analysis results could be fundamentally ensured. Finally， the effectiveness of the modified method was validated by taking the aircraft wheel braking system as an example.

Key words： functional attribute; directional interaction tag; hierarchical functional control structure and interaction model; STPA; safety analysis

Cite this article

Lei CHEN . A modified STPA method and its application in safety analysis of complex system[J]. Journal of Shenyang Aerospace University, 2024 , 41(6) : 70 -80 . DOI: 10.3969/j.issn.2095-1248.2024.06.008

[an error occurred while processing this directive]

References

Publishing order | Descend order by publishing year | Descend order by cited within
1
Leveson N G.Engineering a safer world：systems thinking applied to safety［M］.Cambridge：MIT Press，2011.

2
林经源，何涛.基于STPA与时序逻辑的CTCS-3级列控系统安全分析［J］.兰州交通大学学报，2023，42（4）：80-90.

3
Bjerga T， Aven T， Zio E.Uncertainty treatment in risk analysis of complex systems：the cases of STAMP and FRAM［J］.Reliability Engineering & System Safety，2016，156（5）：203-209.

4
Thomas J.Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis［D］.Massachusetts：Massachusetts Institute of Technology，2013.

5
Suo D. Tool-assisted hazard analysis and requirement generation based on STPA ［D］. Massachusetts：Massachusetts Institute of Technology，2016.

6
Asare P， Lach J， Stankovic J A.FSTPA-I：a formal approach to hazard identification via system theoretic process analysis［C］//2013 ACM/IEEE International Conference on Cyber-Physical Systems （ICCPS）.Philadelphia：IEEE，2013：150-159.

7
Abdulkhaleq A， Wagner S. Integrating state machine analysis with system-theoretic process analysis［J］. Software Engineering，2013，19（2）：501-514.

8
夏宇.基于NuSMV和STPA的RBC交接场景安全分析方法研究［D］.北京：北京交通大学，2018.

9
Wang H L， Zhong D M， Zhao T D.Avionics system failure analysis and verification based on model checking［J］.Engineering Failure Analysis，2019，13（5）：373-385.

10
Abdulkhaleq A， Wagner S.Integrated safety analysis using systems-theoretic process analysis and software model checking［C］//International Conference on Computer Safety，Reliability，and Security.Cham：Springer，2015：121-134.

11
Howard G， Butler M， Colley J，et al.A methodo-logy for assuring the safety and security of critical infrastructure based on STPA and Event-B［J］.International Journal of Critical Computer-Based Systems，2019，9（1/2）：56.

12
Zhao C X， Dong L， Li H，et al.Safety assessment of the reconfigurable integrated modular avionics based on STPA［J］.International Journal of Aerospace Engineering，2021，21（1）：8875872.

13
钟德明，宫浩原，孙睿.一种准确识别损失场景的STPA［J］.北京航空航天大学学报，2023，49（2）：311-323.

14
李浩.基于STAMP理论的机载显示系统安全性分析方法研究［D］.天津：中国民航大学，2020.

15
王鹏，李浩，赵长啸，等.基于STPA的机载平视显示系统安全性分析［J］.电讯技术，2019，59（12）：1469-1476.

16
Leveson N， Thomas J. STPA Handbook［EB/OL］. （2018-03-16）［2021-04-19］.

17
Hollnagel E， Goteman O.The functional resonance accident model［J］. Proceedings of cognitive system engineering in process plant，2004，20（3）： 155-161.

18
张玥，帅斌，黄文成，等.基于FRAM的铁路危险品运输事故演化机制研究［J］.中国安全科学学报，2020，30（2）：171-176.

19
史思杨.基于MB-STPA的飞机刹车系统安全性分析方法研究［D］.天津：中国民航大学，2020.

Options
Outlines

/

〈 〉

[an error occurred while processing this directive]