Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/26449

Title: Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology
Authors: Rudakov, Stanislav
Dickerson, Charles E.
Keywords: Verification and validation
Safety system software
Nuclear power plant
Harmonization of standards
Model
Instrumentation and control
Issue Date: 2017
Publisher: © Elsevier
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.
Abstract: © 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.
Description: This paper is in closed access until 09/05/2018.
Version: Published
DOI: 10.1016/j.pnucene.2017.04.003
URI: https://dspace.lboro.ac.uk/2134/26449
Publisher Link: https://doi.org/10.1016/j.pnucene.2017.04.003
ISSN: 0149-1970
Appears in Collections:Closed Access (Mechanical, Electrical and Manufacturing Engineering)

Files associated with this item:

File Description SizeFormat
Rudakov_and_Dickerson_PNE__manuscript_revised - proofread - comments accepted.pdfAccepted version708.14 kBAdobe PDFView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.