Equipe de recherche ATEAMS

Analyse et Transformation a base des composition fideles des outils

Présentation de l'équipe

Au cours des dernières décennies, l'informatique a fourni de nombreuses intuitions sur la manière d'organiser les logiciels. Grâce à la programmation structurée, de modules, d'objets, de composants et d'agents, de nos jours les systèmes logiciels tendent de plus en plus à évoluer vers des systèmes de systèmes qui se rendent mutuellement service. Chaque système est de taille importante et utilise des technologies qui s'avèrent défectueuses et incompatibles qu'elles soient nouvelles, obsolètes ou standards. Il devient donc urgent et important d'analyser les propriétés de ces logiciels énormes et hétérogènes ; de les transformer et de les « re-factoriser » afin de les maintenir à jour. La construction des outils permettant de réaliser ces objectifs devient de plus en plus difficile et onéreuse dans la mesure où il existe pléthore de langages et de plate- formes technologiques.

Axes de recherche

Le challenge principal de ce projet est de résoudre ce problème en développant (a) des techniques paramétrées selon le langage pour l'analyse et la transformation(b) qui reposent sur des outils et des infrastructures fiables et supportant le passage à l'échelle.. Nous allons utiliser le paradigme service lui-même afin de mieux construire les outils pour l'analyse et la transformation des systèmes (amélioration de la qualité, de la performance, et de la flexibilité). A cette fin, nous allons étudier l'extraction de faits (extraction d'informations du logiciel existant), la transformation et la « re-factorisation » (pour les améliorer), et enfin les intergiciels fiables pour qu'ils deviennent des outils de composition fondamentale.

Relations industrielles et internationales

Ce projet a permis de développer de nombreuses collaborations notamment avec les Universités de Delft, Eindhoven, Londres, et Swansea, ainsi que des coopérations industrielles avec entre autre ASML, IBM Research, Lucent Bell Labs, Philips Medical Systems, Software Improvement Group.

Mots-clés : Génie logiciel Analysis de logiciel Transformation de logiciel Composition des outils

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social