ISSN : 1229-6783(Print)
ISSN : 2288-1484(Online)
ISSN : 2288-1484(Online)
Journal of the Korea Safety Management & Science Vol.17 No.1 pp.179-192
DOI : https://doi.org/10.12812/ksms.2015.17.1.179
DOI : https://doi.org/10.12812/ksms.2015.17.1.179
Formal Verification of PLC Program Safety in Manufacturing Automation System
October 27, 2015
March 17, 2015
March 17, 2015
Abstract
In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm’s productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.
생산자동화시스템 PLC 제어프로그램의 안전성 정형검증에 관한 연구
초록
Figure
Table
Reference
-
-
Online Submission
http://submission.koreasafety.or.kr
-
KSSM
The Korean Society of Safety ManagementWaste Society
-
Editorial Office
Contact Information- Tel: +82.31.336.2844
- Fax: +82.31.336.2845
- E-mail: safety@mju.ac.kr -
-
-
-
-
-
-
