Skip to Main content Skip to Navigation
Conference papers

Modelling the dependability of CAUTRA, a subset of the French air traffic control system

Abstract : 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.
Complete list of metadata

https://hal.laas.fr/hal-01976201
Contributor : Karama Kanoun <>
Submitted on : Wednesday, January 30, 2019 - 12:18:36 PM
Last modification on : Thursday, June 10, 2021 - 3:01:22 AM

Identifiers

  • HAL Id : hal-01976201, version 1

Citation

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⟩

Share

Metrics

Record views

80

Files downloads

37