Compared with federated avionic architecture, the integrated modular avionic (IMA) system architecture in the aircraft can provide more sophisticated and powerful avionic functionality, and meanwhile, it becomes structurally dynamic, variably interconnected, and highly complex. The traditional approach such as fault tree analysis (FTA) becomes neither convenient nor sufficient in making safety analysis of the IMA system. In order to overcome the limitations, the approach that FTA combines with generalized stochastic petri net (GSPN) is proposed. First, FTA is used to establish the static model for the top level of the IMA system, while GSPN is used to build a dynamic model for each cell system. Finally, the combination model is generated, which is called the FTGPN model. Moreover, the FTGPN model is made safety analysis with the PIPE2 tool. According to the simulation result, corresponding measures are taken to meet the safety requirements of the IMA system.

中文翻译：

---

基于FTPGN方法的组合模块化航空电子系统安全性分析

与联邦航空电子体系结构相比，飞机中的集成模块化航空电子（IMA）系统体系结构可以提供更复杂，更强大的航空电子功能，同时，它在结构上也变得动态，可变地相互连接并且高度复杂。故障树分析（FTA）等传统方法在进行IMA系统安全分析时既不方便也不充分。为了克服这种局限性，提出了将FTA与广义随机Petri网（GSPN）相结合的方法。首先，FTA用于为IMA系统的顶层建立静态模型，而GSPN用于为每个小区系统建立动态模型。最后，生成组合模型，称为FTGPN模型。此外，使用PIPE2工具对FTGPN模型进行了安全性分析。