Nucléaire
CEA / COGEMA / EDF / FRAMATOME / IPSN
Analyses de sûreté de logiciels critiques de contrôle-commande nucléaire de classe E1A à l'aide de l'outil AGFL®.
Évaluation de la couverture des tests de logiciels de contrôle-commande nucléaire de classe E1A à l'aide de l'outil AGFL®.
Définition et mise en place de l'organisation, les méthodes et outils de l'équipe d'évaluation de la SdF du logiciel.
Licence d'utilisation de l'outil AGFL®.
Analyse d'impact des modifications de logiciels de sûreté nucléaire de classe E1B.
Étude normative pour la détermination des exigences de sûreté à exprimer au Cahier des Charges (SNCC).
Assistance à la rédaction de clauses techniques de Sûreté de Fonctionnement des logiciels de SNCC,
Assistance au dépouillement d'Appel d'Offres,
revues critiques de documents constructeurs.
Tests de validation de logiciels de gestion de l'énergie à l'aide de l'outil AGFL® (tests par classe d'équivalence).
