Le 01/12/2015 par Lesparre :
Proposition de stage recherche Master 2 : Mapping pour une Application embarquée
Sujet du stage : la conception de systèmes embarqués est un processus complexe compte-tenu du nombre important de contraintes à respecter liées aux applications, au coût de développement et aux contraintes externes. Les systèmes visés sont des architectures multicoeurs. Développer des outils pour la conception pour ces systèmes est un champs de recherche très actif et qui doit s'attaquer à de nombreux défis.
Les "Synchronous DataFlow" (SDF en bref) [1] et leurs extensions sont fréquemment utilisés pour décrire le comportement des applications, notamment dans le domaine du traitement numérique du signal et des images (télécoms, compression vidéo).
Un SDF est un graphe orienté dont les noeuds sont associés à des acteurs (ou tâches) et les arcs représentent des liens de communication (ou buffers). De plus, des poids entiers spécifient la quantité de données produite et consommée par les acteurs à chacune de leurs exécutions.
Le but de ce stage est de développer un algorithme capable de résoudre le problème du placement d'un SDF sur une architecture à mémoire distribuée avec comme objectif la minimisation de la mémoire consommée. L'efficacité de l'algorithme sera testée expérimentalement sur des SDF générés aléatoirement [2] ou de la vie réelle tel que l'encodeur vidéo H264.
Conditions du stage : Ce stage aura lieu au sein du Laboratoire Informatique de Paris 6 (LIP6) situé sur le campus de Jussieu et devrait démarrer au premier semestre 2016. Il sera encadré par Youen Lesparre et donnera lieu à une gratification.
Principales tâches :
- Étude du modèle SDF à l'aide d'articles de la littérature Dataflow.
- État de l'art sur le problème de mapping.
- Identification des algorithmes de partitionnement de graphe adaptés au problème de mapping.
- Implémentation et évaluation des algorithmes jugés pertinents.
- Valorisation des travaux et rédaction du rapport de stage.
Formation : Le candidat doit être en Master 2 (ou équivalent) d'Informatique ou de Mathématiques Appliquées. Des connaissances sérieuses en Algorithmique et/ou en Recherche Opérationnelle seront appréciées.
Contact : Pour toute candidature, envoyer un CV, une lettre de motivation et vos derniers bulletins de notes à youen.lesparre@lip6.fr.
[1] Bruno Bodin, Youen Lesparre, Jean-Marc Delosme, and Alix Munier-Kordon. Fast and efficient dataflow graph generation. In Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, pages 4049. ACM, 2014.
[2] Edward A. Lee and David G. Messerschmitt. Synchronous dataflow. Proceedings of the IEEE, 75(9) :12351245, 1987.
