基于形式化STPA的机务维修模块分析  

Analysis of Maintenance Module Based on Formal STPA Method

作　　者：杨晓强[1] 贺非 贺强[1] 徐晨 YANG Xiao-qiang;HE Fei;HE Qiang;XU Chen(Aviation Engineering Institute,Civil Aviation Flight University of China,Guanghan 618307,China)

机构地区：[1]中国民用航空飞行学院航空工程学院,四川广汉618307

出　　处：《滨州学院学报》2021年第4期12-19,共8页Journal of Binzhou University

基　　金：四川省科技计划资助应用基础研究项目(2021YJ0537)。

摘　　要：开展机务维修模块的研究,对于完善安全管理理论体系,降低飞机事故率具有多重意义。从系统控制的角度出发,对某型直升机机务维修模块中相关不安全问题进行了研究,运用对象约束语言和统一建模语言来形式化描述系统理论过程分析方法,构建了该型机务维修模块的控制关联模型,分析出可能导致事故的潜在致因和危害机制,进而提出对应的安全需求,结果表明了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.

关 键 词：机务维修模块 STPA OCL UML 

分 类 号：V328[航空宇航科学与技术—人机与环境工程] X913[环境科学与工程—安全科学]