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

Study on safety case method for integrated avionics of civil aircraft

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

In order to solve the safety assessment issue of the next generation IMA,safety cases for the IMA were constructed and demonstrated. The deficiency in SAE ARP4761 standard was analyzed,and the basic structure of safety case was described. The applicability of the method for IMA was analyzed. Then the safety cases for IMA were constructed from three aspects,the safety requirements,framework and implementation. Two demonstration methods, process based and product based demonstrations were discussed. Safety demonstrations were implied on the system management function of IMA based on the GSN. The results show that the safety cases can correspond to the development process of civil aircraft systems,and can provide a more effective way to integrate the safety evidence resources in the safety assessment process,thus establishing a clear relationship between the system safety requirements and safety evidences.