Résumé:
Les systèmes informatiques sont de plus en plus présents de nos jours sous formes des différents appareils. Ces derniers notés des systèmes embarqués. Un standard pour représenter de tels systèmes est le formalisme RecDEVS (reconfigurable Discrète Event Systems Specification). Ce dernier est destiné à la capacité de changer dynamiquement les composants d'un système.
Dans notre travail nous proposons une technique automatique basée sur la transformation de graphes pour transformer les spécifications du recDEVS vers un fichier XML équivalent dans l'outil UPPAAL qui est l'objectif de ce mémoire.
L'approche est basée sur le méta-modèle et les grammaires de graphes alors que le formalisme de diagramme de classe UML de l'outil AToM3 est utilisé pour définir un métamodèle pour les RecDEVS, AToM3 est aussi utilisé pour générer un outil de modélisation visuelle pour l'élabortation de modèles selon le métamodèle des RecDEVS proposés.Nous avons aussi proposé une grammaire de graphe pour générer automatiquement, la description UPPAAL des modèles RecDEVS grafiquement spécifiées.Alors que l'outil UPPAAL est utilisé pour la vérification et la simulation des modèles RecDEVS.
Mots Clés: RecDEVS, UPPAAL, AToM3, Transformation de graphe
