![]() |
![]() |
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.