Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller

Sébastien Guillet (1) , Florent de Lamotte (1) , Nicolas Le Griguer (1) , Eric Rutten (2) , Jean-Philippe Diguet (1) , Guy Gogniat (1)

1 Lab-STICC_UBS_CACS_MOCS
2 SARDES - System architecture for reflective distributed computing environments

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.

Domaines: Architectures Matérielles [cs.AR]

Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric 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. ⟨hal-00747718⟩