杨晓强，贺 非，贺 强，徐 晨

(中国民用航空飞行学院 航空工程学院，四川 广汉 618307)

0 引言

系统理论过程分析方法(System-Theoretic Process Analysis，STPA)由麻省理工Leveson提出，是基于系统理论的事故模型的一种危害分析方法[1]。它不仅能识别系统级危险(不安全控制行为)，还能进一步分析交互组件是如何导致危险的发生，识别致因路径[2]。近年来，STPA广泛应用于对安全要求苛刻的系统分析中。张宏宏等提出基于STPA-TOPAZ的低空无人机冲突解脱安全性分析方法，仿真结果表明该方法的有效性和优越性[3]。甘旭升等采用STPA对空中交通态势感知程序设计案例进行危险分析，找出导致不安全控制行为的真正起因[4]。Zheng等基于STPA建立机轮刹车系统在飞机降落过程中的模型并对该过程的不安全控制行为进行仿真，结果表明STPA的有效性[5]。Li等采用STPA对车载地震紧急处理装置的不安全控制行为进行分析，结果表明STPA比FTA方法识别出更多的危害因素[6]。Osiris等提出了一种基于STPA的海事安全管理系统设计安全系统工作流程[7]。刘莎晨提出基于STPA与模型验证相结合的RDC安全性分析方法，结果表明与传统方法相比识别风险更准确[8]。章仕杰等采用STPA模型从控制角度分析了一起重大坍塌事故，得出管理层是预防同类事故重点的结论[9]。但是当前STPA模型多采用自然语言来描述过程模型和控制算法，会产生歧义并导致算法描述不准确等问题，对最终的分析结果产生不利影响。

机务维修模块是保障飞机安全高效运行的关键环节，是关系到飞机能否持续适航的一个基石。……