Formal Comparative Analysis for the Automated Air Traffic Control Design
In the next 20 years the airspace traffic will increase by 4 times, and current technology cannot guarantee an acceptable level of safety, reliability, and security. NASA is evaluating different options to design a more advanced and capable Air Traffic Control System. Such a huge project requires a wide range of different analysis, including political and environmental impact, cost analysis, usability, safety and reliability analysis, and so on.