Skip to Main content Skip to Navigation
Reports

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
2 Lab-STICC_UBS_CACS_MOCS
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

https://hal.inria.fr/hal-00824225
Contributor : Xin An <>
Submitted on : Friday, October 11, 2013 - 3:05:26 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:22 PM
Long-term archiving on: : Friday, April 7, 2017 - 9:59:03 AM

File

RR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00824225, version 3

Citation

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⟩

Share

Metrics

Record views

3067

Files downloads

1115