Atomenergie – Verifizierung und Validierung von Sicherheitsüberwachungs- und Steuerungssoftware für EPR-Reaktoren

Kontext und Ziele des Projekts

Im Rahmen der Studien für die EPR-Reaktoren mehrerer französischer Standorte ist ein 10-köpfiges MCA-Servicezentrum für die Verifizierung und Validierung der Sicherheitsüberwachungs- und Steuerungssoftware zuständig.

Umsetzung/Aktivitäten

• Funktionale Validierung (F-Tests)
  ˃ F-1: Validierung der einheitlichen MSR-Module:
  • Unabhängige Modellierung, die vom V&V-Team auf der Grundlage derselben funktionalen Anforderungen durchgeführt wird, wie sie von den Entwicklungsteams verwendet werden,
  • Ermittlung und Erstellung von Testszenarien,
  • Ergebnisse aus der Simulation von Testszenarien im Vergleich zu den Ergebnissen, die durch Simulation auf dem realen System (TXS) erzielt wurden,
  • Analyse der Unterschiede,
  • Umsetzung der Anforderungen in Bezug auf die Reichweite durch Tests für F1A-Systeme (Schutzsystem),
   ˃ F-2: Validierung der I&C-Funktionen (Integration von Modulen),
   ˃ F-3: Validierung der Systemantworten im Zustand der eingeschränkten Funktion, technologische Validierung (T-Test)
  ˃ T-5: Leistungstest:
  • CPU-Last,
  • Reaktionszeit der MSR-Funktionen
  • Reaktionszeit der manuellen Kontrollen und Anzeigen,
  ˃ T-6-S: Validierung der Wartungsfunktionen über die Service Unit (Wartungssystem).

Deliverables/Ergebnisse

• Veränderung einer Leistung des Typs technische Hilfestellung zum Servicezentrum,
• Alle Studien werden pauschal berechnet und ausgeführt.