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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...