Emplois, stages

Contexte :

La validation des logiciels de vol spatiaux repose sur des documents de spécification volumineux (SRS), rédigés en langage naturel semi-formalisé, et sur des descriptions d’interfaces et de données définies dans des fichiers XML (type PALISADE). La transformation de ces artefacts en spécifications de validation (SVS), puis en cas de test exécutables, reste aujourd’hui largement manuelle, coûteuse et sujette à interprétation.

Le projet AVALON vise à automatiser cette chaîne de validation en s’appuyant sur des modèles de langage (LLM) orchestrés au sein d’une architecture multi-agent spécialisée.

Le stage se déroulera au sein de l’équipe ELVET (Équipe Logiciels Vol Et Tests) du LIRA (Laboratoire d’Instrumentation et de Recherche en Astrophysique, Observatoire de Paris). L’équipe ELVET est spécialisée dans le développement de logiciels embarqués pour instruments spatiaux scientifiques ainsi que dans la conception de moyens logiciels de test et de validation (simulateurs, bancs de test, outils d’analyse de performances). Elle intervient sur l’ensemble du cycle de vie du logiciel de vol, depuis les études amont et le dimensionnement jusqu’à la validation et l’exploitation.

Objectifs du stage :

Le stage a pour objectif de concevoir et prototyper une chaîne automatisée de validation basée sur des agents LLM, capable de :
– Analyser une SRS et en extraire une représentation structurée des exigences (préconditions, actions, observables, critères de succès).
– Mettre en correspondance ces exigences avec les définitions d’interfaces et de données issues des fichiers PALISADE (paramètres, TC/TM, types, conventions de nommage).
– Générer automatiquement une SVS couvrant les exigences avec une traçabilité explicite requirement ↔ test
– Produire des artefacts de validation exécutables : scripts de test (séquences de commandes, scénarios), fichiers d’assertions vérifiant via la télémétrie l’évolution attendue des paramètres.
– Mettre en place des mécanismes de contrôle qualité (cohérence, complétude, limitation des interprétations non justifiées).

Travail attendu :

– Définition de l’architecture multi-agent (rôles, entrées/sorties, orchestration).
– Conception de schémas de données intermédiaires (JSON/YAML) pour représenter exigences et tests.
– Prototypage d’agents LLM spécialisés (analyse SRS, alignement PALISADE, génération de tests, revue critique).
– Application du prototype sur un cas réel de logiciel de vol ou de sous-ensemble fonctionnel.
– Analyse des gains et limites par rapport à un processus de validation classique.

Livrables :

– Prototype fonctionnel de la chaîne de validation automatisée.
– Documentation de l’architecture et des agents.
– Rapport d’évaluation (qualité, traçabilité, limites, perspectives).

Ce stage s’inscrit à l’interface entre génie logiciel critique et intelligence artificielle, avec des applications directes pour la validation des logiciels spatiaux.

– Génie logiciel, ingénierie des exigences, validation et test.
– Traitement du langage naturel et usage avancé de LLM.
– Architectures multi-agents et automatisation de chaînes outillées.
– Contexte des logiciels embarqués critiques (spatial apprécié).