Abstract
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Enlarged Halden Programme Group Meeting 2013, HPR-379 |
| Subtitle of host publication | Institute for Energy Technology IFE, OECD Halden Reactor Project |
| Publication status | Published - 2013 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
| Event | Enlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway Duration: 10 Mar 2013 → 15 Mar 2013 |
Conference
| Conference | Enlarged Halden Programme Group Meeting, EHPG 2013 |
|---|---|
| Abbreviated title | EHPG 2013 |
| Country | Norway |
| City | Storefjell |
| Period | 10/03/13 → 15/03/13 |
Fingerprint
Keywords
- software reliability
- verification and validation
- safety case
- nuclear power plant
Cite this
}
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 proceeding › Conference article in proceedings › Scientific
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 -