Skip to Main content Skip to Navigation
Journal articles

Availability of CAUTRA, a Subset of the French Air Traffic Control System

Abstract : The aim of our work is to provide a quantified means helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper we define a set of alternative architectures, give some elements for constructing their dependability models and compare their availability. Modeling is carried out following a modular and systematic approach, based on the derivation of block models at a high level of abstraction. In a second step, the blocks are replaced by their equivalent Generalized Stochastic Petri Nets to build up the detailed model of the architecture. The evaluations performed permit identification of a subset of architectures whose availability meets the dependability requirements and also identification of the best architecture among this subset.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Karama Kanoun <>
Submitted on : Thursday, January 10, 2019 - 6:18:11 PM
Last modification on : Thursday, June 10, 2021 - 3:01:22 AM
Long-term archiving on: : Thursday, April 11, 2019 - 6:08:46 PM


Files produced by the author(s)



Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin. Availability of CAUTRA, a Subset of the French Air Traffic Control System. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩. ⟨hal-01977520⟩



Record views


Files downloads