Designing formal reconfiguration control using UML/MARTE - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Designing formal reconfiguration control using UML/MARTE

Résumé

This paper presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a Model Driven Engineering methodology base on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights (control part) - ensured statically and fulfilled by the managed system at runtime - and soft constraints (decision part) which, given a set of correct and accessible configurations, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations.
Fichier non déposé

Dates et versions

hal-00747716 , version 1 (01-11-2012)

Identifiants

  • HAL Id : hal-00747716 , version 1

Citer

Sébastien Guillet, Nicolas Le Griguer, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet. Designing formal reconfiguration control using UML/MARTE. 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom. ⟨hal-00747716⟩
191 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More