Thèse soutenue

Spécification et construction incrémentale de modèles de sûreté de fonctionnement : application au CAUTRA
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Nicolae Fota
Direction : Karama Kanoun
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1997
Etablissement(s) : Toulouse, INPT

Résumé

FR

Les travaux presentes dans ce memoire concernent la specification et la construction des modeles de surete de fonctionnement des systemes informatiques tolerant les fautes, impliquant de nombreux composants materiels et logiciels aux interactions multiples et des procedures complexes de tolerance aux fautes et de restauration, afin d'evaluer des mesures definies par rapport a plusieurs niveaux de degradation du service. Nous avons defini une methode de construction modulaire et incrementale qui permet, d'une maniere systematique, la construction et la validation progressive du modele de surete de fonctionnement d'un systeme, par les reseaux de petri stochastiques generalises (rdpsg). Cette methode est basee sur deux idees originales: l'approche incrementale de construction, qui consiste a construire et en meme temps a valider progressivement un modele, et le systeme de regles de construction modulaire, concues de facon a aboutir a une forme optimale du modele par rdpsg et de faciliter sa validation progressive. Afin de faciliter sa mise en uvre, nous avons complete cette methode par un formalisme de specification de haut niveau, graphique et textuel, dont l'objectif est de decrire de facon structuree le comportement des composants et de leurs interactions en presence des defaillances. Le formalisme permet de specifier de maniere incrementale la construction optimale d'un modele rdpsg, tout en respectant les regles definies au sein de la methode. Des regles de transformation ont ete definies afin de permettre la generation automatique d'un modele rdpsg par traduction directe des elements du formalisme. Nous avons applique cette approche de specification et construction a la modelisation du systeme informatique cautra (coordonnateur automatise du trafic aerien), en vue d'evaluer des mesures de surete de fonctionnement specifiques, traduisant l'impact des defaillances et des procedures de restauration utilisees sur la securite du trafic. L'evaluation a permis d'effectuer des choix d'architecture, de strategies de tolerance aux fautes et de procedures d'exploitation