메뉴 건너뛰기
Library Notice
Institutional Access
If you certify, you can access the articles for free.
Check out your institutions.
ex)Hankuk University, Nuri Motors
Log in Register Help KOR
Subject
Humanities
General Humanities History Philosophy Religious Studies Linguistics and Literature Other Humanities
Social science
General Social Science Business Management Tourism Education Military Science Library and Information Science Law Sociology Journalism and Media Studies Psychological Science Political Science and Diplomacy Geography Public Administration Economics International Trade Anthropology Other Social Science
Natural science
General Natural Science Physics Biology Life Sciences Mathematics/Statistics Astronomy Earth Science Chemistry Other Natural Science
Engineering
General Engineering Architectural Engineering Mechanical Engineering Industrial Engineering Material/Energy Engineering Electrical and Electronic Engineering Marine and Ocean Engineering Chemical Engineering Computer Science Other Engineering
Medical science
General Medical Science Nursing Science Veterinary Pharmacy Traditional Korean Medicine Basic Medicine Clinical Medicine Other Medicine
Agriculture and Fishery
General Agriculture and Fishery Agriculture Fishery Science Food Science Forestry Animal Husbandry Marine Transportation Studies Other Agriculture and Fishery
Art and Kinesiology
General Arts Design Fine Arts Cosmetology Photography Music Fashion Kinesiology Performing Media Arts Other Arts and Kinesiology
Interdisciplinary Studies
Interdisciplinary Research Science and Technology Studies Brain and Cognitive Science Technology Policy Other Interdisciplinary Studies

KOR

Application and Analysis of the Paradigm of Software Safety Assurance for a Digital Reactor Protection System in Nuclear Power Plants
Recommendations
Search
Questions

원전 디지털 원자로보호계통 소프트웨어 안전보증 패러다임 적용 및 분석

논문 기본 정보

Type
Academic journal
Author
Kee-Choon Kwon (한국원자력연구원) Jang-Soo Lee (한국원자력연구원) Eunkyoung Jee (한국과학기술원)
Journal
Korean Institute of Information Scientists and Engineers KIISE Transactions on Computing Practices Vol.23 No.6 KCI Accredited Journals
Published
2017.6
Pages
335 - 342 (8page)
DOI
10.5626/KTCP.2017.23.6.335

Usage

cover
📌
Topic
📖
Background
🔬
Method
🏆
Result
Application and Analysis of the Paradigm of Software Safety Assurance for a Digital Reactor Protection System in Nuclear Power Plants
Ask AI
Recommendations
Search
Questions

Research history (2)

2017

Application and Analysis of the Paradigm of Software Safety Assurance for a Digital Reactor Protection System in Nuclear Power Plants
Kee-Choon Kwon ,  Jang-Soo Lee ,  Eunkyoung Jee KIISE Transactions on Computing Practices 2017.06 Academic journal

2016

Paradigm of Software Safety Assurance for Digital Reactor Protection System in Nuclear Power Plants
Kee-Choon Kwon ,  Jang-Soo Lee ,  Gee-Yong Pa and others 2 한국정보과학회 학술발표논문집 2016.06 Proceeding
  • Are you curious about the follow-up research of this article?
  • You can check more advanced research results through related academic papers or academic presentations.
  • Check the research history of this article

Abstract· Keywords

Report Errors
In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.
#소프트웨어 검증 및 확인 #소프트웨어 안전성 분석 #안전진술 #안전보증 #software verification and validation #software safety analysis #safety case #safety assurance

Contents

요약
Abstract
1. 서론
2. 원자로보호계통 안전-필수 소프트웨어에 대한 검증 및 확인 활동
3. 안전입증을 위한 안전진술 기술 적용
4. 분석 및 평가
5. 결론
References

References (10)

Add References
IEEE Std 603, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, 2009. Young-June Lee, Kee-Choon Kwon, and Jang-Soo Lee, Qualification strategy and examples of embedded software in nuclear power plant, Communications of the KIISE, Vol. 32, No. 4, pp. 17-26, 2014. (In Korean) USNRC, Standard Review Plan, NUREG-0800, Chapter 7, Branch Technical Position 14, Rev. 5, 2007. Kee-Choon Kwon, et al., Qualification of safetycritical software for digital reactor safety system in nuclear power plants, Nuclear Safety and Simulation, Vol. 4, No. 3, pp. 226-233, 2013. IEEE Std. 730, IEEE Standard for Software Quality Assurance Processes, 2014.

Recommendations

It is an article recommended by DBpia according to the article similarity. Check out the related articles!

Related Authors

Frequently Viewed Together

The Analysis of Economic Effects of Heavy Construction Investment Using SOC Guarantee
Youngho Do Journal of Industrial Economics and Business 2017 .10
Legal Issues over Refund Guarantee under Ship Finance
Chung ,  Dae Law Review 2017 .09
Effects of GBSI using Panel Data on Relationship Between Economic Sentiments among Guaranteed Beneficiaries
Go ,  Hui Su ,  Lee THE JOURNAL OF SOCIAL SCIENCE 2017 .06
A Study of Efficiency Expansion of Credit Guarantee System applying Credit Insurance Principle
Sang Yong ,  Yun JOURNAL OF CORPORATION AND INNOVATION 2017 .04
A Review of the Case Law Concerning the Legal Nature of a Contract Deposit in a Contract for any Construction Work
Hong ,  Sung Jae Jeonbuk Law Review 2015 .01

Recently viewed articles

[특집/ 이건용의 음악세계] 이건용의 노래 세상
이소영Nangman Music Publishing Co.1997.03
 the signal
Shin, Yoo-NaKorean Society of Basic Design & Art2023.02

Comments(0)

0

Write first comments.