Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg9"><tr><td> </td><td>Airport_Departing</td></tr><tr><td> </td><td>ANY aircraft</td></tr><tr><td> </td><td>WHERE grd1: aircraft ∈ aircrafts_in_airport grd2: statusof(aircraft) = Blocked</td></tr><tr><td> </td><td>THEN act1: aircrafts_in_airport: =  aircrafts_in_airport\{aircraft} act2: statusof  ≔ {aircraft} <object data="https://static.hindawi.com/articles/mse/volume-2018/1692432/figures/../floats//figures/1692432.fig-inline.001.svgz" name="1692432.fig-inline.001" type="image/svg+xml"></object> statusof</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg9

Box 9

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