Pierre.Boulet@lifl.fr
Le projet DaRT s'intéresse à la conception de systèmes embarqués par une approche d'ingénierie dirigée par les modèles. Dans le cadre plus précis des systèmes sur puce, l'environnement Gaspard2 développé par l'équipe permet la modélisation, la simulation, le test et la génération d'applications placées sur des architectures matérielles. Gaspard2 est un environnement unifié permettant le co-design de systèmes sur puce, c'est-à-dire :
La version 1.0.0 de Gaspard2 permet la compilation et la génération de code (Fortran OpenMP, SystemC, VHDL) pour des architectures à mémoire partagée. Les cibles de Gaspard2 sont donc limitées. En particulier de nombreuses architectures distribuées à hautes performances ne sont pas disponibles, en particulier les grilles.
Le travail consistera donc à étendre la chaîne de compilation actuelle pour supporter les architectures à mémoire distribuée. Il s'agira donc de définir les métamodèles intermédiaires et les transformations de modèles nécessaires à la compilation. L'objectif du stage sera limité à la cible MPI/Fortran.
Les outils logiciels à utiliser sont Java, Eclipse et son plugin EMF, et les outils d'ingénierie dirigée par les modèles internes à Gaspard.
Ce stage sera rémunéré environ 2400 euros. Une poursuite en thèse pourra être envisagée pour prolonger le travail vers des architectures où le placement mémoire est explicite comme SystemC. Un CDD d'ingénieur est également envisageable.