Abstract: Avionics and air traffic management (ATM) systems are evolving with the introduction of progressively higher levels of automation, toward attaining the ambitious operational, technical, and ...