Systems Engineering approaches for managing the life cycle of I&C systems

  • Pakonen, Antti (Manager)
  • Berger, Josepha (Participant)
  • Karadeniz, Sami (Participant)
  • Vyatkin, Valeiry (Participant)
  • King, Akira (Participant)
  • Ovsiannikova, Polina (Participant)
  • Kothalawala, Hiruni (Participant)

Project: Research

Project Details

Description

SEAMLES develops deterministic safety assessment methods to use in the design and licensing of nuclear facility instrumentation and control (I&C) systems. The goal is to improve safety and operability by supporting re-engineering of I&C in upgrade and modernisation projects. The project focuses on (1) multidisciplinary analysis methods (e.g., Systems Theoretic Process Analysis (STPA) / Systems-Theoretic Accident Model (STAMP)) and (2) broadening the scope in which formal methods (e.g., model checking) can be applied. SEAMLES promotes Model-Based Systems Engineering (MBSE) practices to facilitate information exchange between engineering disciplines, ease the use of formal verification, and in general, improve
precision in design.
AcronymSEAMLES
StatusFinished
Effective start/end date1/02/2331/01/26

Collaborative partners

Keywords

  • SAFER2028