Design, implementation and V&V of a Stepwise Shutdown System: Work in progress description of a case study in HARMONICS EU FP7 project

Janne Valkonen, Timo Korvola, Lauri Lötjönen, Jan-Erik Holmberg

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

    Abstract

    The safety and reliability are critical issues for the modernisation and construction of computer based systems in nuclear power plants. The EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) aims to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems and to harmonise the safety justification principles and methods between different countries. One part of the project is to develop case studies that are used to confirm that the available methods and tools can be applied with success to real systems and software. The Stepwise Shutdown System (SSS) introduced in this paper is an illustrative public example that can be used to show-case and disseminate the results of the project. The system development and the application of various verification and validation (V&V) methods are presented. The work with the case study is still in progress so this paper presents the intermediate results and complements the other HARMONICS paper presented in the EHPG 2013.
    Original languageEnglish
    Title of host publicationProceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379
    Subtitle of host publicationInstitute for Energy Technology IFE, OECD Halden Reactor Project
    Publication statusPublished - 2013
    MoE publication typeB3 Non-refereed article in conference proceedings
    EventEnlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway
    Duration: 10 Mar 201315 Mar 2013

    Conference

    ConferenceEnlarged Halden Programme Group Meeting, EHPG 2013
    Abbreviated titleEHPG 2013
    CountryNorway
    CityStorefjell
    Period10/03/1315/03/13

    Fingerprint

    Nuclear industry
    Modernization
    Security systems
    Nuclear power plants

    Keywords

    • verification and validation
    • safety case
    • nuclear power plant
    • model checking

    Cite this

    Valkonen, J., Korvola, T., Lötjönen, L., & Holmberg, J-E. (2013). Design, implementation and V&V of a Stepwise Shutdown System: Work in progress description of a case study in HARMONICS EU FP7 project. In Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project [Paper C4.12]
    Valkonen, Janne ; Korvola, Timo ; Lötjönen, Lauri ; Holmberg, Jan-Erik. / Design, implementation and V&V of a Stepwise Shutdown System : Work in progress description of a case study in HARMONICS EU FP7 project. Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project. 2013.
    @inproceedings{c814e415ba9a4c6e8d6bc034baa2f321,
    title = "Design, implementation and V&V of a Stepwise Shutdown System: Work in progress description of a case study in HARMONICS EU FP7 project",
    abstract = "The safety and reliability are critical issues for the modernisation and construction of computer based systems in nuclear power plants. The EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) aims to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems and to harmonise the safety justification principles and methods between different countries. One part of the project is to develop case studies that are used to confirm that the available methods and tools can be applied with success to real systems and software. The Stepwise Shutdown System (SSS) introduced in this paper is an illustrative public example that can be used to show-case and disseminate the results of the project. The system development and the application of various verification and validation (V&V) methods are presented. The work with the case study is still in progress so this paper presents the intermediate results and complements the other HARMONICS paper presented in the EHPG 2013.",
    keywords = "verification and validation, safety case, nuclear power plant, model checking",
    author = "Janne Valkonen and Timo Korvola and Lauri L{\"o}tj{\"o}nen and Jan-Erik Holmberg",
    note = "Project code: 42925",
    year = "2013",
    language = "English",
    booktitle = "Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379",

    }

    Valkonen, J, Korvola, T, Lötjönen, L & Holmberg, J-E 2013, Design, implementation and V&V of a Stepwise Shutdown System: Work in progress description of a case study in HARMONICS EU FP7 project. in Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project., Paper C4.12, Enlarged Halden Programme Group Meeting, EHPG 2013, Storefjell, Norway, 10/03/13.

    Design, implementation and V&V of a Stepwise Shutdown System : Work in progress description of a case study in HARMONICS EU FP7 project. / Valkonen, Janne; Korvola, Timo; Lötjönen, Lauri; Holmberg, Jan-Erik.

    Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project. 2013. Paper C4.12.

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

    TY - GEN

    T1 - Design, implementation and V&V of a Stepwise Shutdown System

    T2 - Work in progress description of a case study in HARMONICS EU FP7 project

    AU - Valkonen, Janne

    AU - Korvola, Timo

    AU - Lötjönen, Lauri

    AU - Holmberg, Jan-Erik

    N1 - Project code: 42925

    PY - 2013

    Y1 - 2013

    N2 - The safety and reliability are critical issues for the modernisation and construction of computer based systems in nuclear power plants. The EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) aims to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems and to harmonise the safety justification principles and methods between different countries. One part of the project is to develop case studies that are used to confirm that the available methods and tools can be applied with success to real systems and software. The Stepwise Shutdown System (SSS) introduced in this paper is an illustrative public example that can be used to show-case and disseminate the results of the project. The system development and the application of various verification and validation (V&V) methods are presented. The work with the case study is still in progress so this paper presents the intermediate results and complements the other HARMONICS paper presented in the EHPG 2013.

    AB - The safety and reliability are critical issues for the modernisation and construction of computer based systems in nuclear power plants. The EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) aims to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems and to harmonise the safety justification principles and methods between different countries. One part of the project is to develop case studies that are used to confirm that the available methods and tools can be applied with success to real systems and software. The Stepwise Shutdown System (SSS) introduced in this paper is an illustrative public example that can be used to show-case and disseminate the results of the project. The system development and the application of various verification and validation (V&V) methods are presented. The work with the case study is still in progress so this paper presents the intermediate results and complements the other HARMONICS paper presented in the EHPG 2013.

    KW - verification and validation

    KW - safety case

    KW - nuclear power plant

    KW - model checking

    M3 - Conference article in proceedings

    BT - Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379

    ER -

    Valkonen J, Korvola T, Lötjönen L, Holmberg J-E. Design, implementation and V&V of a Stepwise Shutdown System: Work in progress description of a case study in HARMONICS EU FP7 project. In Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project. 2013. Paper C4.12