activités de recherche
- traitement intensif de signal, spécification multidimensionnel, modèles de calcul
- systèmes embarqués, codesign, ingénierie dirigée par les modèles (IDM)
- optimisations de haut-niveau, parallélisme de données
- architectures des ordinateurs, conception système, validation, vérification
- langages synchrones, modèle de temps, contraintes temporelles
Sujet de la thèse : Optimisation des applications de traitement systématique intensives sur System-on-Chips
Afin de faciliter la conception des applications de traitement systématique intensives, nous proposons
un formalisme de spécification multidimensionnel. Le concepteur de l’algorithme manipule alors directement
les tableaux de données sans se soucier de leur représentation mémoire. Pour permettre l’optimisation
nécessaire de ces applications, nous avons proposé une boîte à outils de transformation de code. Ces
transformations proposent dans un contexte multidimensionnel une palette d’outils similaire aux transformations
de boucles usuelles. Un des buts de la thèse est de proposer des heuristiques d’enchaînement de ces transformations
de code afin de permettre un placement et un ordonnancement efficace d’une application sur une architecture mono
pouce distribuée et comprenant des unités d’exécution parallèles.
Array-OL (Array Oriented Language - langage orienté tableau en français) est un langage mixte visuel textuel
conçu pour la manipulation des structures des données multidimensionnelles qui vise exprimer maximum de parallélisme
dans une application. Le langage est complètement compatible avec le standard OMG MARTE
(le package Repetitive Structure
Modeling). Le modèle de spécification Array-OL permet la spécification des accès multidimensionnels aux données sans
compromettre l'utilisabilité du langage et permettant l'ordonnancement statique de ces applications sur des plateformes
matérielles parallèles. Pendant la thèse nous avons travaillé aussi sur l'extension du langage en ajoutant du support pour
la modélisation des dépendances uniformes inter-répétitions et d'intégrer cette extension dans
Gaspard2 framework.
projects
- Participation au projet Ter@ops