摘要

定检中机务人员的疲劳会导致失误、遗忘、错误等人为差错,极大增加了民机发生事故的概率。为有效分析和控制定检中机务人员的疲劳,综合考虑人-机-环因素交互的危害,建立了规范化定量化的安全性分析模型。首先运用功能可变性描述规则(functional variability of rules, RFV)和统一建模语言(unified modeling language, UML)对系统理论过程分析(systems-theoretic process analysis, STPA)方法进行改进,建立定检中机务人员疲劳致因与控制的综合分析模型,识别出定检中可变性指数较高的交互回路,分析出75种疲劳致因并制定出11条疲劳管理规范。最后利用形式化工具对机务人员疲劳影响定检模块这一过程进行演绎,查找制约民航安全的因素,为航空公司持续适航安全性方面提供理论参考。