Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N. Fota, M. Kaâniche, K. Kanoun, and A. Peytavin, “The Air Traffic En route Control Computing System Dependability: Analysis and Modeling,” Proc.l0ème Colloque national de Fiabilité & Maintenabilité, Saint-Malo, France, 1996 (in French).
N. Fota, M. Kaâniche, K. Kanoun, and A. Peytavin, “Analysis of the Global Air Traffic en-route Control Computing System for Dependability Evaluation,” LAAS-CNRS, LAAS Report n° 95280, june 1995 (in French).
A. L. Reibman and M. Veeraraghavan, “Reliability Modeling: An Overview for System Designers,” IEEE Computer, vol. 24, pp. 49–57, 1991.
M. Malhotra and K. S. Trivedi, “Power-Hierarchy of Dependability-Model Types,” IEEE Transactions on Reliability, vol. 43, pp. 493–502, 1994.
M. A. Marsan, G. Balbo, G. Franceschinis, and S. Donatelli, Modelling with Generalized Stochastic Petri Nets: John Wiley & Sons, 1995.
C. Béounes, M. Aguéra, J. Arlat et al. “SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems,” Proc. 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, France, 1993.
S. Berson, E. de Souza e Silva, and R. R. Muntz, “A Methodology for the Specification and Generation of Markov Models,” in Numerical Solution of Markov Chains, W. .Stewart, Ed.: Marcel Dekker, 1991, pp. 11–36.
M. Bouissou, H. Bouhadana, M. Bannelier, and N. Villatte, “Knowledge Modelling and Reliability Processing: Presentation of the FIGARO Language and Associated Tools,” Proc. 10th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP’91), Trondheim, Norway, 1991, pp. 69–75.
A. Goyal and S. S. Lavenberg, “Modeling and Analysis of Computer System Availability,” IBM Journal of Research and Development, vol. 31, pp. 651–664, 1987.
J. A. Carrasco and J. Figueras, “METFAC: Design and Implementation of a Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems,” Proc. 19th Int Symp. Fault-Tolerant Computing (FTCS-19), Vienna, Austria, 1986, pp. 424–429.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Fota, N., Kaâniche, M., Kanoun, K., Peytavin, A. (1997). Safety Analysis and Evaluation of an Air Traffic Control Computing System. In: Schoitsch, E. (eds) Safe Comp 96. Springer, London. https://doi.org/10.1007/978-1-4471-0937-2_19
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0937-2_19
Publisher Name: Springer, London
Print ISBN: 978-3-540-76070-2
Online ISBN: 978-1-4471-0937-2
eBook Packages: Springer Book Archive