Research Article

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Table 6

Transitions in the GSPN model for RDC.

TransitionOperational meaningTrigger rate (1/h)

TbfRDC goes from operational to failed
TbrRDC goes from failed to operational0.001