期刊文献+

基于形式化STPA的机务维修模块分析 被引量:1

Analysis of Maintenance Module Based on Formal STPA Method
在线阅读 下载PDF
导出
摘要 开展机务维修模块的研究,对于完善安全管理理论体系,降低飞机事故率具有多重意义。从系统控制的角度出发,对某型直升机机务维修模块中相关不安全问题进行了研究,运用对象约束语言和统一建模语言来形式化描述系统理论过程分析方法,构建了该型机务维修模块的控制关联模型,分析出可能导致事故的潜在致因和危害机制,进而提出对应的安全需求,结果表明了STPA模型在机务维修模块的安全性分析中有很强的适用性。 The research on the maintenance module has multiple meanings for improving the theoretical system of safety management and reducing the accident rate of aircraft.In this paper,from the point of view of system control,the related unsafe problems in the maintenance module of a certain helicopter are studied by using Object Constraint Language(OCL)and Unified Modeling Language(Unified Modeling Language).System Theoretic Process Analysis(STPA)formalizes the System-Theoretic Process Analysis(UML),builds a control association model for the maintenance module,analyzes the potential causes and hazard mechanisms that could lead to accidents,and proposes safety requirements.The results show that the STPA model has a strong applicability in the safety analysis of the maintenance module.
作者 杨晓强 贺非 贺强 徐晨 YANG Xiao-qiang;HE Fei;HE Qiang;XU Chen(Aviation Engineering Institute,Civil Aviation Flight University of China,Guanghan 618307,China)
出处 《滨州学院学报》 2021年第4期12-19,共8页 Journal of Binzhou University
基金 四川省科技计划资助应用基础研究项目(2021YJ0537)。
关键词 机务维修模块 STPA OCL UML maintenance module STPA OCL UML
作者简介 第一作者:杨晓强(1974—),男,陕西宝鸡人,副教授,博士,主要从事航空安全管理与适航管理研究,E-mail:hf13468617420@163.com。
  • 相关文献

参考文献5

二级参考文献26

  • 1Huang G Q, Shi J, Mak K L. Failure mode and effect analysis (FMEA) over the WWW[J]. The International Journal of Advanced Manufacturing Technology, 2000, 16(8) : 603 - 608.
  • 2Leveson N. A new approach to hazard analysis for complex systems[C]. Proceedings of International Conference of the System Safety Society, 2003 : 498 - 507.
  • 3Leveson N. A new accident model for engineering safer systems[J]. Safety Science, 2004, 42(4): 237 -270.
  • 4Leveson N, Daouk M, Dulac N, et al. Applying STAMP in accident analysis. Proceedings of Second Workshop Inves- tigation and Reporting of Accidents, 2003 : 189 - 210.
  • 5Couturier M. A case study of vioxx using STAMP[D]. Montreal: McGill University, 2010.
  • 6Nancy G, Leveson N. A systems-theoretic approach to safety in software-Intensive systems[J]. IEEE Transactions on Dependable and Secure Computing, 2004, 1 ( 1 ) : 66 - 86.
  • 7Song Y. Applying system-theoretic accident model and processes (STAMP) to hazard analysisE D. Montreal: Mcmaster University, 2012.
  • 8Fleming C H, Spencer M, Leveson N. Safety assurance in NextGen[R]. NASA, 2012.
  • 9Leveson N G.Safeware:system safety and computers[M].ACM,1995.
  • 10Mc Dermid J A.Issues in developing software for safety critical systems[J].Reliability Engineering&System Safety,1991,32(1):1-24.

共引文献43

同被引文献14

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部