Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.endPage | 581 | - |
dc.citation.number | 4 | - |
dc.citation.startPage | 570 | - |
dc.citation.title | NUCLEAR ENGINEERING AND TECHNOLOGY | - |
dc.citation.volume | 50 | - |
dc.contributor.author | Lee, Sang Hun | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Park, Jinkyun | - |
dc.contributor.author | Lee, Eun-chan | - |
dc.contributor.author | Kang, Hyun Gook | - |
dc.date.accessioned | 2023-12-21T20:46:34Z | - |
dc.date.available | 2023-12-21T20:46:34Z | - |
dc.date.created | 2018-03-30 | - |
dc.date.issued | 2018-05 | - |
dc.description.abstract | Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safety-critical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level. | - |
dc.identifier.bibliographicCitation | NUCLEAR ENGINEERING AND TECHNOLOGY, v.50, no.4, pp.570 - 581 | - |
dc.identifier.doi | 10.1016/j.net.2018.02.007 | - |
dc.identifier.issn | 1738-5733 | - |
dc.identifier.scopusid | 2-s2.0-85045567155 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/24157 | - |
dc.identifier.url | https://www.sciencedirect.com/science/article/pii/S1738573318300779 | - |
dc.identifier.wosid | 000432418500006 | - |
dc.language | 영어 | - |
dc.publisher | KOREAN NUCLEAR SOC | - |
dc.title | Development of simulation-based testing environment for safety-critical software | - |
dc.type | Article | - |
dc.description.isOpenAccess | TRUE | - |
dc.relation.journalWebOfScienceCategory | Nuclear Science & Technology | - |
dc.identifier.kciid | ART002346077 | - |
dc.relation.journalResearchArea | Nuclear Science & Technology | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | Digital Instrumentation and Control System | - |
dc.subject.keywordAuthor | Nuclear Power Plant | - |
dc.subject.keywordAuthor | Software Reliability Quantification | - |
dc.subject.keywordAuthor | Software Testing | - |
dc.subject.keywordPlus | SYSTEMS | - |
dc.subject.keywordPlus | QUANTIFICATION | - |
dc.subject.keywordPlus | DESIGN | - |
dc.subject.keywordPlus | PLANT | - |
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.