한국전자통신학회논문지 (The Journal of the Korea institute of electronic communication sciences)

한국전자통신학회 (Korea Institute of Electronic Communication Science)
권호 표지
DOI QR코드

DOI QR Code

안전등급 제어기 프로세서 모듈 가상화

Virtualization of Safety-Related Controller Processor Module

  • 투고 : 2022.04.19
  • 심사 : 2022.06.17
  • 발행 : 2022.06.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

발전소에는 사고에 대비하여 사고를 방지하거나, 사고 시 발전소의 안정적인 운영을 위하여 여러 단계의 검증을 거친 프로그램을 제어기에 설치하여 운영한다. 본 논문은 발전소 안전 제어 설비에 사용되는 제어기 프로세서에 대하여 검증 완료된 바이너리 형태의 운영체제 및 응용 프로그램이 동작할 수 있도록 가상화한 기술에 대해 기술하였다. 본 가상화 프로세서에 적용된 기술은 상용 Tool을 이용하여 명령어 해석기, 분석기 등 안전등급 제어기 프로세서 모듈 동작에 필수적인 구성 요소들을 구현하였으며, 가상화 플랫폼 개발은 Imperas Tool을 사용하여 Linux 기반의 운영체제에서 개발하였다. 또한, 구현된 가상 프로세서 모듈이 정상적으로 바이너리 형태의 명령을 해석하고 수행하는지 확인하였다.

In a power plant, the utility operates controllers include safety program that has performed several stages verification to prevent accidents in preparation for accidents, or to stably operate in accident. This paper describes the virtualization technology so that the verified binary operating system and application program can operate on the controller processor used in the power plant safety control facility. The technology applied to this virtualization processor uses commercial tools to implement the essential components for the operation of the safety-grade controller processor module, such as command interpreters and analyzers, and the virtualization platform was developed in a Linux-based operating system using the Imperas Tool. In addition, it was checked whether the implemented virtual processor module can normally interpret and execute binary-type instructions.

키워드

참고문헌

  1. S. R. Oh, and Y. C. Bae, "Cyber-Physical System for Energy Management," Journal of the KIECS, vol. 16, no. 2, Apr. 2021, pp. 279-286.
  2. N. W. Kim, and J. S. Park, "A Case Study of the Implementation and Verification of VLAN-applied Network Based on a Five-step Scenario," Journal of the KIECS, vol. 16, no. 1, Feb. 2021, pp. 25-36.
  3. S. Kaur, N. Kathpal, and N. Munjal, "Role of SCADA in Hydro Power Plant Automation," International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering, vol. 4, issue 10, Oct. 2015, pp. 8085-8090. https://doi.org/10.15662/IJAREEIE.2015.0410005
  4. M. N. Lakhoua, "SCADA Applications in thermal power plants," International Journal of the Physical Sciences, vol. 5, no. 6, June 2010, pp. 1175-1182.
  5. K. Kwon, D. Lee, C. Kim, and C. Choi, "Development of Nuclear Safety Grade PLC.," Nuclear industry, no. 2, 2007, pp. 43-47.
  6. K. Cha, J. Kim, J. Lee, S. Cheon, and K. Kwon, "Software Qualification of a Programmable Logic Controller for Nuclear Instrumentation and Control Applications," Proceedings of the 6th WSEAS International Conference on Applied Information and Communication, Elounda, Greece, 2006, pp. 353-358.
  7. H. Hwang, S. Song, Y. No, D. Yun, G. Park, M. Kim, K. Choi, and U. Lee, "The Interface Between Redundant Processor Modules of Safety Grade PLC Using Mass Storage DPRAM," Transaction of the Korea Nuclear Society Autumn Meeting, Jeju, Korea, Oct. 2010, pp. 1209-1210.
  8. IBM Corporation, "Virtualization in education," Whitepaper, 2007.
  9. VMWare, "Understanding Full Virtualization, Paravirtualization, and Hardware Assist," White Paper, 2007.
  10. T. Foster, "Symmetric Multiprocessing Vs. Asymmetric Multiprocessing," Electronic Design Magazine, no. 12, 2007.
  11. S. Jayadevappa, R. Shankar, and I. Mahgoub, "A comparative study of modeling at different levels of abstraction in system on chip designs: A case study," In Proc. of IEEE Computer Society Annual Symposium on VLSI Emerging Trend in VLSI Systems Design (ISVLSI04), Lafayette, USA, 2004, pp. 19-26.
  12. T. Baker, "An Analysis of Fixed-Priority Schedulability on a Multiprocessor," Real-Time, vol. 32, no. 2, 2006, pp. 49-71.