Informations générales
Entité de rattachement
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
SL-DRT-24-0558
Direction
DRT
Description du sujet de thèse
Domaine
Défis technologiques
Sujets de thèse
Completion de code outillé et supportée par des patterns de conceptions
Contrat
Thèse
Description de l'offre
L'IA générative et les grands modèles de langage (LLM), tels que Copilot et ChatGPT, peuvent compléter le code basé sur des fragments initiaux écrits par un développeur. Ils sont intégrés dans des environnements de développement logiciel tels que le VS code. De nombreux articles analysent les avantages et les limites de ces approches pour la génération de code, le code produit est souvent correct et les résultats sont de mieux en mieux.
Cependant, une quantité étonnamment faible de travaux ont été effectuées dans le contexte des modèles logiciels (par exemple basés sur UML). Des articles ont conclu que si les performances des LLM actuels pour la modélisation logicielle sont encore limitées (contrairement à la génération de code), il est nécessaire (contrairement à la génération de code) d'adapter nos pratiques d'ingénierie basées sur des modèles à ces nouveaux assistants. et les intégrer dans les méthodes et outils MBSE.
L'intégration des design-patterns est une partie complémentaire de ce travail. Le terme pattern de conception a été adopté dans le domaine logiciel pour capturer une solution éprouvée pour un problème donné avec ses avantages et ses inconvénients. Un peu plus tard, le terme anti-pattern a été proposé pour identifier les modèles qui sont connus pour ne pas fonctionner ou qui présentent de graves inconvénients. Ainsi, lors de la proposition d'une complétion, l'assistant pourrait explicitement référencer un modèle de conception existant avec ses implications. La proposition d'achèvement peut être basée soit sur des fragments de modèle identifiés (y compris des exigences modélisées), soit sur une sélection de modèle explicite.
Cette thèse explorera l'état de l'art de la complétion de modèles avec l'IA et les modèles de pattern et le support des outils associés. Jusqu'à présent, peu de travaux sont disponibles sur la formalisation des patrons et leur utilisation dans les outils de modélisation. Elle proposera d'identifier l'intention des dévéloppeurs, à partir de modèles partiels. La tâche pourrait être basée sur des règles, mais devrait également explorer des approches d'apprentissage automatique. Mettre en œuvre une proposition de réalisation dans le cadre d'un outil de conception, notamment Papyrus SW designer. La solution sera évaluée.
Université / école doctorale
Sciences et Technologies de l’Information et de la Communication (STIC)
Paris-Saclay
Localisation du sujet de thèse
Site
Saclay
Critères candidat
Formation recommandée
Master 2
Demandeur
Disponibilité du poste
01/09/2024
Personne à contacter par le candidat
RADERMACHER Ansgar ansgar.radermacher@cea.fr
CEA
DRT/DILS//LSEA
CEA/Saclay
01 69 08 38 12
Tuteur / Responsable de thèse
MRAIDHA Chokri chokri.mraidha@cea.fr
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
0169084889
En savoir plus