Research Article
Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method
Table 4
Transitions in GSPN model for ARINC664 network.
| Transition | Operational meaning | Trigger rate (1/h) |
| Tcf | ARINC664 network goes from operational to failed | ā | Tcr | ARINC664 network goes from failed to operational | ā | Tc1f | ARINC664 network channel A goes from operational to failed | | Tc1r | ARINC664 network channel A goes from failed to operational | 0.001 | Tc2f | ARINC664 network channel B goes from operational to failed | | Tc2r | ARINC664 network channel B goes from failed to operational | 0.001 |
|
|