Equipe de recherche COMPOSE

Conception de programmes et systèmes adaptatifs

Présentation de l'équipe

Le projet s'intéresse à la conception de systèmes adaptatifs. Notre démarche consiste à rendre performant un programme générique en le spécialisant en fonction d'un contexte donné d'utilisation. Plus précisément, notre objectif est d'étudier les techniques de spécialisation et leur utilisation pour des applications de taille réelle. En particulier, l'évaluation partielle est à la base de notre approche de conception de programmes et systèmes adaptatifs.

Compose est un projet commun avec le CNRS, l'Université de Bordeaux 1 (dans le cadre du LaBRI, laboratoire de recherche en informatique de Bordeaux) et l'ENSEIRB (école nationale supérieure en électronique, informatique et radiocommunications de Bordeaux). Compose est actuellement rattaché à l'unité de recherche de Rocquencourt.

Axes de recherche

Conception de logiciels adaptatifs. Notre objectif est de développer une méthodologie de conception de logiciels dont la généricité permet de traiter un problème général, et dont l'instanciation permet de se focaliser sur un sous-problème donné. Afin d'atteindre cet objectif, nous explorons des aspects linguistiques pour exprimer les caractéristiques d'un sous-problème. Nous étudions également différents types d'architecture logicielle permettant de rendre explicites les aspects génériques du logiciel.
Principes et techniques. Nous nous proposons d'énoncer les principes sur lesquels repose le processus d'adaptation de programmes. L'étude des aspects fondamentaux de ce processus nous conduit à formaliser certaines de ses phases, telles que des analyses et des transformations de programmes, afin notamment de garantir leur correction. Ce travail nous permet un développement rigoureux de techniques de mise en oeuvre du processus d'adaptation de programmes.
Développement d'outils. Pour compléter notre approche de conception de logiciels adaptatifs nous devons développer des outils permettant de spécialiser un logiciel générique en fonction d'un certain contexte d'utilisation. Nous étudions la conception et la mise en oeuvre pratique d'un système de spécialisation automatique de programmes.
Applications de taille réelle. La validation de notre approche passe inévitablement par son utilisation dans des applications industrielles. Nos outils doivent ainsi traiter des langages de programmation utilisés dans l'industrie tel que C. Nous visons en premier lieu, les domaines des systèmes d'exploitation et des télécommunications dans lesquels nous collaborons déjà avec des industriels, et où des besoins d'adaptabilité ont été clairement identifiés.

Relations industrielles et internationales

Contrats
- France Télécom R&D: adaptation de systèmes réflexifs au moyen de langages dédiés, 3 ans.
- projet RNRT PHENIX: noyau d'infrastructure répartie adaptable, 3 ans.
- projet européen ITEA DESS: méthodologie de développement de logiciels pour les systèmes embarqués, 3 ans.
- projet européen ITEA ESAPS: méthodologie de développement de lignes de produits pour des familles de systèmes, 3 ans.
Collaborations internationales
Nous entretenons des relations étroites avec l'Oregon Graduate Institute à Portland (professeur Jonathan Walpole) et le Georgia Institute of Technology (professeur Calton Pu). Notre collaboration porte plus particulièrement sur l'adaptation de composants pour les systèmes distribués.
Nous travaillons sur le domaine des langages dédiés et de la spécialisation de composants avec Julia Lawall, professeur à l'université de Copenhague (DIKU).