Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg22"><tr><td> </td><td>Aircraft_moving_Alert_ON</td></tr><tr><td> </td><td>ANY aircraft loc</td></tr><tr><td> </td><td>WHERE grd1: loc ∈ LOCATIONS grd2: aircraft ∈ AIRCRAFTS grd3: (∃a·a ∈ AIRCRAFTS ∧ distance(locationof(a) ↦ loc) &lt; Min_distance) ∨ ¬ (Security property 1) ∨ ¬ (security property 2) ∨ …</td></tr><tr><td> </td><td>THEN act1: Alert ≔ TRUE act2: locationof(aircraft) ≔ loc</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg22

Box 22

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