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


    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