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 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 |
| Publisher | 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 |
Keywords
- software reliability
- verification and validation
- safety case
- nuclear power plant