• 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

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érer 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.