K-ST: A formal executable semantics of the structured text language for PLCs

K-ST: A formal executable semantics of the structured text language for PLCs

Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is critical to ensure that they operate correctly and safely. The majority of PLCs are programmed in languages such as Struct...

Full description

Saved in:
Bibliographic Details
Main Authors: WANG, Kun, WANG, Jingyi, POSKITT, Christopher M., CHEN, Xiangxiang, SUN, Jun, CHENG, Peng
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2023
Subjects:
formal executable semantics
PLC programming
structured text
K framework
OpenPLC
Programming Languages and Compilers
Software Engineering
Theory and Algorithms
Online Access:https://ink.library.smu.edu.sg/sis_research/8199
https://ink.library.smu.edu.sg/context/sis_research/article/9202/viewcontent/k_st_structured_text_tse23_av.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/8199
https://ink.library.smu.edu.sg/context/sis_research/article/9202/viewcontent/k_st_structured_text_tse23_av.pdf

Similar Items