Evaluation de la performabilite des systemes de production et des systemes temps reel par reseaux de petri stochastiques generalises

par François Simon

Thèse de doctorat en Sciences appliquées

Sous la direction de J. GRESSER.

Soutenue en 1996

à Mulhouse .

    mots clés mots clés


  • Résumé

    Cette these decrit les travaux realises dans le domaine de la modelisation et de l'evaluation de la performabilite (performance-disponibilite) de systemes informatiques temps reel et des systemes de production a l'aide de modeles bases sur les reseaux de petri stochastiques generalises (rdpsg). Le modele du systeme est decompose en deux sous-systemes, l'un decrivant le comportement vis-a-vis des fautes et des reparations (modele de structure), l'autre modelisant l'aspect performance et les caracteristiques temps reel. Nous montrons la generation automatique du modele de structure qui donne les multiples cas de defaillances pour lesquels nous proposons une methode pour reduire le nombre de verification du critere d'opportunite (probabilite de respect de la contrainte temporelle specifiee). L'analyse se concentre en premier sur les configurations de fonctionnement degradees. Cette etape du processus de modelisation est appelee verification intra configuration. Ensuite, la verification inter configurations concerne les passages entre les configurations qui sont classees par type d'elements defaillants. La methode est illustree sur trois exemples ayant fait l'objet de publications. Le premier systeme est un atelier flexible de production de tambour d'impression ayant une structure a tolerance de fautes avec machines redondantes et fonctionnant en parallele. Le deuxieme est un systeme de production de portiere a structure serie qui est analyse par modeles equivalents. Le troisieme systeme a base de transputers presente des caracteristiques temps reel pour lequel l'aspect repartition de taches est approfondi


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 130 P.
  • Annexes : 65 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de Documentation. Section Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.