Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution

Table 4

Descriptions for Activity 7 based on FRAM.

Aspect	Details
Input	Order to taxi to the main runway
Output	Enter R6 runway
Precondition	Available runway(s)
	Fulfill the ATC’s taxi instructions
	Complete taxi checklists
Resource	Flight crew who is familiar with the airport
	Signal lights and ground markings on the airport
Control	Alarm system for preventing airplanes from breaking into the wrong runway
Time	The whole process