You need JavaScript to view this

A survey on the high reliability software verification and validation technology for instrumentation and control in NPP.

Abstract

This document presents the technical status of the software verification and validation (V and V) efforts to support developing and licensing digital instrumentation and control (I and C) systems in nuclear power plants. We have reviewed codes and standards to be concensus criteria among vendor, licensee and licenser. Then we have described the software licensing procedures under 10 CFR 50 and 10 CFR 52 of the United States cope with the licensing barrier. At last, we have surveyed the technical issues related to developing and licensing the high integrity software for digital I and C systems. These technical issues let us know the development direction of our own software V and V methodology. (Author) 13 refs., 2 figs.,.
Authors:
Kwon, Kee Choon; Lee, Chang Soo; Dong, In Sook [1] 
  1. Korea Atomic Energy Research Institute, Taejon (Korea, Republic of)
Publication Date:
Jan 01, 1994
Product Type:
Technical Report
Report Number:
KAERI-TR-411/94
Reference Number:
SCA: 220400; 990200; PA: AIX-26:060091; EDB-95:129213; ERA-20:025994; NTS-96:006310; SN: 95001462330
Resource Relation:
Other Information: PBD: Jan 1994
Subject:
22 NUCLEAR REACTOR TECHNOLOGY; 99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; NUCLEAR POWER PLANTS; COMPUTERIZED CONTROL SYSTEMS; REACTOR INSTRUMENTATION; COMPUTER CODES; COMPUTERS; DIGITAL SYSTEMS; QUALITY ASSURANCE; VERIFICATION
OSTI ID:
103178
Research Organizations:
Korea Atomic Energy Research Inst., Daeduk (Korea, Republic of)
Country of Origin:
Korea, Republic of
Language:
Korean
Other Identifying Numbers:
Other: ON: DE96600669; TRN: KR9500031060091
Availability:
INIS; OSTI as DE96600669
Submitting Site:
KRN
Size:
114 p.
Announcement Date:
Oct 11, 1995

Citation Formats

Kwon, Kee Choon, Lee, Chang Soo, and Dong, In Sook. A survey on the high reliability software verification and validation technology for instrumentation and control in NPP.. Korea, Republic of: N. p., 1994. Web.
Kwon, Kee Choon, Lee, Chang Soo, & Dong, In Sook. A survey on the high reliability software verification and validation technology for instrumentation and control in NPP.. Korea, Republic of.
Kwon, Kee Choon, Lee, Chang Soo, and Dong, In Sook. 1994. "A survey on the high reliability software verification and validation technology for instrumentation and control in NPP." Korea, Republic of.
@misc{etde_103178,
title = {A survey on the high reliability software verification and validation technology for instrumentation and control in NPP.}
author = {Kwon, Kee Choon, Lee, Chang Soo, and Dong, In Sook}
abstractNote = {This document presents the technical status of the software verification and validation (V and V) efforts to support developing and licensing digital instrumentation and control (I and C) systems in nuclear power plants. We have reviewed codes and standards to be concensus criteria among vendor, licensee and licenser. Then we have described the software licensing procedures under 10 CFR 50 and 10 CFR 52 of the United States cope with the licensing barrier. At last, we have surveyed the technical issues related to developing and licensing the high integrity software for digital I and C systems. These technical issues let us know the development direction of our own software V and V methodology. (Author) 13 refs., 2 figs.,.}
place = {Korea, Republic of}
year = {1994}
month = {Jan}
}