Research Article
Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method
Table 1
Places in the GSPN model for GPM.
| Name | Operational meaning |
| Pmw | GPM is operational | Pmf | GPM is failed | Pdw | CPU is operational | Pdf | CPU is failed | Pew | Memory is operational | Pef | Memory is failed | Phw | RTOS is operational | Phf | RTOS is failed | Pgw | Software is operational | Pgf | Software is failed | Pmn | Number of components in failed state |
|
|