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 :
Le modèle de placement de Gaspard2 se base sur le profil standard MARTE, en particulier ses paquetages allocation et modélisation de structures répétitives. Il permet le placement des tâches, des données et des dépendances de données sur des ressources de calcul, de stockage et de communication. Le métamodèle permet de décrire avec souplesse une grande variété de placements (distribution spatiale et ordonnancement temporel) mais parmi tous ceux qui sont exprimables, l'immense majorité ne conduit pas à des spécifications exécutables car incohérents ou non complètement spécifiés.
Le but de ce stage est de proposer une méthodologie de construction de placements cohérents et complets s'appuyants sur le métamodèle existant. On s'intéressera en particulier à la gestion de la hiérarchie et de la distribution répétitive. Cette méthodologie s'appuiera sur un outil (sous la forme d'un plugin eclipse pour Gaspard2) qui vérifiera cette cohérence et cette complétude. Une fois un placement validé, l'utilisateur devrait pouvoir demander la génération automatique d'un code de simulation exécutable.
Ces travaux pourront se poursuivre dans le cadre d'une thèse où on s'intéressera à la production automatisée de bons placements cohérents et complets gràce à des heuristiques multi-objectives.