文章基本信息

标题：Methods of Software Qualification for a Safety-grade Optical Modem to be used Core Protection Calculator (CPC) in Korea Standard Nuclear Power Plant (KSNP)
本地全文：下载
作者：Jangyeol Kim ; Soongohn Kim
期刊名称：International Journal of Software Engineering and Its Applications
印刷版ISSN：1738-9984
出版年度：2014
卷号：8
期号：4
页码：233-242
DOI：10.14257/ijseia.2014.8.4.24
出版社：SERSC
摘要：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.
关键词：Software Qualification; Software Quality Assurance; Verification and ; Validation; Software Configuration Management; Integration & System Test; Safety-grade ; Optical Modem; Core Protection Calculator; Korea Standard Nuclear Power Plant