Evaluation des performances et de la fiabilité de systèmes informatiques tolérant les pannes à l'aide de réseaux de Pétri stochastiques

par Roland Lepold

Thèse de doctorat en Électronique, électrotechnique, automatique

Sous la direction de Julien Gresser.

Soutenue en 1992

à Mulhouse .


  • Résumé

    La performability est une mesure importante combinant des aspects liés à la performance et à la fiabilité. Elle est utilisée pour estimer correctement l'efficacité des systèmes à tolérance de pannes. Cette thèse traite de la construction et de la résolution de modèles de réseaux de Pétri stochastiques destinés à évaluer la performability de systèmes qui peuvent fonctionner en mode dégradé. Tout d'abord, une présentation générale des systèmes à tolérance de pannes et des évaluations de système sera développée. Nous proposerons alors une architecture à couches pour structurer le processus complexe d'évaluation de systèmes basés sur des modèles. Cette architecture constitue la base conceptuelle de ce mémoire. Pour la construction automatique de modèles de performability, on présentera des techniques de modélisation structurées et basées sur des bibliothèques. Ces techniques sont fondées sur un formalisme spécifiant le comportement du système aux tolérances de pannes; ceci de manière simple et flexible. Nous mettrons en évidence, par la suite, plusieurs techniques de résolution pour la détermination de mesures de performability en état stationnaire et transitoire. Les concepts principaux ont été mis en oeuvre dans PENPET, progiciel d'évaluation de la performability des architectures de systèmes à tolérance de pannes basé sur l'utilisation des réseaux de Pétri et dont nous décrirons les étapes de conception et d'exécution. Deux exemples d'évaluation illustrent l'applicabilité des méthodes de modélisation développées

  • Titre traduit

    Performability evaluation of degradable computer systems based on stochastic Petri nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (127 p.)
  • Annexes : Bibliogr. 98 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Non disponible pour le PEB
  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Non disponible pour le PEB
  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Disponible pour le PEB
  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1992MULH0220
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.