Gérard Nzebop Ndenoka ; Maurice Tchuenté ; Emmanuel Simeu - Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM

arima:6452 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 22 novembre 2021, Volume 33 - Numéro spécial CRI 2019 - 2020-21 - https://doi.org/10.46298/arima.6452
Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDMArticle

Auteurs : Gérard NZEBOP NDENOKA ; Maurice Tchuenté 1; Emmanuel Simeu 2

  • 1 Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
  • 2 Reliable RF and Mixed-signal Systems

Le GRAphe Fonctionnel de Commande Étapes Transitions (GRAFCET) est un puissant lan-gage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événe-ments discrets. Il fait usage des expressions pour exprimer les conditions de franchissement des transitions et des actions conditionnelles ainsi que les expressions logiques et arithmétiques assi-gnées aux actions stockées. Cependant, de nombreux travaux se sont penchés sur la transformation de spécifications Grafcet (y compris les expressions) en code de contrôle pour systèmes embar-qués. Pour faciliter l'édition de modèles Grafcet valides et la génération du code de contrôle, il est judicieux de proposer une formalisation du langage des expressions Grafcet, permettant de valider ses constructions et d'en pourvoir une sémantique appropriée. Pour cela, nous proposons une gram-maire hors-contexte qui génère tout l'ensemble des expressions Grafcet, en étendant les grammaires usuelles des expressions arithmétiques et logiques. Nous proposons également un métamodèle et une sémantique associée des expressions Grafcet pour faciliter la mise en oeuvre du langage Grafcet sous la forme d'un parseur des expressions Grafcet G7Expr obtenu grce au générateur d'analyseurs syntaxiques ANTLR, alors que le métamodèle est mis en oeuvre dans l'environnement d'Ingénie-rie Dirigée par les Modèles (IDM) Eclipse EMF. L'association des deux outils permet d'analyser et de construire automatiquement les expressions Grafcet lors de l'édition et la synthèse des modèles Grafcet.


Volume : Volume 33 - Numéro spécial CRI 2019 - 2020-21
Publié le : 22 novembre 2021
Accepté le : 27 octobre 2021
Soumis le : 6 mai 2020
Mots-clés : expressions Grafcet,grammaire hors-contexte,analyseur syntaxique,Ingénierie Dirigée par les Modèles,métamodèle,vérification de modèle,sémantique des expressions,PACS 85.42,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL],[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering

Statistiques de consultation

Cette page a été consultée 399 fois.
Le PDF de cet article a été téléchargé 402 fois.