Publications scientifiques
Gérard Nzebop Ndenoka
Autres affiliations : National Advanced School of Public Works · Unité de Modélisation Mathématique et Informatique des Systèmes Complexes
Maurice Tchuenté
Autres affiliations : Unité de Modélisation Mathématique et Informatique des Systèmes Complexes · Département d'Informatique
Emmanuel Simeu
Valéry Monthé
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées
Grafcet is a powerful graphical modeling language for the specification of controllers in discrete event systems. It considers hierarchical structures as well as structural and semantic constraints. In this paper, we propose to use a Grafcet specification model in a Model Driven Engineering (MDE) approach for multi-target synthesis of embedded logic control systems based on microcontrollers. In this approach, a Grafcet metamodel is associated with a microcontroller metamodel which characterizes the microcontroller platform features to be considered when generating code. The Grafcet metamodel includes the modeling of expressions to facilitate model verification and an easy interpretation of Grafcet events and time constraints. Transformation rules for generation of C-programmable microcontroller code are then presented. As application, we present a platform based on Eclipse EMF, Object Constraint Language (OCL) and Acceleo code generation engine. Le Grafcet est un puissant langage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événements discrets. Il prend en compte des structures hiérarchiques ainsi que des contraintes structurelles et sémantiques.Ici, nous proposons d'utiliser un modèle de spécification Grafcet dans une approche d'ingénierie dirigée par les modèles (IDM) pour la synthèse multi-cible de systèmes de contrôle commande embarqués basés sur des microcontrôleurs.Dans cette approche, un métamodèle Grafcet est associé à un métamodèle microcontrôleur, lequel caractérise les fonctionnalités de la plateforme spécifique microcontrôleur à considéerer lors de la génération de code.Ce métamodèle Grafcet proposé prend en compte la modélisation des expressions pour faciliter la vérification du modèle et une interprétation facile des événements Grafcet ainsi que des contraintes de temps. Les règles de transformation utiles à la génération de code pour des microcontrôleurs C-programmables sont ensuite présentées.Comme application, nous présentons une plateforme basée sur Eclipse EMF, Object Constraint Language (OCL) et le moteur de génération de code Acceleo.
