Modelling the dependability of CAUTRA, a subset of the French air traffic control system
Résumé
The aim of our work is to provide a quantified means elping in the definition of a new architecture for CAUTRA, a ubset of the French Air Traffic Control system. To do this, we efine alternative architectures for the CAUTRA whose vailability is compared in order to select the architecture with e highest level of availability. Modeling is carried out llowing a modular and systematic approach, based on the erivation of block models at a high level of abstraction. In a econd step, the blocks are replaced by their equivalent eneralized Stochastic Petri Nets to build up the detailed odel of the architecture. Emphasis is placed on modeling teractions between hardware and software components.