Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg23"><tr><td> </td><td>Aircraft_moving_Alert_OFF</td></tr><tr><td> </td><td>ANY aircraft loc</td></tr><tr><td> </td><td>WHERE grd1: aircraft ∈ AIRCRAFTS grd2: loc ∈ LOCATIONS grd3: (∀a·a ∈ AIRCRAFTS ⇒ distance(locationof(a) ↦ loc) ≥ Min_distance) ∧ (Security property1) ∧ (Security property 2) ∧ …</td></tr><tr><td> </td><td>THEN act1: Alert ≔ FALSE act2: locationof(aircraft) ≔ loc</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg23

Box 23

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