Skip to Main content Skip to Navigation

Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA

Xin An 1 Eric Rutten 1 Jean-Philippe Diguet 2 Nicolas Le Griguer 2 Abdoulaye Gamatié 3 
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This paper targets the autonomic management of dynamically partially reconfigurable hardware architectures based on FPGAs. Such hardware-level autonomic computing has been less often studied than at software-level. We consider control techniques to model the considered behaviours of the computing system and derive a controller for the control objective enforcement. Discrete Control modelled with Labelled Transition Systems is employed in this paper. Such models are amenable to Discrete Controller Synthesis algorithms that can automatically generate a controller enforcing the correct behaviours of a controlled system. A general modelling framework is proposed for the control of FPGA based computing systems. We consider system application described as task graphs and FPGA as a set of reconfigurable areas that can be dynamically partially reconfigured to execute tasks. We encode the computation of an autonomic manager as a DCS problem w.r.t. multiple constraints and objectives e.g., mutual exclusion of resource uses, power cost minimization. We validate our models and manager computations by using the BZR language and an experimental demonstrator implemented on a Xilinx FPGA platform.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Xin An Connect in order to contact the contributor
Submitted on : Friday, October 11, 2013 - 3:05:26 PM
Last modification on : Friday, August 5, 2022 - 10:32:13 AM
Long-term archiving on: : Friday, April 7, 2017 - 9:59:03 AM


Files produced by the author(s)


  • HAL Id : hal-00824225, version 3


Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA. [Research Report] RR-8308, INRIA. 2013. ⟨hal-00824225v3⟩



Record views


Files downloads