There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.conferencePlace | US | - |
dc.citation.endPage | 812 | - |
dc.citation.startPage | 803 | - |
dc.citation.title | 11th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2019 | - |
dc.contributor.author | Lee, Sang Hun | - |
dc.contributor.author | Kang, Hyun Gook | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Shin, Sung Min | - |
dc.contributor.author | Lee, Eun-Chan | - |
dc.date.accessioned | 2024-02-01T00:39:01Z | - |
dc.date.available | 2024-02-01T00:39:01Z | - |
dc.date.created | 2020-01-07 | - |
dc.date.issued | 2019-02-12 | - |
dc.description.abstract | An issue on incorporating the software reliability within the NPP PRA model has been emerged in the licensing processes of digitalized NPPs. Since software failure induces CCFs of the processor modules, the reliability of the software used in NPP safety-critical I&C systems must be quantified and verified with proper test cases and environment. In order to prove the software to be error-free or have very low failure probability, an exhaustive testing of software is required. In this study, a software testing method based on the MCS-based exhaustive test case generation scheme combined with the simulation-based test-bed is proposed. The software test-bed was developed by emulating the microprocessor architecture of PLC used in NPP safety-critical applications and capturing its behavior at each machine instruction. For the test case generation, the software logic model was developed from the formal definition of FBD/LD and the sets of MCSs which represent the necessary and sufficient conditions for the software variables' states to produce safety software output were generated. The MCSs were then converted into the test sets which are used as inputs to test-bed to verify that the test cases produce correct output after software execution. The effectiveness of the proposed method is demonstrated with the safety-critical trip logic software of IDiPS-RPS, a fully digitalized reactor protection system. The method provides a systematic way to conduct software exhaustive testing while effectively reducing the software testing effort by emulating PLC behavior in machine-level compared to existing software testing methods. | - |
dc.identifier.bibliographicCitation | 11th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2019, pp.803 - 812 | - |
dc.identifier.scopusid | 2-s2.0-85070941863 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/80177 | - |
dc.language | 영어 | - |
dc.publisher | American Nuclear Society | - |
dc.title | Development of simulation-based testing environment for safety-critical software in digitalized nuclear power plant | - |
dc.type | Conference Paper | - |
dc.date.conferenceDate | 2019-02-09 | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.