Annotation dynamique pour l'evaluation de performance des systemes specifies en estelle

par MOHAMMED HENDAZ

Thèse de doctorat en Sciences appliquées

Sous la direction de Stanislaw Budkowski.

Soutenue en 1996

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these traite de l'integration des proprietes quantitatives aux techniques de description formelle, pour l'evaluation de performance des systemes de communication a contraintes temporelles. Les plate formes d'outils d'ingenierie de protocoles, developpees autour de ces techniques, ont souvent ete orientees vers des etudes qualitatives, i. E. Validation, verification, alors que l'etude de performance se voyait deleguee a d'autres formalismes de specification. Ainsi, deux modeles du meme systeme doivent etre construits. Par consequent, deux inconvenients etaient ineluctables : la validation et l'evaluation ne se font pas sur le meme modele, et un coup temporel supplementaire est engendre. Pour palier a cela, et apres etude des differentes approches, nous avons proposee une methode d'annotation dynamique, qui a ete mise en oeuvre dans le cadre de la technique estelle, au sein de la plate forme edt (estelle development toolset). Cette approche permet d'annoter la specification, pendant la session de simulation, avec les parametres quantitatifs, utilises par la suite pendant la phase d'evaluation. Elle assure l'avantage que les techniques, surtout normalisees, ne soient pas modifiees, et que les specifications ne soient pas re-compilees a chaque changement du contexte d'evaluation. Pour la realisation de cette approche, une etude conceptuelle preliminaire a ete faite pour la temporisation du modele de calcul d'estelle. Cette etude a abouti a un prototype ameliore du simulateur edb du progiciel edt, en le munissant de plusieurs fonctionnalites quantitatives, allant de l'annotation dynamique de la specification, jusqu'a la representation graphique des resultats de performance.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 P.
  • Annexes : 60 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1996 584
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.