Abstract:The article describes an algorithm for computing horizontal resolution trajectories with a limit on bank angle. If loss of separation can be avoided, the algorithm generates a set of manoeuvres that achieves or exceeds the specified minimum separation. The manoeuvres consist of turns to a specified heading followed by straight-line flight. Both single aircraft and cooperative manoeuvres are generated. In cooperative manoeuvres, both conflict aircraft simultaneously execute resolution manoeuvres, which expedite the resolution process compared to single aircraft manoeuvres. If loss of separation is unavoidable for a specified bank angle limit, the method chooses the manoeuvre that maximizes the minimum separation during the turns. The characteristics of the resolution trajectories have been analysed in a parameter space comprising initial positions, encounter angle, airspeed, predicted minimum separation, and bank angle. Analysis of resolutions for sets of initial conditions provided a road map for the design of an algorithm. The conceptual design of a system is described that resolves close-in conflicts automatically by uplinking resolution advisories to aircraft. Controllers have the option to assign detected conflicts to be resolved by the system. The system also has the authority to uplink resolution advisories to the aircraft without prior controller approval if time to loss of separation falls below a threshold value. The Mode S Specific Services data link is well suited for uplinking resolution advisories to the conflict aircraft. Deployment of the system could be an initial step in building the next-generation air traffic control system.

No abstract

In order to address the rapidly increasing load of air traffic operations, innovative algorithms and software systems must be developed for the next generation air traffic control. Extensive verification of such novel algorithms is key for their adoption by industry. Separation assurance algorithms aim at predicting if two aircraft will get closer to each other than a minimum safe distance; if loss of separation is predicted, they also propose a change of course for the aircraft to resolve this potential conflict. In this paper, we report on our work towards developing an advanced testing framework for separation assurance. Our framework supports automated test case generation and testing, and defines test oracles that capture algorithm requirements. We discuss three different approaches to testcase generation, their application to a separation assurance prototype, and their respective strengths and weaknesses. We also present an approach for statistical analysis of the large numbers of test results obtained from our framework.

No abstract

No abstract