Designing formal reconfiguration control using UML/MARTE

Sébastien Guillet 1, * Nicolas Le Griguer 1 Éric Rutten 2 Guy Gogniat 1 Jean-Philippe Diguet 1
* Auteur correspondant
1 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Communication dans un congrès
2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom. 2012
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00747716
Contributeur : Jean-Philippe Diguet <>
Soumis le : jeudi 1 novembre 2012 - 12:11:24
Dernière modification le : vendredi 3 juin 2016 - 01:06:26

Identifiants

  • HAL Id : hal-00747716, version 1

Citation

Sébastien Guillet, Nicolas Le Griguer, Éric 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. 2012. 〈hal-00747716〉

Partager

Métriques

Consultations de la notice

878