Spécification et construction incrémentale de modèles de sûreté de fonctionnement : application au CAUTRA

par Nicolae Fota

Thèse de doctorat en Informatique

Sous la direction de Karama Kanoun.

Soutenue en 1997

à Toulouse, INPT .


  • Résumé

    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

  • Titre traduit

    Incremental specification and construction of dependability models : application to CAUTRA air traffic control computing system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (191 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 165-171

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-FOT
  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 97INPT030H/1

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1997-FOT
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.