The aim of our work is to provide a quantified means of 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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Availability of CAUTRA, a subset of the French air traffic control system


    Contributors:
    Kanoun, K. (author) / Borrel, M. (author) / Morteveille, T. (author) / Peytavin, A. (author)

    Published in:

    Publication date :

    1999


    Size :

    8 Seiten, 28 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    4.5 Availability of traffic control system based on servicing model

    Mikulski, J. | British Library Conference Proceedings | 2009


    Validating traffic flow predictions based on data from a selected subset of traffic probe devices

    LITTLEJOHN JEFFREY LEE | European Patent Office | 2023

    Free access

    VALIDATING TRAFFIC FLOW PREDICTIONS BASED ON DATA FROM A SELECTED SUBSET OF TRAFFIC PROBE DEVICES

    LITTLEJOHN JEFFREY LEE | European Patent Office | 2023

    Free access

    Subset Regression

    Holms, A. G. | NTRS | 1986


    Efficient Estimation of Probability of Conflict Between Air Traffic Using Subset Simulation

    Mishra, Chinmaya / Maskell, Simon / Au, Siu-Kui et al. | IEEE | 2019