There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.conferencePlace | US | - |
dc.citation.conferencePlace | Hyatt Regency San FranciscoSan Francisco | - |
dc.citation.endPage | 1376 | - |
dc.citation.startPage | 1369 | - |
dc.citation.title | 10th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2017 | - |
dc.contributor.author | Shin, Sung Min | - |
dc.contributor.author | Cho, Jaehyun | - |
dc.contributor.author | Lee, Seung Jun | - |
dc.contributor.author | Jung, Wondea | - |
dc.date.accessioned | 2023-12-19T18:40:50Z | - |
dc.date.available | 2023-12-19T18:40:50Z | - |
dc.date.created | 2018-01-08 | - |
dc.date.issued | 2017-06-14 | - |
dc.description.abstract | Digitalization of the instrumentation and control systems in nuclear power plant entails some new features which do not exist in analog systems. When the new features are applied in safety critical systems, the risk stemming from them should be quantified properly to assure the reliability of the entire power plant. Among the new features, software is considered as the most important factor because it can cause common cause failure to many redundant systems. Therefore, in this work, a test based reliability assessment method for a safety-critical software is developed. An output of a software is determined by not only inputs but also the internal state of the software at the time. In the case of safety critical software developed for usage in nuclear power plant, it is possible to directly investigate probable internal states thanks to detailed design specification and programing features, and the probable inputs also can be identified based on the physical linearity of each process parameter and hardware characteristics related to data acquisition. In this work, a development method for practical exhaustive test case consisting of investigation of internal state and probable input sets to a specific internal state are suggested. In addition to this, software logic simulator for execution of software logic test and the reliability quantification method based on the test result are developed. The feasibility of the suggested method is demonstrated via a case study. | - |
dc.identifier.bibliographicCitation | 10th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2017, pp.1369 - 1376 | - |
dc.identifier.scopusid | 2-s2.0-85047809138 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/35303 | - |
dc.language | 영어 | - |
dc.publisher | 10th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2017 | - |
dc.title | Test Based Reliability Assessment Method for a Safety Critical Software in Reactor Protection System | - |
dc.type | Conference Paper | - |
dc.date.conferenceDate | 2017-06-11 | - |
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.