面向民机综合化航电系统的安全例证法研究

来源：中国安全科学学报杂志2017年第7期北京时间：

作者：赵长啸, 阎芳, 邢培培, 王鹏

单位：中国民航大学 天津市民用航空器适航与维修重点实验室,天津 300300

摘要：为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨论基于过程和产品的 2种不同安全论证方式,以系统管理功能为例,利用目标结构化标记(GSN)语言,论证IMA的安全性。结果表明:安全例证法可与民机系统开发流程对应,有效地整合安全性分析过程中的安全证据资源,并在系统安全性需求与安全性证据间建立明确的关系。

关键词：民用飞机,系统安全性评估,综合模块化航电系统(IMA),安全例证目标结构化标记(GSN),适航

基金资助：国家自然基金-民航联合资助(U1533105);国家重点基础研究发展(“973”)计划项目 (2014CB744902);中央高校基金资助(3122017090)。