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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 27 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Toulon (La Garde). Bibliothèque universitaire. Section Campus La Garde.
  • Non disponible pour le PEB
  • Cote : TH-SCI/1991TOUL4
  • Bibliothèque : Université de Toulon (La Garde). Bibliothèque universitaire. Section Campus La Garde.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.