Abstract: The volume of air traffic increases dramatically and the air traffic control system is a safety critical system. Failure of the system can cause loss of human life, cost, and hard work of ...