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. Document type: Part of book or chapter of book

Abstract

International audience; Reliability evaluation is a critical task in computing systems. From one side, the results must be accurate enough not to under-or over-estimate the overall system reliability (thus either resulting in a non-reliable system, or a system for which too expensive solutions have been adopted). On the other side, the time required for the analysis should be kept at the minimum. This paper presents some new advances in the reliability assessment of computing systems, by showing techniques targeting both hardware and software levels, and the combination of both.