Safety Analysis and Evaluation of an Air Traffic Control Computing System

Abstract

International audience; The French Air Traffic Control is based on an automated system referred to as CAUTRA (Coordinateur AUtomatisé du Trafic Aérien). The CAUTRA is implemented on a distributed fault-tolerant computing system installed on five enroute traffic control centers and one centralized operating center, that are connected through an aeronautical telecommunication network. The CAUTRA mission is to provide computerized means for the safe and efficient movement of aircrafts. The main services provided are flight plans processing, radar data processing and air traffic flow management.

Original document

The different versions of the original document can be found in:

• http://hal.inria.fr/docs/00/85/17/65/PDF/SAFECOMP96-FotaKaanicheKanoun.pdf

• http://www.springerlink.com/index/pdf/10.1007/978-1-4471-0937-2_19,

http://dx.doi.org/10.1007/978-1-4471-0937-2_19

• https://hal.archives-ouvertes.fr/hal-00851765,

https://hal.archives-ouvertes.fr/hal-00851765/document,

https://hal.archives-ouvertes.fr/hal-00851765/file/SAFECOMP96-FotaKaanicheKanoun.pdf

• https://link.springer.com/chapter/10.1007/978-1-4471-0937-2_19,

https://dblp.uni-trier.de/db/conf/safecomp/safecomp1996.html#FotaKKP96,

https://rd.springer.com/chapter/10.1007/978-1-4471-0937-2_19,

https://academic.microsoft.com/#/detail/1541205253