Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform

Tian Xia 1, * Jean-Christophe Prévotet 1 Fabienne Nouvel 1
* Corresponding author
1 IETR - Institut d'Electronique et de Télécommunications de Rennes
Abstract : This paper describes the first implementation of a custom micro-kernel on a ARM-FPGA platform capable of manag-ing reconfigurable hardware parts dynamically. After de-scribing the structure of the proposed micro-kernel, we will focus on a custom specific system task dealing with the re-configuration management, which is associated to a dedi-cated scheduling mechanism. We will describe the hardware platform on which the microkernel has been ported and pro-vide a use case application in order to demonstrate the fea-sibility of the approach. At the end of this paper, we will provide quantitative results in terms of reconfiguration over-head and microkernel timing performances.
Keywords : Embedded Sys-tem Reconfigurable Architectures Microkernel FPGA Real-Time Systems
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download
https://hal-insa-rennes.archives-ouvertes.fr/hal-01113215
Contributor : Tian Xia <>
Submitted on : Wednesday, February 4, 2015 - 5:17:26 PM
Last modification on : Wednesday, June 26, 2019 - 9:34:05 AM
Long-term archiving on : Tuesday, May 5, 2015 - 11:00:53 AM

File

Microkernel Dedicated for Dyna...
Files produced by the author(s)

Licence

Public Domain

Identifiers

Collections

INSA-RENNES | UNIV-NANTES | UNIV-RENNES1 | IETR | SUP_IETR | IETR-INSA | UR1-UFR-ISTIC | IETR-SYSCOM | UNIV-RENNES | INSA-GROUPE

Citation

Tian Xia, Jean-Christophe Prévotet, Fabienne Nouvel. Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform. The 4th Embedded Operating Systems Workshop (EWiLi'14), Nov 2014, Lisbon, Portugal. pp.31 - 36, ⟨10.1145/2724942.2724947⟩. ⟨hal-01113215⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

696

Files downloads

391

Contact

CCSD