KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

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...

Full description

Bibliographic Details
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:
Formal verification
K framework
operational semantics
programmable logic controller
Online Access:https://ieeexplore.ieee.org/document/8620198/

Internet

https://ieeexplore.ieee.org/document/8620198/

Similar Items