PDF

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

Jiawen Xiong, Gang Zhu

2020EnglishPLCindustrial controlformal verificationspecification miningsafetyembedded systems

Abstract

Language:

Programmable logic controllers (PLCs) are special embedded computers that are widely used in industrial control systems. To ensure the safety of industrial control systems, it is necessary to verify the correctness of PLCs. Formal verification is considered to be an effective method to verify whether a PLC program conforms to its specifications, but the expertise requirements and the complexity make it hard to be mastered and widely applied. In this paper, we present a specification-mining-based verification approach for IEC 61131-3 PLC programs. It only requires users to review specifications mined from the program behaviors instead of model checking for specified specifications, which can greatly improve the efficiency of safety verification and is much easier for control system engineers to use. Moreover, we implement a proof-of-concept tool named PLCInspector that supports directly mining LTL specifications and data invariants from PLC programs. Two examples and one real-life case study are presented to illustrate its practicability and efficiency. In addition, a comparison with the existing verification approaches for PLC programs is discussed.

Download

Cite This Work

@article{a7d43acd-1793-49db-8e27-9d463528ba78,
  title={A User-Friendly Verification Approach for IEC 61131-3 PLC Programs},
  author={Jiawen Xiong and Gang Zhu},
  year={2020},
  language={English}
}
TY  - JOUR
TI  - A User-Friendly Verification Approach for IEC 61131-3 PLC Programs
AU  - Jiawen Xiong
AU  - Gang Zhu
PY  - 2020
LA  - English
ER  -

Similar Items

Modeling and Analysis of Distributed Control Systems: Proposal of a Methodology

Milan Tkᡠcik, Ján Jadlovský

A Distributed Control System is a concept of Network Control Systems whose applications range from industrial control systems to the control of large

2024EnglishPDF

Integrating a Top-Gas Recycling and CO2 Electrolysis Process for H2-Rich Gas Injection and Reduce CO2 Emissions from an Ironmaking Blast Furnace

Yichao Hu, Yinxuan Qiu

Introducing CO2 electrochemical conversion technology to the iron-making blast furnace not only reduces CO2 emissions, but also produces H2 as a bypro

2022EnglishPDF

Mathematical Modelling for Furnace Design Refining Molten Aluminum

Alfredo Alan Flores Saldívar, Rodrigo Juárez Martínez

The design of an aluminium melting furnace has faced two challenges: mathematical modelling and simulative optimization. This paper first uses fluid d

2021EnglishPDF

Flow Control Based on Feature Extraction in Continuous Casting Process

Shereen Abouelazayem, Ivan Glavinić

The flow structure in the mold of a continuous steel caster has a significant impact on the quality of the final product. Conventional sensors used in

2020EnglishPDF

Digital-Twin-Based Coordinated Optimal Control for Steel Continuous Casting Process

Jian Yang, Zhenping Ji

A digital-twin-model-based optimal control system is presented for the steel continuous casting process. The system is designed for the coordinated op

2023EnglishPDF

Advanced Injection Molding Methods: Review

Mateusz Czepiel, Magdalena Ba ńkosz

Injection molding is a method commonly used to manufacture plastic products. This technology makes it possible to obtain products of specially designe

2023EnglishPDF