Formal verification and validation of the safety-critical software in a digital reactor protection system

5th International Topical Meeting on Nuclear Plant Instrumentation Controls, and Human Machine Interface Technology (NPIC and HMIT 2006)

Volumn 2006, Issue , 2006, Pages 1371-1376

  Kwon, Kee Choon ^a   Park, Gee Yong ^a  

^a Korea Atomic Energy Research Institute   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; INSPECTION; SAFETY DEVICES;

DIGITAL REACTOR PROTECTION SYSTEM (DRPS); SOFTWARE CONFIGURATION MANAGEMENT; TRACEABILITY ANALYSIS;

NUCLEAR REACTORS;

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

References (13)

1. J. H. Park, D. Y. Lee, and C. H. Kim, "Development of KNICS RPS Prototype," Proceedings of ISOFIC 2005, pp. 160-163, Tongyeong, Korea, (2005).
2. USNRC, NUREG-0800, Standard Review Plan, Chapter 7, (1997).
3. USNRC, Branch Technical Position HICB-14, Guidance on Software Reviews for Digital Computer-Based Instrumentation and Control Systems, (1997).
4. USNRC, Reg. Guide 1.152 Rev.2, Criteria for Use of Computers in Safety Systems of Nuclear Power Plants, (2006).
5. IEEE Std. 7-4.3.2, IEEE Standard for Digital Computers in Safety Systems of Nuclear Power Generating Stations, (2003).
6. IEEE Std. 1012, Standard for Software Verification and Validation Plans, (2004).
7. IEEE Std. 1008, Standard for Software Unit Testing, (1987).
8. IEEE Std. 829, Standard for Software Test Documentation, (1998).
9. IEEE Std. 1028, Standard for Software Reviews and Audits, (1997).
10. M. E. Fagan, "Design and Code Inspections to Reduce Errors in Program Development," IBM Systems Journal, Vol. 15, No. 3, (1976).
11. Junbeom Yoo, Taihyo Kim, Sungdeok Cha, Jang-Soo Lee, Han Seong Son, "A Formal Software Requirements Specification Method for Digital Nuclear Plant Protection Systems," Journal of Systems and Software, Vol. 74, No. 1, pp. 73-83, (2005).
12. T. Sivertsen, Formal Development of the HRP Prover-Part 1: Syntax and Semantics, HWR-455, OECD Halden Reactor Project, (1996).
13. T. Sivertsen, Formal Development of The HRP Prover-Part 2: Theorem Proving, Transformation, and Code Generation, HWR-524, OECD Halden Reactor Project, (1998).