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

Keywords

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

Fingerprint Dive into the research topics of 'Model checking for licensing support in the Finnish nuclear industry'. Together they form a unique fingerprint.

  • 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. http://www.vtt.fi/inf/julkaisut/muut/2014/ISOFIC_2014_Pakonen_et_al_FINAL.pdf