For the most recent entries see the Petri Nets Newsletter.

Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.

Kanoun, Karama; Borrel, Marie; Morteveille, Thierry; Peytavin, Alain

In: 26th IEEE International Symposium on Fault-Tolerant Computing (FTCS-26), pages 106-115. June 1996.

Abstract: The aim of our work is to provide a quantified means helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. To do this, we define alternative architectures for the CAUTRA whose availability is compared in order to select the architecture with the highest level of 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. Emphasis is placed on modeling interactions between hardware and software components.

Keywords: Dependability modeling; hardware failures; software failures; Petri Nets; Air Traffic Control Systems.

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

Back to the Petri Nets Bibliography