Model checking for licensing support in the Finnish nuclear industry

Antti Pakonen, Janne Valkonen, Sami Matinaho, Markus Hartikainen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

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 languageEnglish
Title of host publicationISOFIC/ISSNP 2014
Subtitle of host publicationInternational Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants
PublisherKorean Nuclear Society
Number of pages9
Publication statusPublished - 2014
MoE publication typeD3 Professional conference proceedings
EventInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014 - Jeju Island, Korea, Republic of
Duration: 24 Aug 201428 Aug 2014

Conference

ConferenceInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014
Abbreviated title ISOFIC 2014
CountryKorea, Republic of
CityJeju Island
Period24/08/1428/08/14

Fingerprint

nuclear power plant
Finland
qualification
industry
software

Keywords

  • model checking
  • verification
  • validation
  • digital I&C

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.
Pakonen, Antti ; Valkonen, Janne ; Matinaho, Sami ; Hartikainen, Markus. / Model checking for licensing support in the Finnish nuclear industry. 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.
@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)",
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.

Model checking for licensing support in the Finnish nuclear industry. / Pakonen, Antti; Valkonen, Janne; Matinaho, Sami; Hartikainen, Markus.

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 proceedingConference article in proceedingsProfessional

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

ER -

Pakonen A, Valkonen J, Matinaho S, Hartikainen M. 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. 2014