• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.9-16
• /
• 2010

This study presents a system for validating the PLC code in the virtual environments of automobile trim line. There have been considerable efforts to develop standard PLC editors for saving human power and PLC test time. However, it was difficult to apply the PLC editor on a real shop floor environment. A virtual equipment was developed to communicate with the PLC module of a shop floor and to make up the connectivity environment by a special protocol. We can validate the code without launching real equipments because the PLC module and the virtual equipment is able to be controlled in real time by the OPC protocol. An experimental model is applied to the final assembly line of an automotive industry and validated by using DELMIA Automation. In conclusion, the system is valuable in the process of PLC codes validation and virtual equipments operation. This system would reduce the development time of the PLC codes and improve the productivity and the integrity of the PLC codes.

• Nuclear Engineering and Technology
• /
• v.55 no.1
• /
• pp.25-36
• /
• 2023

Nuclear power plants have recognized the importance of nuclear cybersecurity. Based on regulatory guidelines and security-related standards issued by regulatory agencies around the world including IAEA, NRC, and KINAC, nuclear operating organizations and related systems manufacturing organizations, design companies, and regulatory agencies are considering methods to prepare for nuclear cybersecurity. Cryptographic algorithms have to be developed and applied in order to meet nuclear cybersecurity requirements. This paper presents methodologies for validating cryptographic algorithms that should be continuously applied at the critical control system of I&C in NPPs. Through the proposed schemes, validation programs are developed in the PLC, which is a critical system of a NPP's I&C, and the validation program is verified through simulation results. Since the development of a cryptographic algorithm validation program for critical digital systems of NPPs has not been carried out, the methodologies proposed in this paper could provide guidelines for Cryptographic Module Validation Modeling for Control Systems in NPPs. In particular, among several CMVP, specific testing techniques for ECB mode-based block ciphers are introduced with program codes and validation models.