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