Sujet de thèse: Programmation matériel générative
Directeurs de thèse : Laurent Réveillère, David Bromberg, Serge Chaumette
Courriels : {reveillere, bromberg, chaumette}@labri.fr
Équipe: Langages, Systèmes et Réseaux
Description synthétique du sujet
La thèse proposée vise à définir une approche générative pour les architectures matérielles programmables. Plus spécifiquement, il s'agit de produire, à partir d'une spécification haut niveau des besoins des applications devant être déployées, une configuration matérielle particulière et le support logiciel associé permettant de prendre en charge cette configuration. En outre, l'approche proposée prendra en compte les besoins d'adaptation des applications aux variations de leur environnement et la nécessité de reconfigurer dynamiquement toute ou partie du matériel et du logiciel.
Description détaillée du sujet:
Les architectures matérielles programmables, telles
que la radio logicielle, occupent aujourd'hui une place de plus en plus
stratégique dans les systèmes embarqués. Elles permettent d'adapter le matériel
en fonction des besoins et contraintes de l'environnement. Toutefois, la
définition d'une configuration matérielle spécifique est un processus
fastidieux et source d'erreurs.
La thèse proposée vise à définir une approche générative pour les architectures
matérielles programmables. Plus spécifiquement, il s'agit de produire, à partir
d'une spécification de haut niveau des besoins des applications devant être
déployées, une configuration matérielle particulière et le support logiciel
permettant de prendre en charge cette configuration. En outre, l'approche proposée
prendra en compte les besoins d'adaptations des applications à leur
environnement et la nécessité de reconfigurer dynamiquement toute ou partie du
matériel et du logiciel.
État de l’art
À notre connaissance, il n’existe pas d’approche permettant de prendre totalement en compte la génération automatique de composants matériels et logiciels à partir de spécifications de haut niveau.
Résultats attendus
Les résultats que nous entendons obtenir dans ce projet sont les suivants :
1. Un cahier des charges des besoins pour une application particulière (informatique ubiquitaire par exemple) ;
2. Une validation expérimentale des outils de génération et une étude comparative avec d’autres approches.
Verrous à lever
Références
Domain-Specific Program Generation, Editor : Christian Lengauer and Don Batory and Charles Consel and Martin Odersky, Lecture Notes in Computer Science, Springer-Verlag, Vol 3016, 2004
P. Costa, G. Coulson, C. Mascolo, L. Mottola, G. P. Picco, S. Zachariadis. “A Reconfigurable Component-based Middleware for networked Embedded Systems”. International Journal of Wireless Information Networks. 14(2):149--162, June 2007. Springer.
P. Garcia, K. Compton, M. Schulte, E. Blem, W. Fu. An Overview of Reconfigurable Hardware in Embedded Systems. In Eurasip Journal of Embedded System, from Hindawi Publishing Corporation, vol. 2006, Article ID 56320, 19 pages, 2006. doi:10.1155/ES/2006/56320