Start of a new design method for a competitive Small Modular Reactor (SMR) adaptable to future uses

Abstract: As cyber-physical systems become increasingly complex, the management and verification of requirements during design is essential. A new language called CRML (Common Requirement Modelling Language) has been created during the European EMBrACE project to formalize realistic dynamical requirements, but a method for representing these requirements and a framework for using them as a design aid must be defined to ease appropriation by engineers. This report therefore presents a draft of a new graphical method for representing system requirements and evaluating different architectures, extending classical Systems Engineering (SE) approaches to the complexity of dynamic physical systems. Once the method completed, the verification and validation process can then be carried out through the simulation of solution models with CRML models. Solution models state how the system will behave while the CRML models state whether this behaviour is compliant with the requirements. The new graphical approach has been applied to two energy systems found in the nuclear industry. This report presents the first promising results as well as some perspectives to consolidate it.