Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller

Sébastien Guillet 1, * Florent De Lamotte 1 Nicolas Le Griguer 1 Éric Rutten 2 Jean-Philippe Diguet 1 Guy Gogniat 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 a framework to integrate the formal synthesis of a reconfiguration controller into a Model Driven Engineering methodology used for reliable design of reconfigurable architectures. This methodology is based on an extension of UML/MARTE, GASPARD, and the aforementioned controller is obtained as a C code through a formal technique named Discrete Controller Synthesis. Taking advantage of using both modeling and synthesis techniques, the approach demonstrates an effective reduction of complexity in the specification of such reconfigurable systems. An application model of an image processing application is presented as a case study.
Type de document :
Communication dans un congrès
International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway. 2012
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-00747718, version 1

Citation

Sébastien Guillet, Florent De Lamotte, Nicolas Le Griguer, Éric Rutten, Jean-Philippe Diguet, et al.. Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller. International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway. 2012. <hal-00747718>

Partager

Métriques

Consultations de la notice

857