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