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

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 proceeding › Chapter or book article › Professional

Abstract

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 language	English
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
Chapter	2.5
Pages	66-94
ISBN (Electronic)	978-951-38-8682-0
Publication status	Published - 2019
MoE publication type	D2 Article in professional manuals or guides or professional information systems or text book material

Publication series

Series	VTT Technology
Number	349
ISSN	2242-1211

Access to Document

https://publications.vtt.fi/pdf/technology/2019/T349.pdf

Cite this

Pakonen, A., Alanen, J., Björkman, K., Buzhinsky, I., Holmberg, J.-E., Koskinen, H., Linnosmaa, J., Nevalainen, R., Papakonstantinou, N., Tyrväinen, T., Uusitalo, E., Valkonen, J., Varkoi, T., & Vyatkin, V. (2019). Integrated safety assessment and justification of nuclear power plant automation (SAUNA). In SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Final Report (pp. 66-94). VTT Technical Research Centre of Finland. https://publications.vtt.fi/pdf/technology/2019/T349.pdf

@inbook{3e33ffbb9a6c4b9cab86994b0e4d19c1,

title = "Integrated safety assessment and justification of nuclear power plant automation (SAUNA)",

abstract = "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. ",

author = "Antti Pakonen and Jarmo Alanen and Kim Bj{\"o}rkman and Igor Buzhinsky and Jan-Erik Holmberg and Hanna Koskinen and Joonas Linnosmaa and Risto Nevalainen and Nikolaos Papakonstantinou and Tero Tyrv{\"a}inen and Eero Uusitalo and Janne Valkonen and Timo Varkoi and Valeriy Vyatkin",

year = "2019",

language = "English",

series = "VTT Technology",

publisher = "VTT Technical Research Centre of Finland",

number = "349",

pages = "66--94",

booktitle = "SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018",

address = "Finland",

}

Pakonen, A , Alanen, J , Björkman, K, Buzhinsky, I, Holmberg, J-E, Koskinen, H , Linnosmaa, J, Nevalainen, R, Papakonstantinou, N, Tyrväinen, T, Uusitalo, E, Valkonen, J, Varkoi, T & Vyatkin, V 2019, Integrated safety assessment and justification of nuclear power plant automation (SAUNA). in SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Final Report. VTT Technical Research Centre of Finland, VTT Technology, no. 349, pp. 66-94. <https://publications.vtt.fi/pdf/technology/2019/T349.pdf>

Integrated safety assessment and justification of nuclear power plant automation (SAUNA). / Pakonen, Antti ; Alanen, Jarmo ; Björkman, Kim et al.
SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Final Report. VTT Technical Research Centre of Finland, 2019. p. 66-94 (VTT Technology; No. 349).

Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Professional

TY - CHAP

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

AU - Pakonen, Antti

AU - Alanen, Jarmo

AU - Björkman, Kim

AU - Buzhinsky, Igor

AU - Holmberg, Jan-Erik

AU - Koskinen, Hanna

AU - Linnosmaa, Joonas

AU - Nevalainen, Risto

AU - Papakonstantinou, Nikolaos

AU - Tyrväinen, Tero

AU - Uusitalo, Eero

AU - Valkonen, Janne

AU - Varkoi, Timo

AU - Vyatkin, Valeriy

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - https://doi.org/10.32040/2242-122X.2019.T349

M3 - Chapter or book article

T3 - VTT Technology

SP - 66

EP - 94

BT - SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018

PB - VTT Technical Research Centre of Finland

ER -

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

SAFIR2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Final Report

Cite this