There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.startPage | 106667 | - |
dc.citation.title | RELIABILITY ENGINEERING & SYSTEM SAFETY | - |
dc.citation.volume | 193 | - |
dc.contributor.author | Lee, Sang Hun | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Shin, Sung Min | - |
dc.contributor.author | Lee, Eun-chan | - |
dc.contributor.author | Kang, Hyun Gook | - |
dc.date.accessioned | 2023-12-21T18:11:12Z | - |
dc.date.available | 2023-12-21T18:11:12Z | - |
dc.date.created | 2019-11-14 | - |
dc.date.issued | 2020-01 | - |
dc.description.abstract | As software is used to implement safety-critical functions in nuclear power plants (NPPs), the software developers must demonstrate that the software will generate its dedicated safety signal in on-demand situations based on proper test results to ensure the safety of digitalized NPP. This paper describes an automated exhaustive test case generation framework for the function block diagram (FBD) programs used in NPP safety systems. The proposed method translates an FBD program to a semantically equivalent satisfiability modulo theories (SMT) formula based on the formal definition of FBD and generates the exhaustive test cases given desired software output by iteratively solving the SMT formula. The effectiveness of the proposed framework is demonstrated with a case study of a trip logic software of a typical NPP reactor protection system. The case study results showed that the proposed approach could effectively generate exhaustive test cases and further prove that the NPP safety software is error-free in terms of its safety function. | - |
dc.identifier.bibliographicCitation | RELIABILITY ENGINEERING & SYSTEM SAFETY, v.193, pp.106667 | - |
dc.identifier.doi | 10.1016/j.ress.2019.106667 | - |
dc.identifier.issn | 0951-8320 | - |
dc.identifier.scopusid | 2-s2.0-85072706270 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/30433 | - |
dc.identifier.url | https://www.sciencedirect.com/science/article/pii/S0951832019307586?via%3Dihub | - |
dc.identifier.wosid | 000501641400062 | - |
dc.language | 영어 | - |
dc.publisher | Elsevier BV | - |
dc.title | Exhaustive testing of safety-critical software for reactor protection system | - |
dc.type | Article | - |
dc.description.isOpenAccess | FALSE | - |
dc.relation.journalWebOfScienceCategory | Engineering, Industrial; Operations Research & Management Science | - |
dc.relation.journalResearchArea | Engineering; Operations Research & Management Science | - |
dc.type.docType | Article | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | Nuclear power plant | - |
dc.subject.keywordAuthor | Digital I&C system | - |
dc.subject.keywordAuthor | Software reliability | - |
dc.subject.keywordAuthor | Software testing | - |
dc.subject.keywordPlus | TEST-CASE GENERATION | - |
dc.subject.keywordPlus | DIGITAL-SYSTEMS | - |
dc.subject.keywordPlus | QUANTIFICATION | - |
dc.subject.keywordPlus | MODEL | - |
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.