지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2013.10
- 수록면
- 61 - 64 (4page)
이용수
초록· 키워드
오류제보하기
Objective: The purpose of this study is to verify the safety and accuracy of the computerized procedure(CP) which is installed in the ShinKori Unit 3&4 that is the reference plant for APR1400. It is necessary to check the CP about how the CP is created because the safety and accuracy of the CP will guarantee the safety of the nuclear power plant. Background: Traditional nuclear power plants have used the paper based procedure to operate the nuclear power plant. Recently, digital MMIS(Man Machine Interface system) is applied in Nuclear Power Plants(NPPs). The beneficial of using the computerized procedure system(CPS) rather than the paper based procedure is that the computerized procedure is information resources for the operators. And it will give operators a safe and accurate environment to operate because the procedures will check operators’ decision once again. The items must double checked for CP editing software are eliminate the possible problems in the CP, follow the right schema for the Procedure eXecution System(PXS), give the writers the right framework for what the procedure writer wants, and etc.. These items must be guaranteed because if the quality of the CP editing software is not assured then the installed CP will cause the problems. Method: The quality of the CP editing software which is called the Engineering System(ES) have to be verified that all the functions to work correctly and checked the design objectives identified in the design requirements so that the nuclear power plants safety are promised. In this study, we uses the vertical and horizontal requirement traceability matrix the followings: the design requirements(45 items), the system requirements(33 items), the technical design(22 items), implementation(4626 classes from source code), and test(29 items). Conclusion: We have identified and related the requirements to the design, to the source code, and to the test by using the vertical and horizontal requirement traceability matrix. For designing the software and system designs, using the vertical and horizontal requirement traceability matrix methods may apply to the fields which are concerned of safety and accuracy(ex: aviation field, traffic management, chemical plant industry, and etc.).
목차
ABSTRACT
1. Introduction
2. Software Verification and Validation Process
3. Software Development Steps
4. Verification and Validation Results
5. Conclusion
References
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0