车程，刘轶斐

(中国航空工业集团公司 第一飞机设计研究院，西安　710089)



基于模型的安全性分析技术研究

车程，刘轶斐

(中国航空工业集团公司 第一飞机设计研究院，西安710089)

基于模型的安全性分析技术(MBSA)经过十余年发展，其理论基础和工程应用技术已日趋成熟。首先阐述了传统的安全性分析技术存在的不足，分析了MBSA的技术优势；然后结合传统系统安全性分析流程，初步构建了基于模型的安全性建模与分析流程，最后给出了MBSA分析技术在飞机研制过程中的安全性评估案例。结果表明：MBSA可以解决传统安全性分析中飞机级安全性评估不足以及安全性分析结果正确性得不到客观保证的问题。

基于模型的安全性分析技术；安全性；功能危险分析；特殊风险分析；初步系统安全性评估

0　引　言

随着航空技术的不断发展和革新，飞机机载系统复杂化和综合化程度越来越高，机载系统内部的复杂交联和系统之间的高度耦合给系统安全性分析工作带来了巨大挑战。

基于上述系统安全性分析难题，国外学者在基于模型的系统工程(Model Based System Engineering，简称MBSE)的基础上，提出了基于模型的系统安全性分析技术(Model Based Safety Analysis，简称MBSA)[1]，该技术通过飞机系统研制过程与安全性分析过程的自动化集成，克服了传统安全性分析技术的不足[2]，保证了安全性设计与飞机系统设计的同步和协调。利用其研究成果，空客公司开发了基于模型的安全性评估软件(Simfia)[3]。Simfia不仅完成了传统安全性分析项目，还依据已构建的模型实现了系统动态仿真、安全序列生成、动态FMEA等分析，突破了传统静态分析工具的局限，扩充了安全性分析内容。……