Research Article

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Figure 9

Reachability graph of the FTGPN model for the IMA system.