Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2011.11a
  • /
  • Pages.56-58
  • /
  • 2011
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Functional Coverage Analysis of a Diversity Controller for Nuclear Power Plants

원전용 다양성 제어기기의 Functional Coverage 분석

  • Kim, Kyuchull (Dept of Applied Computer Engineering, Dankook University) ;
  • Oh, Seung-Rok (Dept of Electrical Engineering, Dankook University) ;
  • Choi, Jong-Gyun (Korea Atomic Energy Research Institute) ;
  • Hong, Seung-Il (Dept of Applied Computer Engineering, Dankook University) ;
  • Bae, Il-Ho (Dept of Electrical Engineering, Dankook University)
  • 김규철 (단국대학교 응용컴퓨터공학과) ;
  • 오승록 (단국대학교 전자공학과) ;
  • 최종균 (한국원자력원구원) ;
  • 홍승일 (단국대학교 응용컴퓨터공학과) ;
  • 배일호 (단국대학교 전자공학과)
  • Published : 2011.11.11
Download PDF
⟨ Previous Next ⟩

Abstract

원자력 발전소의 오작동이나 사고는 인명이나 재산상의 큰 피해를 초래하므로 엄격한 안전 기준을 적용하고 있다. 따라서 원자력 발전소의 안전성과 관련된 원전용 제어기는 높은 수준의 신뢰도와 안전도가 요구된다. 이를 위해 디지털 방식의 제어기에 PLC 방식의 제어기와 PLD 방식의 제어기를 사용하여 다양성을 얻고 있다. 본 논문에서는 PLD 방식의 원전용 트립제어기의 Functional Verification을 위하여 RTL 수준의 설계에 대한 Functional Coverage 분석을 사용하였다. 테스트벤치는 System Verilog에서 제공되는 클래스에 기반한 구조적 테스트벤치를 작성하여 사용하였다.

Keywords