Issue No. 05 - May (1999 vol. 48)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.769435
<p><b>Abstract</b>—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.</p>
Dependability modeling, generalized stochastic Petri Nets, Markov chains, model composition.
T. Morteveille, A. Peytavin, M. Borrel and K. Kanoun, "Availability of CAUTRA, a Subset of the French Air Traffic Control System," in IEEE Transactions on Computers, vol. 48, no. , pp. 528-536, 1999.