Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg7"><tr><td> </td><td>Start_takingoff</td></tr><tr><td> </td><td>ANY aircraft</td></tr><tr><td> </td><td>WHERE grd1: aircraft ∈ aircrafts_in_airport grd2: statusof(aircraft) = ReadyL grd3: curr_RW_status = available grd4: curr_RWL_status = OFF</td></tr><tr><td> </td><td>THEN act1: statusof(aircraft) ≔ TakingOff act2: curr_RW_status ≔ unavailable act3: curr_RWL_status ≔ ON</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg7

Box 7

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