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

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.