Integrated safety assessment and justification of nuclear power plant automation (SAUNA)

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

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional


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.
Original languageEnglish
Title of host publicationSAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018
Subtitle of host publicationFinal Report
PublisherVTT Technical Research Centre of Finland
ISBN (Electronic)978-951-38-8682-0
Publication statusPublished - 2019
MoE publication typeD2 Article in professional manuals or guides or professional information systems or text book material

Publication series

SeriesVTT Technology

Fingerprint Dive into the research topics of 'Integrated safety assessment and justification of nuclear power plant automation (SAUNA)'. Together they form a unique fingerprint.

Cite this