Model checking for licensing support in the Finnish nuclear industry

Antti Pakonen; Janne Valkonen; Sami Matinaho; Markus Hartikainen

Model checking for licensing support in the Finnish nuclear industry

Antti Pakonen
, Janne Valkonen
, Sami Matinaho
, Markus Hartikainen

Fortum Waste Solutions Oy

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

Abstract

This paper examines how model checking can be used to support the qualification of digital I&C software in nuclear power plants, in a way that is consistent with regulatory demands - specifically, the common position of seven European nuclear regulators and authorised technical support organisations. As a practical example, we discuss the third-party review service provided by VTT for the power company Fortum in the I&C renewal project of the Loviisa plant in southern Finland.

Original language	English
Title of host publication	ISOFIC/ISSNP 2014
Subtitle of host publication	International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants
Publisher	Korean Nuclear Society
Number of pages	9
Publication status	Published - 2014
MoE publication type	D3 Professional conference proceedings
Event	International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014 - Jeju Island, Korea, Republic of Duration: 24 Aug 2014 → 28 Aug 2014

Conference

Conference	International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014
Abbreviated title	ISOFIC 2014
Country/Territory	Korea, Republic of
City	Jeju Island
Period	24/08/14 → 28/08/14

Keywords

model checking
verification
validation
digital I&C

Access to Document

https://publications.vtt.fi/julkaisut/muut/2014/ISOFIC_2014_Pakonen_et_al_FINAL.pdf

Cite this

Pakonen, A., Valkonen, J., Matinaho, S., & Hartikainen, M. (2014). Model checking for licensing support in the Finnish nuclear industry. In ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants Korean Nuclear Society. https://publications.vtt.fi/julkaisut/muut/2014/ISOFIC_2014_Pakonen_et_al_FINAL.pdf

@inproceedings{829195bc873e4944bb1fb38df03ca886,

title = "Model checking for licensing support in the Finnish nuclear industry",

abstract = "This paper examines how model checking can be used to support the qualification of digital I\&C software in nuclear power plants, in a way that is consistent with regulatory demands - specifically, the common position of seven European nuclear regulators and authorised technical support organisations. As a practical example, we discuss the third-party review service provided by VTT for the power company Fortum in the I\&C renewal project of the Loviisa plant in southern Finland.",

keywords = "model checking, verification, validation, digital I\&C",

author = "Antti Pakonen and Janne Valkonen and Sami Matinaho and Markus Hartikainen",

note = "Project code: 85366 Proceedings on CD-ROM (no ISSN or ISBN) ; International Symposium on Future I\&C for Nuclear Power Plants, ISOFIC 2014, ISOFIC 2014 ; Conference date: 24-08-2014 Through 28-08-2014",

year = "2014",

language = "English",

booktitle = "ISOFIC/ISSNP 2014",

publisher = "Korean Nuclear Society",

address = "Korea, Republic of",

}

Pakonen, A, Valkonen, J, Matinaho, S & Hartikainen, M 2014, Model checking for licensing support in the Finnish nuclear industry. in ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014, Jeju Island, Korea, Republic of, 24/08/14. <https://publications.vtt.fi/julkaisut/muut/2014/ISOFIC_2014_Pakonen_et_al_FINAL.pdf>

Model checking for licensing support in the Finnish nuclear industry. / Pakonen, Antti; Valkonen, Janne; Matinaho, Sami et al.
ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, 2014.

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

TY - GEN

T1 - Model checking for licensing support in the Finnish nuclear industry

AU - Pakonen, Antti

AU - Valkonen, Janne

AU - Matinaho, Sami

AU - Hartikainen, Markus

N1 - Project code: 85366 Proceedings on CD-ROM (no ISSN or ISBN)

PY - 2014

Y1 - 2014

N2 - This paper examines how model checking can be used to support the qualification of digital I&C software in nuclear power plants, in a way that is consistent with regulatory demands - specifically, the common position of seven European nuclear regulators and authorised technical support organisations. As a practical example, we discuss the third-party review service provided by VTT for the power company Fortum in the I&C renewal project of the Loviisa plant in southern Finland.

AB - This paper examines how model checking can be used to support the qualification of digital I&C software in nuclear power plants, in a way that is consistent with regulatory demands - specifically, the common position of seven European nuclear regulators and authorised technical support organisations. As a practical example, we discuss the third-party review service provided by VTT for the power company Fortum in the I&C renewal project of the Loviisa plant in southern Finland.

KW - model checking

KW - verification

KW - validation

KW - digital I&C

M3 - Conference article in proceedings

BT - ISOFIC/ISSNP 2014

PB - Korean Nuclear Society

T2 - International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014

Y2 - 24 August 2014 through 28 August 2014

ER -

Model checking for licensing support in the Finnish nuclear industry

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this