Affiche de thèse de Oussama FEKI PDF

Transcription

Affiche de thèse de Oussama FEKI PDF
SOUTENANCE de THESE
OUSSAMA FEKI
13 MAI 2015
10H30
Salle Utique,
Lieu : Hôtel Sol Azur, Hammamet
Contribution à l'Implantation Optimisée d'Estimateurs de
Mouvements de la Norme H264 sur Plates-Formes Multi Composants
par Extension de la Méthodologie AAA
Résumé :
Le problème de l’implantation d’algorithmes temps réel sur des architectures matérielles composées de
composants programmables (processeurs) et reconfigurables (FPGA) est un problème complexe pour lequel il
existe très peu de méthodologies et d’outils d’aide.
La méthodologie Adéquation Algorithme Architecture est une méthodologie, implantée dans l’outil SynDEx
qui adresse le problème d’implantation sur architectures multiprocesseurs uniquement. Elle est basée sur un
formalisme de graphes, des transformations formelles, une heuristique d’optimisation et des règles de
transformation de code qui permettent d’implanter un algorithme temps réel sur une architecture
multiprocesseur. Cette méthodologie a été étendue pour supporter les architectures mono-FPGA et a été
implantée dans le logiciel SynDEX-IC.
Cette thèse présente une extension de la méthodologie Adéquation Algorithme Architecture qui supporte les
architectures mixtes : les architectures composées à la fois de composants programmables (DSP, GPP, GPU),
et de composants reconfigurables (FPGA). Nous présentons donc une extension du modèle d’architecture
AAA, une extension des règles de transformations de graphe, un nouveau modèle de communication ainsi
qu’une nouvelle heuristique de distribution ordonnancement basée en partie sur le couplage des heuristiques
de SynDEx et de SynDEx-IC.
L’ensemble de ce travail a été validé par l’implantation de ces travaux dans le logiciel SynDEx-MiX qui a été
utilisée pour l’implantation de l’estimateur de mouvement H.264/AVC (compression vidéo) sur une
architecture constituée d’un processeur NIOS II Altera connectée à un FPGA Stratix III.
Composition du Jury :
SAMET Mounir
Président
Professeur LETI, Sfax
BEDUI Mohamed Hedi
Examinateur
Professeur, TIM Monastir
BOURENNANE El-Bay
Examinateur
Professeur, Le2i, Dijon
WEBER Serge
Rapporteur
Professeur, IJL, Nancy
MASMOUDI Nouri
Co-directeur de thèse
Professeur, ENIS, Sfax
AKIL Mohamed
Co-directeur de thèse
Professeur, LIGM, UPE, ESIEE, Sagem R&T
GRANDPIERRE Thierry Encadrant de thèse
Professeur associé, LIGM, UPE, ESIEE

Documents pareils