增强飞行视景系统(Enhanced Flight Vision System,EFVS)能够将飞机外界环境实时增强图像与飞行信息叠加后提供给驾驶员,提高飞行员情景意识,实现飞机低能见度起降。分析显示,由于EFVS功能错误或丧失会导致I、II、III类失效状态发生,因此,需要对其展开定量系统安全性分析。由于传统安全性分析方法存在依赖专家经验,在系统发生更改迭代时工作量大等问题,难以满足复杂机载系统的安全性评估需求。解决上述问题,本文提出了基于概率检验模型的安全性分析方法,以实现对EFVS的定量安全性分析,并提高分析效率。研究内容围绕以下方面展开:(1)本文首先在捕获EFVS系统设计需求基础上,对其功能与顶层失效状态展开深入研究,完成系统功能危害性分析;研究EFVS物理及逻辑架构,建立相应的名义模型;(2)分析系统内部底层软硬件的失效模式、失效影响及失效率等信息,将失效信息注入到名义模型中,生成系统定性失效扩展模型;(3)研究转换规则,将失效扩展模型转换为可以用于定量分析的概率检验模型;(4)将定量安全性需求转换为系统定量属性,对典型失效状态展开模型检验,得出定量分析结果,验证EFVS典型功能架构的设计合理性。最后,为进一步证明结果的可信性及方法的有效性,本文采用传统故障树对运算结果加以验证,并将整个基于模型的方法同传统安全性方法进行比较,结果表明,本文采用的方法能够实现复杂系统定量安全性自动分析,运算结果可信,且安全性分析效率得到提高。