원문정보
초록
영어
This paper describes safety-critical software qualification methods and its approach, which corresponds to well-structured qualification organization, methods and results, software quality assurance, and software configuration management. This paper also describes the verification test environment, test components and items, a traceability analysis, and system tests as a result of software qualification based on Software Requirement Specifications (SRS) for a safety-grade optical modem of a Core Protection Calculator (CPC) in a Korea Standard Nuclear Power Plant (KSNP), and Software Design Specifications (SDS) for a safety-grade optical modem of a CPC in a KSNP. We believe that we achieve the functionality, performance, reliability, and safety, which are the software qualification objective goals of safety-critical systems.
목차
1. Introduction
2. Methods and Results
2.1. Traceability Analysis
2.2 Verification test environment
2.3. Test Components and Test Items
2.4. Test Results
3. Software Quality Assurance Measurement
3.1. Software Quality Assurance
3.2. Software Configuration Management
4. Conclusions
Acknowledgements
References