2019

Pakonen, Antti; Alanen, Jarmo; Björkman, Kim; Buzhinsky, Igor; Holmberg, Jan-Erik; Koskinen, Hanna; Linnosmaa, Joonas; Nevalainen, Risto; Papakonstantinou, Nikolaos; Tyrväinen, Tero; Uusitalo, Eero; Valkonen, Janne; Varkoi, Timo; Vyatkin, Valeriy

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.