한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)

한국원자력학회 (Korean Nuclear Society)
권호 표지

Mathematical Verification of A Nuclear Power Plant Protection System Function With Combined CPN and PVS

  • Koo, Seo-Ryung (Korea Advanced Institute of Science and Technology Department of Nuclear Engineering) ;
  • Son, Han-Seong (Korea Advanced Institute of Science and Technology Department of Nuclear Engineering) ;
  • Seong, Poong-Hyun (Korea Advanced Institute of Science and Technology Department of Nuclear Engineering)
  • 발행 : 1998.05.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri net (CPN) for modeling and Prototype Verification system (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, a translator has been developed in this work. The combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip)and found to be promising for further research and applications.

키워드