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