Modelling the dependability of CAUTRA, a subset of the French air traffic control system - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

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.
Fichier principal
Vignette du fichier
DOC 95515-Marie-FTCS-26.pdf (1.3 Mo) Télécharger le fichier

Dates et versions

hal-01976201 , version 1 (30-01-2019)

Identifiants

  • HAL Id : hal-01976201 , version 1

Citer

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin. Modelling the dependability of CAUTRA, a subset of the French air traffic control system. 26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan. ⟨hal-01976201⟩
59 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More