Architecture Système Stage Automatisation de la Validation d'Exigences Système Via IA - Llm H/F

Les systèmes de navigation développés par Safran Electronics & Defense constituent des équipements critiques permettant la détermination en temps réel de la position, de la vitesse et de l'attitude de porteurs civils et militaires (terrestres, marins, aériens, spatiaux). Ces systèmes reposent notamment sur les technologies suivantes : capteurs inertiels, récepteurs GNSS et des architectures hybrides combinant plusieurs sources de données.

La définition des exigences système est une étape fondamentale, dont la validation (vérification de la clarté, de la non-contradiction, de la testabilité...) est obligatoire, rigoureuse et suit des normes stirctes.

Actuellement, cette validation repose sur une analyse humaine basée sur une checklist exhaustive. Ce processus, bien qu'efficace, est chronophage. L'objectif de ce stage est de développer un outil d'aide à la validation basé sur l'Intelligence Artificielle Générative (LLM) pour automatiser le premier niveau de revue des exigences.
Sous la supervision d'un Ingénieur Système Architecture, vous serez chargé(e) de concevoir et de qualifier un prototype d'outil d'analyse automatique d'exigences. Vos missions se décomposeront en quatre phases :

1. Étude et Spécification (Analyse)
- Analyser la checklist de validation actuelle.
- Définir les items prioritaires (quels sont les items de la checklist qui sont le plus susceptibles d'être automatisables) (à faire avec le tuteur).
- Rédiger la spécification fonctionnelle de l'outil.

2. Développement de la Solution IA (Implémentation)
- Récuperer un LLM (Large Language Model) fonctionnel, interne à Safran.
- Implémenter une stratégie de RAG (Retrieval Augmented Generation) pour permettre au modèle de s'appuyer sur le référentiel normatif et technique de Safran (et du produit plus particulièrement).
- Optimiser le "Prompt Engineering" pour garantir des réponses structurées et justifiées (l'IA doit expliquer pourquoi une exigence est invalidée).
- La solution (idéalement développée sous Python) devra particulièrement déterminer les inputs et outputs de chaque exigence. Elle devra aussi s'assurer de la bonne spécification des flux.

3. Qualification et Validation de l'Outil
- L'outil étant utilisé pour un système critique, sa fiabilité doit être prouvée.
- Constituer un jeu de données de test (exigences "correctes" vs exigences "erronées").
- Rédiger un Plan de Test et exécuter les campagnes de validation (mesure de la précision, du rappel et du taux de faux positifs).

4. Déploiement et Documentation
- Créer une interface utilisateur simple (type application interne).
- Rédiger le guide d'utilisation et le rapport de qualification final.