Recherche Avancée

Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Marie Borrel
Direction : Karama Kanoun
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1996
Etablissement(s) : Toulouse, INPT

Résumé

FR

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