Gérard Nzebop Ndenoka ; Maurice Tchuente ; Emmanuel Simeu ; Valery Monthe - Multi-target synthesis of logic controllers using a MDE approach

arima:14306 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, April 9, 2025, Volume 43 - 2025 - https://doi.org/10.46298/arima.14306
Multi-target synthesis of logic controllers using a MDE approachArticle

Authors: Gérard Nzebop Ndenoka 1,2,3; Maurice Tchuente 4,2,3; Emmanuel Simeu 5,3; Valery Monthe 4

  • 1 Department of Land Surveying, National Advanced School of Public Works
  • 2 Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
  • 3 Unité de modélisation mathématique et informatique des systèmes complexes [Bondy]
  • 4 Département d'Informatique [Yaoundé I]
  • 5 Reliable RF and Mixed-signal Systems

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.


Volume: Volume 43 - 2025
Published on: April 9, 2025
Accepted on: March 25, 2025
Submitted on: September 19, 2024
Keywords: Multi-target synthesis,Logic controllers,GRAFCET,Model Driven Engineering,Model verification,C code generation,[INFO]Computer Science [cs],[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering

Consultation statistics

This page has been seen 52 times.
This article's PDF has been downloaded 25 times.