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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Kanoun, K. (Autor:in) / Borrel, M. (Autor:in) / Morteveille, T. (Autor:in) / Peytavin, A. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1999


    Format / Umfang :

    8 Seiten, 28 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    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 | Europäisches Patentamt | 2023

    Freier Zugriff

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

    LITTLEJOHN JEFFREY LEE | Europäisches Patentamt | 2023

    Freier Zugriff

    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