Dependability Evaluation of an Air Traffic Control Computing System - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Performance Evaluation Année : 1999

Dependability Evaluation of an Air Traffic Control Computing System

Résumé

As air traffic over France is growing rapidly, the existing Air Traffic Control (ATC) system has to evolve to satisfy the increasing demand. The selection of the new automated computing system (denoted CAUTRA) is based, among other things, on dependability evaluation. This paper is devoted to the dependability evaluation of the CAUTRA, however, emphasis is put on a subset: the Regional Control Center (RCC). Star¬ting from the analysis of the impact of CAUTRA failures on air traffic safety, five levels of service degradation are defined for the global system grading the effects of these failures on the service delivered to the controllers to ensure traffic safety. The RCC failure modes leading to these deg¬radation levels are then defined and evaluated using stochas¬tic Petri nets. The modeling approach consists in modeling the system as a set of modules interconnected via coupling mechanisms. The system model is constructed in several steps according to an incremental approach. Each step integrates the failure and recovery assumptions of an addi¬tional component and updates the model of the previ¬ous step by accounting for the impact of the new compo¬nent on the behavior of those already included in the model. The application of this approach to the CAUTRA allowed us to analyze several configurations of the CAUTRA architecture and to identify impro¬ve¬ment areas to minimize the impact of CAUTRA failures on air traffic safety.
Fichier principal
Vignette du fichier
Text-fota-kaaniche-kanoun.pdf (474.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00762602 , version 1 (07-12-2012)

Identifiants

  • HAL Id : hal-00762602 , version 1

Citer

Nicolae Fota, Mohamed Kaâniche, Karama Kanoun. Dependability Evaluation of an Air Traffic Control Computing System. Performance Evaluation, 1999, 35 (3-4), pp.253-273. ⟨hal-00762602⟩
134 Consultations
296 Téléchargements

Partager

Gmail Facebook X LinkedIn More