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.
Availability of CAUTRA, a subset of the French air traffic control system
IEEE Transactions on Computers ; 48 , 5 ; 528-535
1999
8 Seiten, 28 Quellen
Aufsatz (Zeitschrift)
Englisch
4.5 Availability of traffic control system based on servicing model
British Library Conference Proceedings | 2009
|Validating traffic flow predictions based on data from a selected subset of traffic probe devices
Europäisches Patentamt | 2023
|VALIDATING TRAFFIC FLOW PREDICTIONS BASED ON DATA FROM A SELECTED SUBSET OF TRAFFIC PROBE DEVICES
Europäisches Patentamt | 2023
|NTRS | 1986
|