The software verification and validation process for a PLC-based engineered safety features-component control system in nuclear power plants

IECON Proceedings (Industrial Electronics Conference)

Volumn 1, Issue , 2004, Pages 827-831

  Cheon, S W ^a   Lee, J S ^a   Kwon, K C ^a   Kim, D H ^a   Kim, H ^b  

^a Korea Atomic Energy Research Institute   (South Korea)

^b BNF Technology Inc   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; CONTROL EQUIPMENT; INTERFACES (COMPUTER); NUCLEAR INSTRUMENTATION; NUCLEAR POWER PLANTS; PROGRAMMABLE LOGIC CONTROLLERS; RELIABILITY;

DIGITAL TECHNOLOGY; ENGINEERED SAFETY FEATURES-COMPONENT CONTROL SYSTEM (ESF-CCS); GROUP CONTROLLERS (GC); SOFTWARE VERIFICATION;

CONTROL SYSTEMS;

EID: 20544464897     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. NUREG-0800, Standard Review Plan, Chapter 7, USNRC, 1997.
2. BTP HICB-14, Branch Technical Position HICB-14, Guidance on Software Reviews for Digital Computer-Based Instrumentation and Control Systems, USNRC, 1997.
3. IEEE Std 7-4.3.2, IEEE Standard for Digital Computers in Safety Systems of Nuclear Power Generating Stations, 1993.
4. IEEE Std 1012, Standard for Software Verification and Validation Plans, 1998.
5. IEEE Std 1028, Standard for Software Reviews and Audits, 1988.
6. J.B. Han et al., "Development of a Safety Grade System for KNICS," in Proceedings of the 25th KAIF-JAIF Seminar on Nuclear Technology, Seoul, Korea, Oct. 20-21, 2003.
7. Reg. Guide 1.170, Software Test Documentation for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, USNRC, 1997.
8. IEEE Std 1008, Standard for Software Unit Testing, 1987.
9. IEEE Std 829, Standard for Software Test Documentation, 1983.
10. M.E. Pagan, "Design and Code Inspections to Reduce Errors in Program Development," IBM Systems Journal, 15, No. 3, 1976.
11. S.W. Cheon et al., "Development of a Software Configuration Management System for Software Life Cycle Management," in Proceedings of the NPIC&HMIT 2004, Columbus, Ohio, Sept. 19-22, 2004.