Approche De Transformation De Modèle Recdevs Vers Uppaal
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
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
