Skip to Main content Skip to Navigation
Theses

Rigorous Design Flow for Programming Manycore Platforms

Résumé : L'objectif du travail présenté dans cette thèse est de répondre à un verrou fondamental, qui est «comment programmer d'une manière rigoureuse et efficace des applications embarquées sur des plateformes multi-coeurs?». Cette problématique pose plusieurs défis: 1) le développement d'une approche rigoureuse basée sur les modèles pour pouvoir garantir la correction; 2) le « mariage » entre modèle physique et modèle de calcul, c'est-à-dire, l'intégration du fonctionnel et non-fonctionnel; 3) l'adaptabilité. Pour s'attaquer à ces défis, nous avons développé un flot de conception rigoureux autour du langage BIP. Ce flot de conception permet l'exploration de l'espace de conception, le traitement à diffèrent niveaux d'abstraction à la fois pour la plate-forme et l'application, la génération du code et le déploiement sur des plates-formes multi-cœurs. La méthode utilisée s'appuie sur des transformations source-vers-source des modèles BIP. Ces transformations sont correctes-par-construction. Nous illustrons ce flot de conception avec la modélisation et le déploiement de plusieurs applications sur deux plates-formes différentes. La première plate-forme considérée est MPARM, une plate-forme virtuelle, basée sur des processeurs ARM et structurée avec des clusters, où chacun contient plusieurs cœurs. Pour cette plate-forme, nous avons considérée les applications suivantes: la factorisation de Cholesky, le décodage MPEG-2, le décodage MJPEG, la Transformée de Fourier Rapide et un algorithme de demosaicing. La seconde plate-forme est P2012/STHORM, une plate-forme multi-cœur, basée sur plusieurs clusters capable d'une gestion énergétique efficace. L'application considérée sur P2012/STHORM est l'algorithme HMAX. Les résultats expérimentaux montrent l'intérêt du flot de conception, notamment l'analyse rapide des performances ainsi que la modélisation au niveau du système, la génération de code et le déploiement.
Document type :
Theses
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01135186
Contributor : Abes Star :  Contact
Submitted on : Tuesday, March 24, 2015 - 7:32:06 PM
Last modification on : Friday, July 17, 2020 - 11:48:06 AM
Document(s) archivé(s) le : Thursday, July 2, 2015 - 6:16:20 AM

File

30276_BOURGOS_2013_archivage.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01135186, version 1

Collections

Citation

Paraskevas Bourgos. Rigorous Design Flow for Programming Manycore Platforms. Other [cs.OH]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM012⟩. ⟨tel-01135186⟩

Share

Metrics

Record views

642

Files downloads

419