HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software

Janne Valkonen, Sofia Guerra, Robin Bloomfield, Nguyen Thuy, Josef Märtz, Bo Liwång, Jari Hämäläinen

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

Abstract

The reliability of computer-based systems implementing safety functions is a critical issue for the modernization and construction of nuclear power plants, in particular because software can usually not be proven to be entirely free of defects. The differences in regulation and safety justification principles between different countries restrict efficient co-operation and hinder the emergence of widely accepted best practices. This paper gives an introduction to an EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software, 2011-2014) which has an overall objective to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems.
Original languageEnglish
Title of host publicationISOFIC/ISSNP 2014
Subtitle of host publicationInternational Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants
PublisherKorean Nuclear Society
Number of pages7
Publication statusPublished - 2014
MoE publication typeD3 Professional conference proceedings
EventInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014 - Jeju Island, Korea, Republic of
Duration: 24 Aug 201428 Aug 2014

Conference

ConferenceInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014
Abbreviated title ISOFIC 2014
CountryKorea, Republic of
CityJeju Island
Period24/08/1428/08/14

Fingerprint

Security systems
Nuclear industry
Modernization
Nuclear power plants
Defects

Keywords

  • verification
  • validation
  • digital I&C
  • nuclear automation
  • safety systems

Cite this

Valkonen, J., Guerra, S., Bloomfield, R., Thuy, N., Märtz, J., Liwång, B., & Hämäläinen, J. (2014). HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software. In ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants Korean Nuclear Society.
Valkonen, Janne ; Guerra, Sofia ; Bloomfield, Robin ; Thuy, Nguyen ; Märtz, Josef ; Liwång, Bo ; Hämäläinen, Jari. / HARMONICS : EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software. ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, 2014.
@inproceedings{f9235b059dea4e1da67daddb3f24d8a4,
title = "HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software",
abstract = "The reliability of computer-based systems implementing safety functions is a critical issue for the modernization and construction of nuclear power plants, in particular because software can usually not be proven to be entirely free of defects. The differences in regulation and safety justification principles between different countries restrict efficient co-operation and hinder the emergence of widely accepted best practices. This paper gives an introduction to an EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software, 2011-2014) which has an overall objective to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems.",
keywords = "verification, validation, digital I&C, nuclear automation, safety systems",
author = "Janne Valkonen and Sofia Guerra and Robin Bloomfield and Nguyen Thuy and Josef M{\"a}rtz and Bo Liw{\aa}ng and Jari H{\"a}m{\"a}l{\"a}inen",
note = "CA2: BA2141 CA2: BA214 Project code: 42925 Proceedings published on CD-ROM (no ISBN or ISSN)",
year = "2014",
language = "English",
booktitle = "ISOFIC/ISSNP 2014",
publisher = "Korean Nuclear Society",
address = "Korea, Republic of",

}

Valkonen, J, Guerra, S, Bloomfield, R, Thuy, N, Märtz, J, Liwång, B & Hämäläinen, J 2014, HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software. in ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014, Jeju Island, Korea, Republic of, 24/08/14.

HARMONICS : EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software. / Valkonen, Janne; Guerra, Sofia; Bloomfield, Robin; Thuy, Nguyen; Märtz, Josef; Liwång, Bo; Hämäläinen, Jari.

ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, 2014.

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

TY - GEN

T1 - HARMONICS

T2 - EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software

AU - Valkonen, Janne

AU - Guerra, Sofia

AU - Bloomfield, Robin

AU - Thuy, Nguyen

AU - Märtz, Josef

AU - Liwång, Bo

AU - Hämäläinen, Jari

N1 - CA2: BA2141 CA2: BA214 Project code: 42925 Proceedings published on CD-ROM (no ISBN or ISSN)

PY - 2014

Y1 - 2014

N2 - The reliability of computer-based systems implementing safety functions is a critical issue for the modernization and construction of nuclear power plants, in particular because software can usually not be proven to be entirely free of defects. The differences in regulation and safety justification principles between different countries restrict efficient co-operation and hinder the emergence of widely accepted best practices. This paper gives an introduction to an EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software, 2011-2014) which has an overall objective to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems.

AB - The reliability of computer-based systems implementing safety functions is a critical issue for the modernization and construction of nuclear power plants, in particular because software can usually not be proven to be entirely free of defects. The differences in regulation and safety justification principles between different countries restrict efficient co-operation and hinder the emergence of widely accepted best practices. This paper gives an introduction to an EU FP7 project HARMONICS (Harmonised Assessment of Reliability of Modern Nuclear I&C Software, 2011-2014) which has an overall objective to ensure that the nuclear industry has well founded and up-to-date methods and data for assessing software of computer-based safety systems.

KW - verification

KW - validation

KW - digital I&C

KW - nuclear automation

KW - safety systems

M3 - Conference article in proceedings

BT - ISOFIC/ISSNP 2014

PB - Korean Nuclear Society

ER -

Valkonen J, Guerra S, Bloomfield R, Thuy N, Märtz J, Liwång B et al. HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software. In ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society. 2014