[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]
民用航空与安全工程

改进的STPA方法及其在复杂系统安全性分析中的应用

  • 陈磊
展开
  • 沈阳航空航天大学 安全工程学院,沈阳 110136

陈磊(1981-),女,辽宁沈阳人,讲师,博士,主要研究方向:复杂系统安全性分析,E-mail:

收稿日期: 2024-04-26

  网络出版日期: 2025-02-05

基金资助

辽宁省教育厅高等学校基本科研项目(LJKZ0169)

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

摘要

提出一种使用功能属性(functional attribute,FA)及有向交互标签(directional interaction tag,DIT),对基于系统思维的过程分析(system-theoretic process analysis,STPA)方法所涉及的层次化控制结构模型(hierarchical control structure model,HCSM)进行拓展与改进的方法。通过该方法构建层次化功能控制结构及交互模型(hierarchical functional control structure and interaction model,HFCSIM),达成对STPA的实质性提升与完善。通过这一改进,STPA中HCSM的构建没有严谨而具体方法和形式,以及组件间交互信息不完整且过于依赖“头脑风暴”和难以保障模型一致性等问题得以解决,并从根本上确保了分析结果的系统性、完整性和正确性。最后以飞机机轮刹车系统为例,验证了该改进方法的有效性。

本文引用格式

陈磊 . 改进的STPA方法及其在复杂系统安全性分析中的应用[J]. 沈阳航空航天大学学报, 2024 , 41(6) : 70 -80 . DOI: 10.3969/j.issn.2095-1248.2024.06.008

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.

[an error occurred while processing this directive]
1
Leveson N G.Engineering a safer world:systems thinking applied to safety[M].Cambridge:MIT Press,2011.

2
林经源,何涛.基于STPA与时序逻辑的CTCS-3级列控系统安全分析[J].兰州交通大学学报202342(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 Safety2016156(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 Engineering201319(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 Analysis201913(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 Systems20199(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 Engineering202121(1):8875872.

13
钟德明,宫浩原,孙睿.一种准确识别损失场景的STPA[J].北京航空航天大学学报202349(2):311-323.

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

15
王鹏,李浩,赵长啸,等.基于STPA的机载平视显示系统安全性分析[J].电讯技术201959(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 plant200420(3): 155-161.

18
张玥,帅斌,黄文成,等.基于FRAM的铁路危险品运输事故演化机制研究[J].中国安全科学学报202030(2):171-176.

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

文章导航

/

[an error occurred while processing this directive]