Surete de fonctionnement des logiciels executifs a base de micronoyau : analyse des modes de defaillance et confinement des erreurs

par FREDERIC SALLES

Thèse de doctorat en Sciences et techniques

Sous la direction de Jean Arlat.

Soutenue en 1999

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    L'utilisation de micronoyaux du commerce s'impose aujourd'hui dans le cadre de la conception de systemes, meme soumis a de fortes contraintes de surete de fonctionnement, comme une approche de plus en plus attractive. Les travaux presentes dans ce memoire ont pour objectif de proposer des reponses aux interrogations soulevees par cette nouvelle tendance. Nous developpons une methode d'evaluation et d'amelioration des proprietes de surete de fonctionnement d'un micronoyau du commerce. Tout d'abord, nous justifions la pertinence de l'injection de fautes pour la caracterisation des modes de defaillance d'un micronoyau. Nous presentons les lignes directrices qui ont conduit au developpement d'un outil d'evaluation par injection de fautes, pour l'aide a la conception de micronoyaux : mafalda. Par la suite, nous utilisons mafalda pour l'analyse du micronoyau commercial chorus/classix. A partir des lecons tirees de cette etude, nous proposons des recommandations pour ameliorer les proprietes de surete de fonctionnement du micronoyau, selon le point de vue du fournisseur et des developpeurs de systemes. Ensuite, nous developpons une approche novatrice de confinement des erreurs, d'origines externe et interne, pouvant affecter un micronoyau. La solution proposee s'appuie sur une modelisation du comportement attendu des classes fonctionnelles en absence de faute, a partir de laquelle il est possible de definir un ensemble de predicats. Nous appliquons cette approche aux classes de synchronisation et d'ordonnancement de taches. Pour mettre en uvre ces predicats, nous introduisons un mecanisme d'encapsulation original, base sur la notion de reflexivite. Ce concept est illustre sur le micronoyau chorus/classix. Enfin, nous utilisons mafalda pour evaluer de facon objective les benefices procures par les mecanismes d'encapsulation.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 153 p.
  • Annexes : 118 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1999TOU30039
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.