Case study of TCAS implementation in modern FMS

In this paper, uncertainty is included in the extended framework of global air traffic both through the action of the wind and through the incomplete determination of the aerodynamic coefficients and the inevitable imprecision involved in the execution of ATC instructions. In order to study the air conflict detection process in detail, the possibility of potential conflicts must be evaluated, considering the current state of the international airspace, and taking into account the uncertainty in calculating the future position of the aircraft. A mathematical model for predicting potential aerial conflicts is necessary for this objective. In a probabilistic framework, the mathematical model thus created could be either an empirical distribution of future aircraft positions in space or a dynamic model, such as a stochastic differential equation, that describes the movement of the aircraft and implicitly defines a distribution for the position’s future of the aircraft/ future aircraft positions. Based on the prediction model, aircraft flight safety matrices can be evaluated. The mathematical methods applied in the Detection and Resolution of Air Traffic Conflicts - CDR involve a wide range of fields, but also the appropriate modeling of physical systems such as airplanes, the codification of mathematical algorithms for conflict detection, as well as the properly applied procedures for resolving potential air conflicts.