제어로봇시스템학회논문지 (Journal of Institute of Control, Robotics and Systems)
- 제2권1호
- /
- Pages.53-59
- /
- 1996
- /
- 1976-5622(pISSN)
- /
- 2233-4335(eISSN)
공정의 안전 검증을 위한 PLC 모듈 개발
Development of PLC modules for the safety verification of chemical processes
- Jeong, Sang-Hun (Pohang University of Science and Technology) ;
-
Lee, Kwang-Soon
(Dept.of Chemical Engineering, Sogang University) ;
-
Moon, Il
(Department of Chemical Engineering, Yonsei University)
- 발행 : 1996.03.01
초록
An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.