为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨论基于过程和产品的2种不同安全论证方式,以系统管理功能为例,利用目标结构化标记(GSN)语言,论证IMA的安全性。结果表明:安全例证法可与民机系统开发流程对应,有效地整合安全性分析过程中的安全证据资源,并在系统安全性需求与安全性证据间建立明确的关系。 In order to solve the security assessment problem of a new generation of integrated avionics system (IMA), a security illustration of IMA is constructed and demonstrated based on the security illustration method. In view of the deficiency of SAE ARP4761 standard, this paper analyzes the applicability and basic structure of SAA, analyzes the application of SAA in IMA from the three aspects of security requirements, framework and implementation, and discusses two kinds of SAE based on process and product In the way of security demonstration, taking the system management function as an example, the security of IMA is demonstrated by using the language of target structured marking (GSN). The results show that the safety illustration method can correspond to the civil aircraft system development process, effectively integrate the security evidence resources in the security analysis process, and establish a clear relationship between the system security requirements and the security evidence.