• 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.