Research Article
Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution
Table 6
The functions of the flight 686 and the business jet.
| Airplane | Number | Function |
| Flight 686 | Function 1 | The air traffic controller guided flight 686 to R6 runway | Function 2 | Flight 686 taxied to R6 runway | Function 3 | ATC guided the 686 flight take off | Function 4 | Flight 686 took off |
| Business jet | Function 5 | ATC guided business jet to R5 runway | Function 6 | Business jet reported to ATC in the S4 taxiway position | Function 7 | ATC confirmed business jet position | Function 8 | ATC guided business jet continue to slide to the main runway | Function 9 | Business jet turned left into the R6 runway |
|
|