Research Article
Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method
Table 6
Transitions in the GSPN model for RDC.
| Transition | Operational meaning | Trigger rate (1/h) |
| Tbf | RDC goes from operational to failed | | Tbr | RDC goes from failed to operational | 0.001 |
|
|