Research Article

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Figure 7

The GSPN model of ARINC664 network.