• Nuclear Engineering and Technology
• /
• v.36 no.2
• /
• pp.184-195
• /
• 2004

The multi-tasking feature of digital I&C equipment could increase risk concentration because the I&C equipment affects the actuation of the safety functions in several ways. Anticipated Transient without Scram (ATWS) is a typical case of safety function failure in nuclear power plants. In a conventional analysis, mechanical failures are treated as the main contributors of the ATWS. This paper quantitatively presents the probability of the ATWS based on a fault tree analysis of a Korea Standard Nuclear Power Plant is also presented. An analysis of the digital equipment in the digital plant protection system. The results show that the digital system severely affects the ATWS frequency. We also present the results of a sensitivity study, which show the effects of the important factors, and discuss the dependency between human operator failure and digital equipment failure.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.185-188
• /
• 2001

원자력 발전소 내장형 시스템과 같이 시스템 오작동으로 인하여 엄청난 재난을 불러올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 이에 따라 원자력 발전소의 비상 차단 시스템과 같이 고도의 안정성을 요하는 부분에 대해 정형 명세 언어인 STATECHART 를 이용하여 명세하고 테스팅하는 연구가 있어 왔다. 하지만 테스팅 기법만으로는 시스템에서 생길 수 있는 예기치 못한 오류들을 정확히 검출해 낼 수 없다. 그래서 본 논문에서는 시스템의 보다 높은 안전성과 신뢰성을 제공하기 위해 원자력 발전소 비상 차단 시스템인 DPPS(Digital Plant Protection System)를 분석하여 이를 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 명세함으로써 설계자와 구현자간의 의사 소통을 원활하게 전달함은 물론 모델 체킹 검증 도구인 SMV 로 검증함으로써 실제 원자력 발전소 비상 차단 시스템의 신뢰성과 안전성을 높이고자 한다.