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 language | English |
---|---|
Title of host publication | ISOFIC/ISSNP 2014 |
Subtitle of host publication | International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants |
Publisher | Korean Nuclear Society |
Number of pages | 7 |
Publication status | Published - 2014 |
MoE publication type | D3 Professional conference proceedings |
Event | International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014 - Jeju Island, Korea, Republic of Duration: 24 Aug 2014 → 28 Aug 2014 |
Conference
Conference | International Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2014 |
---|---|
Abbreviated title | ISOFIC 2014 |
Country/Territory | Korea, Republic of |
City | Jeju Island |
Period | 24/08/14 → 28/08/14 |
Keywords
- verification
- validation
- digital I&C
- nuclear automation
- safety systems