Stage - Développement d’agents IA pour la Vérification et Validation de logiciels critiques - Industrie - Toulouse

Nous recrutons un(e) Stage - Développement d'agent IA pour la vérification et validation de logiciels critiques pour rejoindre notre Business Unit INDUSTRIE au sein de l’agence Systèmes Embarqués Industriels et Cybersécurisés. Le Pôle de compétence SEIC contribue au développement de systèmes embarqués et industriels à fortes contraintes temps réel et de sûreté de fonctionnement ainsi qu’à leur mise en œuvre opérationnelle intégrant les concepts de sécurité.

Contexte et objectifs

Dans la continuité des travaux de CS GROUP sur l’intégration de méthodes d’IA dans les projets critiques et certifiables, ce stage vise à étudier et développer un framework permettant d’assister et d’orchestrer des workflows métier de Vérification & Validation (V&V;) appliqués à des projets DO-178C.

L’objectif sera de formaliser différents scénarios de V&V; sous forme de workflows déterministes et traçables, puis d’étudier l’intégration de harnais agentiques capables de déléguer certaines tâches à des agents spécialisés utilisant notamment des LLM, du RAG et des outils métier. Une attention particulière sera portée à la structuration des données échangées entre agents, aux règles de délégation, aux boucles de contrôle et à la conservation des éléments de preuve nécessaires aux activités de V&V.;

Vos missions : 

1. Formaliser les workflows métier et les scénarios V&V; DO-178C

Analyser les activités de spécification, revue, vérification, test, traçabilité et couverture afin de les formaliser les workflows explicites (étapes, rôles, entrées/sorties, règles métier, critères d’acceptation et points de contrôle). Identifier pour chaque scénario les tâches déterministes et celles pouvant être assistées par l’IA ou une validation humaine.

2. Définir l’architecture du harnais agentique et les mécanismes de délégation

Concevoir une architecture d’orchestration permettant de décomposer un workflow métier en tâches spécialisées et de les déléguer à différents agents, outils ou fonctions déterministes. Définir les règles de déclenchement, de délégation, d’escalade, de validation et de terminaison des boucles agentiques.

3. Structurer les données et le contexte manipulés par les agents

Définir des structures de données intermédiaires, typées et traçables permettant aux agents de manipuler exigences, spécifications, tests, résultats, éléments de couverture, preuves et relations de traçabilité. Mettre en place une représentation de l’état du workflow permettant de conserver le contexte, l’historique des décisions, les artefacts produits et les éléments nécessaires aux itérations successives des agents.

4. Mettre en place les mécanismes de contrôle et de vérification des boucles agentiques

Définir des garde-fous déterministes permettant de vérifier les entrées et sorties des agents avant le passage d’une étape du workflow à la suivante : validation de schémas, règles de cohérence, complétude des données, contrôle de traçabilité et mécanismes de reprise en cas d’échec.

5. Évaluer la robustesse, la traçabilité et l’apport de l’orchestration agentique

Définir un protocole d’expérimentation permettant d’évaluer les workflows selon des métriques de précision, complétude, reproductibilité, traçabilité, taux d’intervention humaine, taux d’échec/récupération des agents et réduction de l’effort V&V.; Comparer plusieurs stratégies de délégation et d’orchestration afin d’identifier les architectures adaptées à un contexte de développement de logiciel critique.

Department: Engineering, Development, Applications
Function: Information Technology
Experience Level: Internship