Le GDR RADIA et le groupe de travail Ingénierie des Exigences (IE) du GDR GPL se sont associés pour proposer une journée d’étude commune le 21 novembre 2024 au LIP6 à Paris.
Les exposés ont été centrés sur des travaux relevant à la fois des thématiques IA et IE, comme par exemple l’IE pour l’IA (l’IE pour une IA de confiance, comment définir le quoi, pour qui, comment lors de la conception d’un système IA, …), l’IA pour l’IE (comment l’IA peut aider à exprimer, analyser, vérifier des exigences, … )
Les exposés sont accessibles ci-dessous :
- Grégoire MENGUY (CEA) : Black-box Precondition Inference through Constraint Acquisition
- Filipo Peroto (ONERA) : DeepGreen en projet pour embarquer et certifier de l’IA dans le cadre aéronautique.
- Abdelkarim El Hajjami (Doctorant en informatique, Université Paris 1 Panthéon-Sorbonne) : Évaluation Comparée des Techniques d’IA pour la Classification des Exigences : Support Vector Machines (SVM), Long Short-Term Memory (LSTM) et GPT.
- Thuy Nguyễn (EDF) : La formalisation automatique des exigences en langage naturel est-elle possible ?
- Antoine Guiziou (Doctorant en droit privé, Université Paris 1 Panthéon-Sorbonne) : Deadbots vs Griefbots : Enjeux conceptuels, techniques et juridiques pour l’ingénierie des exigences en IA
- Julien Girard (CEA) : Spécifier et vérifier des propriétés de sûreté sur de l’IA
