Vérification et validation de logiciels de contrôle-commande de sûreté pour les EPR

Contexte et objectifs

Au sein du service d’études pour les EPR de plusieurs sites français, l’activité de MCA Groupe intervient via une équipe de 10 personnes sur la vérification et la validation de logiciels de contrôle-commande de sûreté.

Réalisations/Activités

• Validation Fonctionnelle (tests F)
  ˃ F-1 : Validation des modules I&C « unitaires » :
  • Modélisation indépendante, réalisée par l’équipe V&V sur la base des même exigences fonctionnelles que celles utilisé par les équipes de développement,
  • Identification et création des scénarios de test,
  • Résultats obtenus par simulation des scénarios de test comparés aux résultats obtenus par simulation sur le système réel (TXS),
  • Analyse des différences,
  • Exigences de couverture réalisée par les tests pour les systèmes F1A (Système de protection),
   ˃ F-2 : validation des fonctions I&C (intégration des modules),
   ˃ F-3 : validation des réponses du système en condition de fonctionnement dégradé,  Validation Technologique (test T)
  ˃ T-5 : test de performance :
  • Charge CPU,
  • Temps de réponse des fonctions I&C,
  • Temps de réponse des contrôles manuels et affichages,
  ˃ T-6-S : validation des fonctions de maintenance via l’utilisation du Service Unit (système de maintenance).

Livrables/Résultats

• Transformation d’une prestation de type assistance technique en centre de service,
• Toutes les études sont chiffrées et réalisées au forfait.