최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회. 컴퓨팅의 실제 논문지 = KIISE transactions on computing practices, v.23 no.6, 2017년, pp.335 - 342
권기춘 (한국원자력연구원 원자력ICT연구부) , 이장수 (한국원자력연구원 원자력ICT연구부) , 지은경 (한국과학기술원 전산학부)
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 throu...
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.
Eunkyung Jee, Gee-Yong Park, Jang-Soo Lee, Kee- Choon Kwon, A Safety Case for Reactor Protection System Software Developed with a Prescriptive Approach, EHPG 2016, Oslo, May 10, 2016.
Office of Nuclear Regulation, Generic Design Assessment - New Civil Reactor Build Step 4 Control and Instrumentation Assessment of the Westinghouse AP1000 Reactor, ONR-GDA-AR-11-006, 2011.
Tim P. Kelly, "Arguing Safety: A Systematic Approach to Managing Safety Cases," University of York, 1999.
John Spriggs, "GSN - The Goal Structuring Notation : A Structured Approach to Presenting Arguments," Springer, 2012.
Terje Siversten, Software Safety Demonstration, Halden Reactor Project, HWR-1056, 2013.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.