Learning Assurance Analysis for Further Certification Process of Machine Learning Techniques: Case-Study Air Traffic Conflict Detection Predictor.

Designing and developing artificial intelligence (AI)-based systems that can be trusted justifiably is one of the main issues aviation must face in the coming years. European Union Aviation Safety Agency (EASA) has developed a user guide that could be potentially transformed as means of compliance for future AI-based regulation. Designers and developers must understand how the learning assurance process of any machine learning (ML) model impacts trust. ML is a narrow branch of AI that uses statistical models to perform predictions. This work deals with the learning assurance process for ML-based systems in the field of air traffic control. A conflict detection tool has been developed to identify separation infringements among aircraft pairs, and the ML algorithm used for classification and regression was extreme gradient boosting. This paper analyses the validity and adaptability of EASA W-shaped methodology for ML-based systems. The results have identified the lack of the EASA W-shaped methodology in time-dependent analysis, by showing how time can impact ML algorithms designed in the case where no time requirements are considered. Another meaningful conclusion is, for systems that depend highly on when the prediction is made, classification and regression metrics cannot be one-size-fits-all because they vary over time.

Probabilistic Strategic Conflict-Management for 4D Trajectories in Free-Route Airspace.

The expected growth of air traffic in the following decades demands the implementation of new operational concepts to avoid current limitations of the air traffic management system. This paper focuses on the strategic conflict management for four-dimensional trajectories (4DT) in free-route airspace. 4DT has been proposed as the future operational concept to manage air traffic. Thus, aircraft must fulfil temporary restrictions at specific waypoints in the airspace based on time windows. Based on the temporary restrictions, a strategic conflict management method is proposed to calculate the conflict probability of an aircraft pair (that intersects in the air) and to calculate temporary-blocking windows that quantify the time span at which an aircraft cannot depart because one conflict could occur. This methodology was applied in a case-study for an aircraft pair, including the uncertainty associated with 4DT. Moreover, a sensitivity analysis was performed to characterise the impact of wind conditions and speed control on the temporary-blocking windows. The results concluded that it is feasible to propose 4DT strategic de-confliction based on temporary-blocking windows. Although, uncertainty variables such as wind and speed control impact on the conflict probability and the size of the temporary-blocking windows.