A refinement development approach for enhancing the safety of PLC programs with Event-B

Open Webpage

Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li

Published: 01 Jan 2022, Last Modified: 13 May 2025Sci. Comput. Program. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•A refinement-based approach for modeling PLC systems using Event-B.•Defining PLC features are modeled with a 3-layer framework.•It decomposes the complexity of modeling and verification by stepwise refinement.•The safety requirements of PLC systems can be verified during the development.•It generates PLC program code compatible with IEC 61131-3 standard from the model.