Published August 2014 | Version v1
Miscellaneous Metadata-only

Model Checking for Licensing Support in the Finnish Nuclear Industry

Creators

  • 1. VTT Technical Research, VTT (Finland)
  • 2. Protum Power and Heat, Fortum (Finland)

Description

This paper examines how model checking can be used to support the qualification of digital I and 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 and C renewal project of the Loviisa plant in southern Finland

Part of:
ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Systems

Additional details

Publishing Information

Publisher
KNS
Imprint Place
Daejeon (Korea, Republic of)
Imprint Title
Proceedings of the ISOFIC/ISSNP 2014
Imprint Pagination
[1 CD-ROM]
Journal Page Range
[9 p.]

Conference

Title
ISOFIC/ISSNP 2014
Dates
24-28 Aug 2014
Place
Jeju (Korea, Republic of)

INIS

Country of Publication
Korea, Republic of
Country of Input or Organization
Korea, Republic of
INIS RN
46074534
Subject category
S22: GENERAL STUDIES OF NUCLEAR REACTORS;
Resource subtype / Literary indicator
Conference, Non-conventional Literature
Descriptors DEI
CONTROL SYSTEMS; FINNISH ORGANIZATIONS; LICENSING; NUCLEAR INDUSTRY; NUCLEAR POWER PLANTS; REGULATIONS
Descriptors DEC
INDUSTRY; LAWS; NATIONAL ORGANIZATIONS; NUCLEAR FACILITIES; POWER PLANTS; THERMAL POWER PLANTS

Optional Information

Notes
17 refs, 2 figs