From: Formal specification and analysis of take-off procedure using VDM-SL
# | Queue description | Queue management | |
---|---|---|---|
Inserted into | Removed from | ||
1 | Taxiway permission | taxiwayPermission | – |
2 | Taxiway assigned | taxiwaysAssigned | taxiwayPermission |
3 | Taxiing | Taxiing | taxiwaysAssigned |
4 | Runway permission | runwayPermission | Taxiing |
5 | Runway assign | runwaysAssigned | runwayPermission |
6 | On runway | Onrunway | runwaysAssigned |
7 | Take-off | – | Onrunway |