A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

Programmable logic controllers (PLCs) are special embedded computers that are widely used in industrial control systems. To ensure the safety of industrial control systems, it is necessary to verify the correctness of PLCs. Formal verification is considered to be an effective method to verify whethe...

Full description

Bibliographic Details
Main Authors: Jiawen Xiong, Gang Zhu, Yanhong Huang, Jianqi Shi
Format: Article
Language:English
Published: MDPI AG 2020-03-01
Series:Electronics
Subjects:
IEC 61131-3 standard
industrial control system
PLC
specification mining
verification
Online Access:https://www.mdpi.com/2079-9292/9/4/572

Similar Items

Similar Items