GL : Génie Logiciel

Équipe SAILS

Software Engineering in the Age of AI: Humans in the Loop, Comprehension, Security and Sustainability

Responsable: Anne Etien

PRÉSENTATION MEMBRES THÈSES PUBLICATIONS

Présentation

L’utilisation généralisée de l’intelligence artificielle (IA) générative a profondément transformé le paysage de l’ingénierie logicielle. L’IA générative est capable de rédiger, de relire, d’expliquer et de faire évoluer le code à un rythme que les développeurs et développeuses ne peuvent plus suivre. Il devient matériellement impossible pour un humain de lire, de réviser et de comprendre la quantité considérable de code généré par l’IA. Les développeurs et développeuses sont toutefois confrontés à de nombreux risques : ils doivent maintenir et garantir un niveau élevé de contrôle sur la qualité et la sécurité du code, adapter et faire évoluer leurs pratiques d’ingénierie logicielle tant au niveau individuel qu’au niveau organisationnel, et éviter de perdre leur expertise en ingénierie logicielle en déléguant trop de tâches aux IA.
L’équipe SAILS s’inscrit dans le domaine du génie logiciel. Nous menons des recherches sur les moyens d’aider les développeurs et développeuses à s’orienter et à maîtriser leur activité d’ingénierie du logiciel en rapide évolution. Notre objectif est de permettre aux développeurs et développeuses (1) d’acquérir une compréhension suffisante des systèmes logiciels intégrant du code généré par l’IA afin de prendre des décisions éclairées en matière de conception et de mise en œuvre ; (2) de garder le contrôle sur les propriétés clés des logiciels, telles que la qualité du code, la fiabilité et la sécurité ; (3) préserver et continuer à développer leur expertise en génie logiciel tout en tirant parti des gains de productivité offerts par l’IA générative ; et (4) mettre en place des solutions de génie logiciel efficaces qui favorisent une collaboration productive entre l’humain et l’IA. Pour ce faire, l’équipe SAILS placera le développeur « augmenté » au cœur de ses recherches, en étudiant comment les développeurs et développeuses adoptent les IA et collaborent avec elles, tout en concevant des outils, des méthodologies et des pratiques qui soutiennent le développement et la maintenance de systèmes logiciels sécurisés et durables.

Membres

Permanents

Non permanents

Nour Ayachi

Le traçage des règles métier dans le code source

Romain Degrave

Génération Automatique de Chaînes d’Attaque pour la Détection et la Prévention des Vulnérabilités Logicielles.

Rémi Dufloer

Echo-Debugging : méthodes et outils pour identifier et comprendre les bogues des logiciels

Soufyane Labsari

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

Marius Mignard

Abstraction d’un profil de machine learning ou comment intégrer de la sémantique dans les analyses statiques

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

CARBON EVREF Spirals