HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software

Jan-Erik Holmberg, S. Guerra, N. Thuy, J. Märtz, B. Liwång

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

Abstract

The overall objective of the EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) is to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems. It will take advantage of the aforementioned advances to propose systematic and consistent, yet realistic and practical approaches for software verification, software safety justification and quantification of software failure rates. HARMONICS will mainly focus on the independent confidence building for software of I&C systems implementing Category A functions. Regarding software verification, the main objective is to provide direct evidence of software correctness. Main verification approaches to be investigated in HARMONICS are formal verification, statistical testing, and complexity analysis. Regarding justification frameworks, HARMONICS will investigate different approaches (goal-based, rule-based, and risk-informed approaches) to justify category A systems and software, to identify their strengths and weaknesses, applicability domains, and how they can complement one another. For the software quantification, an analytical approach is promoted to systematically define and identify critical software fault modes which require further attention. Different types of case studies will be needed to cover the different types of software that can be found in systems implementing category A functions. HARMONICS has started in January 2011 will end in 2014. A collaboration project in China, called RAVONSICS (Reliability and V&V of Nuclear Safety I&C Software), has started in 2012.
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
Security systems
Testing
Formal verification

Keywords

  • software reliability
  • verification and validation
  • safety case
  • nuclear power plant

Cite this

Holmberg, J-E., Guerra, S., Thuy, N., Märtz, J., & Liwång, B. (2013). HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software. In Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project [Paper C4.11]
Holmberg, Jan-Erik ; Guerra, S. ; Thuy, N. ; Märtz, J. ; Liwång, B. / HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software. Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project. 2013.
@inproceedings{e6482ff996aa443d9555e3cbe63cc236,
title = "HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software",
abstract = "The overall objective of the EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) is to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems. It will take advantage of the aforementioned advances to propose systematic and consistent, yet realistic and practical approaches for software verification, software safety justification and quantification of software failure rates. HARMONICS will mainly focus on the independent confidence building for software of I&C systems implementing Category A functions. Regarding software verification, the main objective is to provide direct evidence of software correctness. Main verification approaches to be investigated in HARMONICS are formal verification, statistical testing, and complexity analysis. Regarding justification frameworks, HARMONICS will investigate different approaches (goal-based, rule-based, and risk-informed approaches) to justify category A systems and software, to identify their strengths and weaknesses, applicability domains, and how they can complement one another. For the software quantification, an analytical approach is promoted to systematically define and identify critical software fault modes which require further attention. Different types of case studies will be needed to cover the different types of software that can be found in systems implementing category A functions. HARMONICS has started in January 2011 will end in 2014. A collaboration project in China, called RAVONSICS (Reliability and V&V of Nuclear Safety I&C Software), has started in 2012.",
keywords = "software reliability, verification and validation, safety case, nuclear power plant",
author = "Jan-Erik Holmberg and S. Guerra and N. Thuy and J. M{\"a}rtz and B. Liw{\aa}ng",
note = "Project code: 42925",
year = "2013",
language = "English",
booktitle = "Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379",

}

Holmberg, J-E, Guerra, S, Thuy, N, Märtz, J & Liwång, B 2013, HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software. in Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project., Paper C4.11, Enlarged Halden Programme Group Meeting, EHPG 2013, Storefjell, Norway, 10/03/13.

HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software. / Holmberg, Jan-Erik; Guerra, S.; Thuy, N.; Märtz, J.; Liwång, B.

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

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

TY - GEN

T1 - HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software

AU - Holmberg, Jan-Erik

AU - Guerra, S.

AU - Thuy, N.

AU - Märtz, J.

AU - Liwång, B.

N1 - Project code: 42925

PY - 2013

Y1 - 2013

N2 - The overall objective of the EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) is to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems. It will take advantage of the aforementioned advances to propose systematic and consistent, yet realistic and practical approaches for software verification, software safety justification and quantification of software failure rates. HARMONICS will mainly focus on the independent confidence building for software of I&C systems implementing Category A functions. Regarding software verification, the main objective is to provide direct evidence of software correctness. Main verification approaches to be investigated in HARMONICS are formal verification, statistical testing, and complexity analysis. Regarding justification frameworks, HARMONICS will investigate different approaches (goal-based, rule-based, and risk-informed approaches) to justify category A systems and software, to identify their strengths and weaknesses, applicability domains, and how they can complement one another. For the software quantification, an analytical approach is promoted to systematically define and identify critical software fault modes which require further attention. Different types of case studies will be needed to cover the different types of software that can be found in systems implementing category A functions. HARMONICS has started in January 2011 will end in 2014. A collaboration project in China, called RAVONSICS (Reliability and V&V of Nuclear Safety I&C Software), has started in 2012.

AB - The overall objective of the EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software) is to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems. It will take advantage of the aforementioned advances to propose systematic and consistent, yet realistic and practical approaches for software verification, software safety justification and quantification of software failure rates. HARMONICS will mainly focus on the independent confidence building for software of I&C systems implementing Category A functions. Regarding software verification, the main objective is to provide direct evidence of software correctness. Main verification approaches to be investigated in HARMONICS are formal verification, statistical testing, and complexity analysis. Regarding justification frameworks, HARMONICS will investigate different approaches (goal-based, rule-based, and risk-informed approaches) to justify category A systems and software, to identify their strengths and weaknesses, applicability domains, and how they can complement one another. For the software quantification, an analytical approach is promoted to systematically define and identify critical software fault modes which require further attention. Different types of case studies will be needed to cover the different types of software that can be found in systems implementing category A functions. HARMONICS has started in January 2011 will end in 2014. A collaboration project in China, called RAVONSICS (Reliability and V&V of Nuclear Safety I&C Software), has started in 2012.

KW - software reliability

KW - verification and validation

KW - safety case

KW - nuclear power plant

M3 - Conference article in proceedings

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

ER -

Holmberg J-E, Guerra S, Thuy N, Märtz J, Liwång B. HARMONICS - EU FP7 project on the reliability assessment of modern nuclear I&C software. In Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379: Institute for Energy Technology IFE, OECD Halden Reactor Project. 2013. Paper C4.11