• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.3
• /
• pp.449-458
• /
• 2022

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.