Interactions entre composants matériel et logiciel de systèmes tolérants aux fautes : caractérisation, formalisation, modélisation : application à la sûreté de fonctionnement du CAUTRA

par Marie Borrel

Thèse de doctorat en Informatique

Sous la direction de Karama Kanoun.

Soutenue en 1996

à Toulouse, INPT .


  • Résumé

    Ce memoire presente des travaux et resultats concernant la caracterisation, la formalisation et la modelisation des interactions entre composants materiels et logiciels de systemes tolerants aux fautes, aussi bien sur le plan theorique que sur le plan pratique. Chaque composant materiel ou logiciel est modelise par un reseau de petri stochastique generalise appele reseau de composant. Les interactions entre ces composants sont modelisees par des reseaux de petri stochastiques generalises appeles reseaux de dependances, construits a partir de regles de constructions rigoureuses definies de facon formelle. Une methode efficace et rapide de construction des modeles de plusieurs architectures d'un systeme tolerant aux fautes est ensuite proposee. Cette methode basee sur la reutilisation consiste a representer chaque architecture par un modele de haut-niveau, appele modele-bloc, compose de blocs de composants et de blocs de dependances. Les blocs sont generiques et reutilisables d'une architecture a l'autre. Chaque bloc est ensuite remplace par un reseau de composant ou de dependance construit d'apres le formalisme defini lors de la formalisation des interactions. Cette methode de modelisation est appliquee a l'evaluation comparative de la surete de fonctionnement de dix-sept architectures possibles pour le systeme de controle de la navigation aerienne. Ces evaluations permettent de choisir une architecture optimale pour la disponibilite de la future version de ce systeme

  • Titre traduit

    Interactions between hardware and software components : characterization, formalization and modeling : application to CAUTRA dependability


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (174 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 133-138

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-BOR
  • 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 : 96INPT008H/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.
  • Accessible pour le PEB
  • Cote : MF-1996-BOR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.