Our general objective in SAUNA (2015-2018) has been to develop integrated methods and tools for safety assessment and transparent safety demonstration of nuclear power plant instrumentation and control (I&C) systems. Due to the multidisciplinary nature of the nuclear power plant as a whole, I&C safety assessment calls for an overall safety point-of-view. We have worked towards that goal by 1) specifying model-based Systems Engineering approaches for I&C, 2) developing concepts and models for analysing Defence-in-Depth issues in I&C architectures, 3) integrating existing methods and finding novel tools for analysing overall safety (with particular focus on formal verification), and 4) developing model-based ways for attesting conformity in the I&C qualification process.
|Title of host publication||SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018|
|Subtitle of host publication||Final Report|
|Publisher||VTT Technical Research Centre of Finland|
|Publication status||Published - 2019|
|MoE publication type||D2 Article in professional manuals or guides or professional information systems or text book material|