Sopragroup - AIRBUS (Toulouse, 31) : « Relecture de code, vérification de la couverture des exigences »
Dans le cadre de la certification du calculateur SEC 380 (calculateur secondaire de l'A380) :
Vérification de la couverture des exigences de la spécification, conception dynamique et statique de la fonction AUTOTEST du calculateur de vol « SEC A380 »