There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.startPage | 110151 | - |
dc.citation.title | NUCLEAR ENGINEERING AND DESIGN | - |
dc.citation.volume | 352 | - |
dc.contributor.author | Cho, Jaehyun | - |
dc.contributor.author | Shin, Sung Min | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Jung, Wondea | - |
dc.date.accessioned | 2023-12-21T18:40:03Z | - |
dc.date.available | 2023-12-21T18:40:03Z | - |
dc.date.created | 2019-06-18 | - |
dc.date.issued | 2019-10 | - |
dc.description.abstract | Digital instrumentation and control (I&C) systems have several specific characteristics as compared with analog I&C systems. Although one critical feature of digital I&C systems is software, even after several years of research the quantification of software reliability remains an unresolved issue. This paper suggests a method to obtain an exhaustive set of test cases for safety-critical software. Without such a method, considering all combinations from the full range of software variables results in the number of test cases becoming so tremendous as to render testing physically impossible. In order to obtain a realistic number of test cases that still satisfies the “exhaustive” concept, the range of variables should be reasonably considered. In the developed method, all variables are first divided into plant variables and software internal variables. Input-profiles for the plant variables are obtained from the results of best-estimate thermal-hydraulics code, and for the internal variables, a gray-box analysis is conducted to identify the relationship between all internal variables. As an application to demonstrate the feasibility of this method, plant variables from the OPR-1000 were utilized to develop the input-profiles, and the internal variables of the bistable processors in the IDiPS-RPS were taken for a gray-box analysis. As a result, the novel method developed in this research yields an exhaustive yet realistic set of test cases for safety-critical digital software. | - |
dc.identifier.bibliographicCitation | NUCLEAR ENGINEERING AND DESIGN, v.352, pp.110151 | - |
dc.identifier.doi | 10.1016/j.nucengdes.2019.110151 | - |
dc.identifier.issn | 0029-5493 | - |
dc.identifier.scopusid | 2-s2.0-85067196340 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/27222 | - |
dc.identifier.url | https://www.sciencedirect.com/science/article/pii/S0029549319301621?via%3Dihub | - |
dc.identifier.wosid | 000481646600016 | - |
dc.language | 영어 | - |
dc.publisher | Elsevier BV | - |
dc.title | Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.relation.journalWebOfScienceCategory | Nuclear Science & Technology | - |
dc.relation.journalResearchArea | Nuclear Science & Technology | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | Digital I&C system | - |
dc.subject.keywordAuthor | Probabilistic safety assessment | - |
dc.subject.keywordAuthor | Software reliability | - |
dc.subject.keywordAuthor | Exhaustive test case | - |
dc.subject.keywordPlus | FAULT-DETECTION COVERAGE | - |
dc.subject.keywordPlus | QUANTIFICATION | - |
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.