Loughborough University
Browse
Rudakov_and_Dickerson_PNE__manuscript_revised - proofread - comments accepted.pdf (708.14 kB)

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Download (708.14 kB)
journal contribution
posted on 2017-09-12, 08:32 authored by Stanislav Rudakov, Charles DickersonCharles Dickerson
© 2017 Elsevier Ltd This paper compares two standards, namely IEC 60880 and IEEE 1012, and defines a harmonized core amongst them with regard to their verification and validation processes for the nuclear power plant instrumentation and control safety system software. The problem of harmonizing standards requires a transparent representation of standards in order to make comparison possible. A model-based methodology using SysML is used to establish this transparency. Transformation rules are a crucial part of the methodology. These enable the natural language used in a standard to be translated into structural and behavioural models in SysML. Due to the high level of ambiguity of natural language, certainty definition rules for objects and operations are established as well. The result is a rigorously developed harmonized core that is traceable to the parent standards. The core developed using our methodology supports the argument that there is no one-to-one mapping between major IEEE and IEC standards. Nevertheless, some intersections between them do exist, which support the opinion of other experts. The extent of the harmonization depends on the conformance or traceability. The methodology also offers promise to address the challenge of establishing a harmonized core and the formal transferability between future standards.

History

School

  • Mechanical, Electrical and Manufacturing Engineering

Published in

Progress in Nuclear Energy

Volume

99

Pages

86 - 95

Citation

RUDAKOV, S. and DICKERSON, C.E., 2017. Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology. Progress in Nuclear Energy, 99, pp. 86-95.

Publisher

© Elsevier

Version

  • VoR (Version of Record)

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/

Publication date

2017

Notes

This paper was published in the journal Progress in Nuclear Energy and the definitive published version is available at https://doi.org/10.1016/j.pnucene.2017.04.003.

ISSN

0149-1970

Language

  • en