Aides a la modelisation pour la conception de systemes informatiques surs de fonctionnement

par Christine Richon

Thèse de doctorat en Sciences appliquées

Sous la direction de Patrick Abellard.

Soutenue en 1991

à Toulon .

mots clés

Résumé

La surete de fonctionnement des systemes informatiques est devenue primordiale dans un contexte ou beaucoup de domaines sont dependants de ces systemes. La modelisation fait partie de la gamme des techniques employees durant leur conception car elle est a la base de la plupart des etudes d'evaluation et de quantification. Le probleme general souleve par la modelisation est la qualite de la representation elaboree. Nous nous sommes interesses au type de procedure complementaire qui consiste a assister le createur du modele de facon a limiter les possibilites d'erreur. Deux techniques d'aide a la modelisation visant a diminuer les incertitudes sur la qualite de modeles ont ete etudiees dans ce cadre en utilisant les reseaux de petri. Une premiere etude concerne l'utilisation d'un guide de modelisation lors de la creation des modeles. Deux applications ont ete developpees pour l'etude du comportement des systemes lors de fautes d'interaction. La seconde approche a pour objet la generation d'une gamme de reseaux de petri simples, susceptibles d'etre ensuite exploites par des outils de simulation existants et a base de reseaux de petri, a partir de contraintes structurelles imposees par la methode et de contraintes fournies par l'utilisateur. Un outil informatique graphique mettant en uvre la methode a ete developpe

Titre traduit

Modeling aids for dependable computing systems design

Pas de résumé disponible.