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