Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform

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.
Type de document :
Communication dans un congrès
The 4th Embedded Operating Systems Workshop (EWiLi'14), Nov 2014, Lisbon, Portugal. 11, pp.31 - 36, 2015, ACM SIGBED Review - Special Issue on the 6th Workshop on Adaptive and Reconfigurable Embedded Systems (EWiLi 2014). 〈10.1145/2724942.2724947〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal-insa-rennes.archives-ouvertes.fr/hal-01113215
Contributeur : Tian Xia <>
Soumis le : mercredi 4 février 2015 - 17:17:26
Dernière modification le : mercredi 25 juillet 2018 - 16:50:03
Document(s) archivé(s) le : mardi 5 mai 2015 - 11:00:53

Fichier

Microkernel Dedicated for Dyna...
Fichiers produits par l'(les) auteur(s)

Licence


Domaine public

Identifiants

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. 11, pp.31 - 36, 2015, ACM SIGBED Review - Special Issue on the 6th Workshop on Adaptive and Reconfigurable Embedded Systems (EWiLi 2014). 〈10.1145/2724942.2724947〉. 〈hal-01113215〉

Partager

Métriques

Consultations de la notice

606

Téléchargements de fichiers

279