• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.9-16
• /
• 2010

본 사례 연구는 가상환경에서 자동차 의장 라인의 PLC 코드 검증 시스템을 구현하였다. 그간 인력과 PLC 검증 시간을 줄이고자 표준화된 PLC 에디터를 개발하려고 노력해왔으나, 실제 현장 환경에서 PLC 에디터를 적용하는데 어려움이 있었다. 본 연구는 현장의 PLC 모듈과 통신하며, 특별한 프로토콜을 이용하여 연결 환경을 구축하는 가상장비를 개발했다. PLC 모듈과 가상장비가 OPC 프로토콜에 의해 실시간으로 통제되므로 실제 장비를 설치하지 않고 PLC 코드를 검증할 수 있게 되었다. 실험적 모델을 자동차 공장의 최종 조립라인에 적용하고, DELMIA Automation을 이용하여 검증하였다. 결론적으로 PLC 코드 검증 과정과 가상장비 작동에 이 시스템이 유용하게 이용되었다. 이 시스템은 PLC 코드 개발 시간을 절약하며 조립라인의 생산성, 무결성을 높이는데 기여했다.

• Nuclear Engineering and Technology
• /
• 제55권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.