KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
Programmable logic controllers (PLCs) are special purpose computers designed to perform industrial automation tasks. They require highly reliable control programs, particularly when used in safetycritical systems such as nuclear power stations. In the development of reliable control programs, formal...
Main Authors: | Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8620198/ |
Similar Items
-
A User-Friendly Verification Approach for IEC 61131-3 PLC Programs
by: Jiawen Xiong, et al.
Published: (2020-03-01) -
Formal Verification of Three-Valued Digital Waveforms
by: Nina Yu. Kutsak, et al.
Published: (2019-09-01) -
Formal Verification Methodologies for NULL Convention Logic Circuits
by: Le, Son Ngoc
Published: (2021) -
Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification
by: Hossain, Mousam
Published: (2020) -
Formal Analysis and Verification of Airborne Software Based on DO-333
by: Zongyu Cao, et al.
Published: (2020-02-01)