GL : Génie Logiciel

Équipe EVREF

Reflective Evolution of Ever-running Software Systems

Responsable: Stéphane Ducasse

PRÉSENTATION MEMBRES THÈSES PUBLICATIONS

Présentation

L’évolution des grands systèmes logiciels est un défi.

Maintenir les systèmes existants actifs et pertinents reste une tâche vraiment complexe. Le fait que certains de ces systèmes ne s’arrêtent jamais (lignes de production, systèmes de production de gaufrettes (wafer), etc.) ou que leurs mises à jour aient lieu pendant qu’ils fonctionnent sur les sites de production constitue une difficulté supplémentaire. En outre, l’environnement de production n’étant pas le même que l’environnement de développement, le seul moyen de repérer et de corriger un bogue est souvent d’accéder directement au logiciel en production, en cours d’exécution. Soutenir l’évolution de ces systèmes en fonctionnement permanent est un défi important pour notre industrie, car elle doit faire face à des exigences de plus en plus changeantes et à la nécessité d’une adaptation dynamique.

Les objectifs d’EVREF sont d’étudier et de soutenir l’évolution continue des grands systèmes logiciels d’une manière holistique en suivant trois axes principaux : (1) analyses et approches pour la migration et l’évolution des systèmes existants (legacy), (2) nouveaux outils pour soutenir l’évolution quotidienne, et (3) infrastructure pour construire des langages facilitant l’évolution des logiciels, la construction de nouveaux outils, le support des systèmes frugaux, et la prise en compte des caractéristiques de sécurité des langages.

Dans le contexte du premier axe, EVREF propose un programme de recherche spécifique avec Berger-Levrault R&D.

Membres

Permanents

Omar Abedelkader

Complétion de code pour les grands projets et les petits langages

Valentin Bourcier

Réduire le coût du debugging avec la première génération de debuggers orientés objet

Gabriel Darbord

Génération Automatique de Tests basée sur l'Apprentissage Automatique

Aless Hosry

Transformations des modèles pour modification automatique du code source

Sebastian Jordan Montano

Profileurs pour des logiciels plus frugaux

Soufyane Labsari

DSL et cartes scriptables pour la cartographie de système patrimoniaux

Nahuel Palumbo

Une Approche Dénérative de la Construction de Machines Virtuelles

Younoussa Sow

Migration de Fortran77/Esope vers Fortran2003

Iona Thomas

Plateforme et langage pour des données privées traçables et révocables

Les autres équipes du groupe thématique ' GL '

CARBON Spirals