Symbolic Analysis of Programmable Logic Controllers

被引：14

作者：

Zhang, Hehua ^{[1
]}

Jiang, Yu ^{[2
]}

Hung, William N. N. ^{[3
]}

Song, Xiaoyu ^{[4
]}

Gu, Ming ^{[1
]}

Sun, Jiaguang ^{[1
]}

机构：

[1] Tsinghua Univ, Tsinghua Informat Sci & Technol Natl Lab TNLIST, Sch Software, Beijing 100084, Peoples R China

[2] Tsinghua Univ, Tsinghua Informat Sci & Technol Natl Lab TNLIST, Dept Comp Sci & Technol, Beijing 100084, Peoples R China

[3] Synopsys Inc, Mountain View, CA 94035 USA

[4] Portland State Univ, Elect & Comp Engn ECE Dept, Portland, OR 97207 USA

来源：

IEEE TRANSACTIONS ON COMPUTERS | 2014年 / 63卷 / 10期

关键词：

PLC; Hidden Markov model; probabilistic analysis; AUTOMATIC VERIFICATION; MARKOV-MODELS; RELIABILITY;

D O I：

10.1109/TC.2013.124

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Programmable Logic Controllers (PLC) are widely used in industry. The reliability of the PLC is vital to many critical applications. This paper presents a novel approach to the symbolic analysis of PLC systems. The approach includes, (1) calculating the uncertainty characterization of the PLC system, (2) abstracting the PLC system as a Hidden Markov Model, (3) solving the Hidden Markov Model with domain knowledge, (4) combining the solved Hidden Markov Model and the uncertainty characterization to form a regular Markov model, and (5) utilizing probabilistic model checking to analyze properties of the Markov model. This framework provides automated analysis of both uncertainty calculations and performance measurements, without the need for expensive simulations. A case study of an industrial, automated PLC system demonstrates the effectiveness of our work.

引用

页码：2563 / 2575

页数：13

共 50 条

[41] A review on the applications of programmable logic controllers (PLCs)
Alphonsus, Ephrem Ryan
Abdullah, Mohammad Omar
RENEWABLE & SUSTAINABLE ENERGY REVIEWS, 2016, 60 : 1185 - 1205
[42] State controller design in programmable logic controllers
Balasevicius, L.
Janusevicius, V. S.
Zakaraite, S.
ELEKTRONIKA IR ELEKTROTECHNIKA, 2008, (01) : 19 - 22
[43] RELIABILITY ASPECTS OF PROGRAMMABLE LOGIC CONTROLLERS.
Lowe, D.R.T.
Measurement and Control, 1984, 17 (08) : 310 - 312
[44] Intelligent positioning modules for programmable logic controllers
Ohta, S
Kondo, H
MITSUBISHI ELECTRIC ADVANCE, 1996, 76 : 7 - 9
[45] Intelligent positioning modules for programmable logic controllers
Ohta, Shun
Kondo, Haruhiko
Mitsubishi Electric Advance, 1996, 76 : 7 - 9
[46] Sensitivity of Programmable Logic Controllers to Voltage Sags
Xu, Yonghai
Wu, Yapen
Zhang, Mengmeng
Xu, Shaobo
IEEE TRANSACTIONS ON POWER DELIVERY, 2019, 34 (01) : 2 - 10
[47] Formal modeling and synthesis of programmable logic controllers
Wang, Rui
Song, Xiaoyu
Zhu, Jianzhong
Gu, Ming
COMPUTERS IN INDUSTRY, 2011, 62 (01) : 23 - 31
[48] Automatic Fault Localization for Programmable Logic Controllers
Suelflow, Andre
Drechsler, Rolf
FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 247 - 256
[49] Development of a program generator for programmable logic controllers
Ram, Bala
Lai, Steven H.-Y.
Computers and Industrial Engineering, 1992, 23 (1-4): : 335 - 339
[50] Programmable Logic Controllers and Transient Heat Models
Ivo, Spicka
Milan, Heger
Ondrej, Zimny
2014 15TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC), 2014, : 584 - 587

← 1 2 3 4 5 →