Dépôt Institutionnel

Approche de Transformation de Modèle RecDEVS Vers UPPAAL

Show simple item record

dc.date.accessioned 2021-10-10T14:14:10Z
dc.date.available 2021-10-10T14:14:10Z
dc.date.issued 2016-06
dc.identifier.uri http://dspace.univ-jijel.dz:8080/xmlui/handle/123456789/9321
dc.description.abstract 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 fr_FR
dc.language.iso fr fr_FR
dc.publisher University of Jijel fr_FR
dc.relation.ispartofseries ;Inf.SIAD.10-16
dc.subject Mots Clés: RecDEVS, UPPAAL, AToM3, Transformation de graphe fr_FR
dc.title Approche de Transformation de Modèle RecDEVS Vers UPPAAL fr_FR
dc.type Thesis fr_FR


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account