Availability of CAUTRA, a subset of the French air traffic control system
- 1 May 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 48 (5), 528-535
- https://doi.org/10.1109/12.769435
Abstract
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.Keywords
This publication has 23 references indexed in Scilit:
- Performability of a token bus network under transient fault conditionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Comparison of hybrid modular redundant multiprocessor systems with respect to performabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modeling the dependability of CAUTRA, a subset of the French air traffic control systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The transformation approach to the modeling and evaluation of the reliability and availability growthPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Performability evaluation of CSMA/CD and CSMA/DCR protocols under transient fault conditionsIEEE Transactions on Reliability, 1993
- Reduced base model construction methods for stochastic activity networksIEEE Journal on Selected Areas in Communications, 1991
- An analysis of hardware and software availability exemplified on the IBM 3725 Communication ControllerIBM Journal of Research and Development, 1988
- Dependability Evaluation of Integrated Hardware/Software SystemsIEEE Transactions on Reliability, 1987
- Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design FaultsIEEE Transactions on Computers, 1978