Recherche Avancée

Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Mohammed Hendaz
Direction : Stanislaw Budkowski
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1996
Etablissement(s) : Paris 6

Résumé

FR

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.