Multi-target synthesis of logic controllers using a MDE approach - Unité de modélisation mathématique et informatique des systèmes complexes
Pré-Publication, Document De Travail (Preprint/Prepublication) Année : 2024

Multi-target synthesis of logic controllers using a MDE approach

Synthèse multi-cible des systèmes de contrôle-commande à l'aide de l'approche IDM

Résumé

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.
Fichier sous embargo
Fichier sous embargo
0 0 9
Année Mois Jours
Avant la publication
dimanche 29 septembre 2024
Fichier sous embargo
dimanche 29 septembre 2024
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04663327 , version 1 (27-07-2024)
hal-04663327 , version 2 (14-09-2024)

Licence

Identifiants

  • HAL Id : hal-04663327 , version 2

Citer

Gérard Nzebop Ndenoka, Maurice Tchuente, Emmanuel Simeu, Valery Monthe. Multi-target synthesis of logic controllers using a MDE approach. 2024. ⟨hal-04663327v2⟩
46 Consultations
23 Téléchargements

Partager

More