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

• 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
• Institution: Singapore Management University

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