Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg1"><tr><td> </td><td>SETS RW_STATUSES, RWL_STATUSES, AIRCRAFTS, STATUSES</td></tr><tr><td> </td><td>CONSTANTS Available, Unavailable, ON, OFF, Blocked, ReadyL, Landing, TerminatedL, ReadyT, TakingOff</td></tr><tr><td> </td><td>AXIOMS axm1: partition(RW_STATUSES,{available},{unavailable}) axm2: partition(RWL_STATUSES,{ON},{OFF}) axm3: finite(AIRCRAFTS) axm4: partition(STATUSES, {Blocked}, {ReadyL}, {Landing}, {TerminatedL}, {ReadyT}, {TakingOff})</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg1

Box 1

Box 1: Towards Sophisticated Air Traffic Control System Using Formal Methods 