한국품질경영학회:학술대회논문집 (Proceedings of the Korean Society for Quality Management Conference)
- 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
- /
- Pages.114-119
- /
- 2004
안전에 중요한 소프트웨어 개발을 위한 확인 및 검증
Verification and Validation to develop Safety-critical Software
-
Lee Jong-Bok
(Korea Atomic Energy Research Institute) ;
-
Suh Sang-Moon
(Korea Atomic Energy Research Institute) ;
- Keum Jong-Yong (Korea Atomic Energy Research Institute)
- 발행 : 2004.04.01
초록
Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.
키워드