For the most recent entries see the Petri Nets Newsletter.

Availability of CAUTRA, a subset of the French Air Traffic Control system.

Kanoun, K.; Borrel, M.; Morteveille, T.; Peytavin, A.

In: IEEE Trans. on Computers, Vol. 48, No. 5, pages 528-535. 1999.

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: Markov chains, dependability evaluation, dependability modeling, model composition, software systems, stochastic Petri nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography