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.
Stéphane Ducasse
Complétion de code pour les grands projets et les petits langages
Réduire le coût du debugging avec la première génération de debuggers orientés objet
Génération Automatique de Tests basée sur l'Apprentissage Automatique
Echo-Debugging : méthodes et outils pour identifier et comprendre les bogues des logiciels
Profileurs pour des logiciels plus frugaux
DSL et cartes scriptables pour la cartographie de système patrimoniaux
Une Approche Dénérative de la Construction de Machines Virtuelles
Migration de Fortran77/Esope vers Fortran2003
Dépendances Externes dans les Programmes : Spécification, Détection et Inexactitudes 06/12/2024
Reflection analysis and first steps toward its controls 07/11/2024
Vues à Vol d'Oiseau sur les Systèmes Orientés-Objet 12/12/2023
Une approche de débogage interactive basée sur des time-traveling queries 21/11/2023
Une approche holistique pour la migration des systèmes légataires industriels. 17/05/2023