Research Article

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

Table 4

Transitions in GSPN model for ARINC664 network.

TransitionOperational meaningTrigger rate (1/h)

TcfARINC664 network goes from operational to failedā€”
TcrARINC664 network goes from failed to operationalā€”
Tc1fARINC664 network channel A goes from operational to failed
Tc1rARINC664 network channel A goes from failed to operational0.001
Tc2fARINC664 network channel B goes from operational to failed
Tc2rARINC664 network channel B goes from failed to operational0.001