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