Formalisation et optimisation d'applications s'exécutant sur architecture reconfigurable

Formalization and optimization of applications implemented onto reconfigurable architecture

• Auteur / Autrice : Linda Kaouane
• Direction : Mohamed Akil
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2004
• Etablissement(s) : Université de Marne-la-Vallée (1991-2019)

Mots clés

Mots clés contrôlés

Temps réel (informatique)

Prototypage rapide

Logiciels -- Développement

Résumé

AAA (Adéquation Algorithme-Architecture) est une méthodologie développée pour le prototypage rapide d'applications dédiées et temps réel. Basée sur un formalisme de graphes et un fot de conception unifié sans rupture, cette méthodologie aide le développeur à implanter et optimiser l'implantation d'algorithmes de traitements de signal et d'image sur des architectures multicomposants en supportant toutes les étapes du développement depuis la spécification algorithmique jusqu'au choix de l'implantation qui respecte les contraintes temps réel et l'exécution du code correspondant dans les composants. Toutefois le flot de l'implantation actuellement supporte par cette méthodologie est limité aux composants cibles de types processeurs. Et comme l'exécution temps réel de nos applications cibles exige souvent une utilisation conjointe de composants processeurs et de composants circuits spécialisés, la contribution de ce travail consiste à étendre la methodologie AAA vers des architectures circuits. Étape jugée indispensable pour utiliser pleinement la méthodologie AAA pour faire la conception conjointe où la cible multiprocesseurs coopère avec une cible câblée. Dans cette thèse, nous nous sommes donc intéressés à l'extension de la méthodologie AAA pour le support des implantations sur de composants circuits reconfigurables. Nous avons défini et formalisé une méthodologie et un flot de prototypage rapide supportant cette extension depuis la spécification algorithmique sous forme de graphe factorisé et conditionné de dépendances de données (GFCDD) jusqu'à la génération du code RTL décrivant l'architecture circuit de l'implantation matérielle. Ce flot a été implanté dans SynDEx-IC, logiciel d'aide au prototypage rapide spécialement développé à partir du noyau de l'environnement SynDEx supportant l'AAA-multiprocesseurs pour supporter cette extension d'AAA

The AAA (Algorithm-Architecture Adequation) is a methodology developed for rapid prototyping of dedicated real-time applications Based upon formal graph model and unified seamless flow, this methodology helps the designer to implement and optimize signal and images processing algorithms onto multicomponent architectures. It supports all the design steps from algorithm specification until the choice of the optimized implementation that satisfy the real-time constraints and code execution on the components. However the flow supported by this methodology is currently limited to multiprocessor componenents. And Since the real-time execution of our applications often demands a joint use of processors components and specialized circuits components, the contribution of this work is to extend the AAA methodology for the use of circuits architectures. Essential step to fully use the AAA methodology to do codesign where the multiprocessors components cooperates with the dedicated ones. In this thesis, we are interested in the extension of the AAA methodology for the support of the implementation onto reconfigurables circuits components. We so defined and formalized a methodology and a design flow of rapid prototyping supporting this extension since the algorithmic specification in term of a factorized and conditioned data dependency graph (GFCDD) to the generation of the RTL code describing the circuit architecture. This flow has been implemented in SynDEx-IC, a CAD software tool, that has been developed from the kernel of the SynDEx environment which support the AAA-multiprocessors