MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL

Résumé

Ce papier présente une approche originale de la modélisation de la sûreté de fonctionnement de systèmes informatiques complexes, par les réseaux de Petri stochastiques et les chaînes de Markov ; approche tenant compte, du caractère permanent ou temporaire des fautes du matériel et du logiciel, et de la propagation d'erreur du matériel au logiciel et entre composants logiciel. L'application de cette approche au CAUTRA (Coordinateur AUtomatique du TRafic Aérien) permet de comparer les résultats d'indisponibilité pour quatre architectures possibles de ce système.
Fichier principal
Vignette du fichier
LM_1994_CAUTRA.pdf (427.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01985283 , version 1 (17-01-2019)

Identifiants

  • HAL Id : hal-01985283 , version 1

Citer

M Borrel, Karama Kanoun, T Morteveille, A Peytavin°. MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL. 9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France. ⟨hal-01985283⟩
78 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More