Pierre Boulet, professeur au LIFL et à l'INRIA Lille - Nord Europe
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 :
Les chaînes de transformations de modèles fonctionnent sur des modèles comprenant des répétitions purement data parallèles. Une évolution du modèle de spécification propose une notation de dépendances inter-répétition permettant de modéliser des applications ayant un contrôle plus complexe avec par exemple des états. Cette évolution a un impact important sur les chaînes de transformation et les méta-modèles intermédiaires actuels. Ce sujet a pour but de définir les modifications à y apporter pour supporter les dépendances inter-répétition.
Le candidat devra étudier les concepts à ajouter/modifier dans les métamodèles utilisés dans la chaîne de génération de code et comment traduire les dépendances inter-répétition dans ces concepts pour pouvoir aller jusqu'à la génération de code.
Les méthodes de compilation de boucles imbriquées à dépendances uniformes (qui correspondent exactement au modèle de spécification considéré) sont bien connues depuis une quinzaine d'années et font appel à des outils de calcul symbolique polyédrique. Le candidat devra se familiariser avec ces outils et faire une étude bibliographique pour choisir la méthode adaptée au contexte de Gaspard2.
Enfin, un prototypage logiciel dans Gaspard2 permettra d'évaluer les propositions du candidat. Les outils logiciels sont Java, Eclispe et ses plugins (EMF, QVTO, ...), des outils de calcul polyédrique comme Cloog ou SPPoC.
Les compétences requises sont une connaissance de l'ingénierie dirigée par les modèles et du parallélisme. Une expérience des architectures matérielles des systèmes embarqués serait un atout supplémentaire.
INRIA Lille - Nord Europe
Pierre.Boulet@lifl.fr