Contribution à la spécification d'un environnement de simulation à événements discrets : spécification formelle d'une méthode de traduction automatique d'un modèle comportemental en un modèle exécutable

par Yvan Maillot

Thèse de doctorat en Automatique et informatique

Sous la direction de Serge Wendling.

Soutenue en 1997

à Besançon .


  • Résumé

    Il y a dix ans à peine, la simulation n'était utilisée qu'en dernier recours. Force est de constater qu'aujourd'hui elle a pris le pas sur les autres techniques d'évaluation de systèmes. L'étude présentée concerne la simulation à événements discrets (SED) dont les outils sont de plus en plus sophistiqués avec, notamment, l'apparition d'environnements de SED. L'objet de cette thèse est de fournir une contribution à la spécification d'un environnement de SED. Il s'agit, en premier lieu, de cerner ses orientations et de dresser la liste des exigences qu'il doit satisfaire. Un deuxième travail consiste à caractériser le profil d'une méthode de modélisation pour la SED dont l'application conduit à plusieurs abstractions du système étudié, et notamment une description de son comportement basée sur le formalisme des Statecharts. La principale contribution de cette étude est de fournir une spécification formelle d'une méthode de traduction automatique d'un modèle comportemental en un modèle exécutable. La méthode proposée généralise l'expression de la traduction d'un sous-ensemble des Statecharts en code VHDL. Elle présente des avantages certains par rapport aux outils déjà existants, comme celui d'être clairement reproductible et facilement adaptable en machine, contrairement aux traducteurs commerciaux qui ne dévoilent pas leurs solutions techniques ; en outre, c'est une méthode formelle au sens où l'on sait établir qu'un Statechart est dans l'ensemble des <<<>traduisibles<>>> ; à chacun d'eux, on associe un code unique, dont le calcul est explicite. D'autres avantages majeurs sont inhérents à la technique de traduction qui respecte totalement la structure originelle du modèle et permet de générer un code modulaire, générique, réutilisable et hiérarchique. De plus, la hiérarchie ainsi respectée permet de conserver tout le potentiel de parallélisation du modèle originel.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (157 p.)
  • Annexes : Bibliogr. p.152-157 (72 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1997/614
  • Bibliothèque : Université de technologie de Belfort-Montbéliard. Bibliothèque.
  • Disponible pour le PEB
  • Cote : THESE 97 MAI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.