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