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 条

[31] Towards Obfuscation of Programmable Logic Controllers
Cozza, Vittoria
Dalla Preda, Mila
Lucchese, Marco
Merro, Massimo
Zannone, Nicola
18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, 2023,
[32] PROGRAMMABLE LOGIC CONTROLLERS - USER EXPERIENCE
LAPIDUS, G
CONTROL ENGINEERING, 1972, 19 (04) : 35 - &
[33] An empirical study of control logic specifications for programmable logic controllers
Oscar Ljungkrantz
Knut Åkesson
Martin Fabian
Amir Hossein Ebrahimi
Empirical Software Engineering, 2014, 19 : 655 - 677
[34] Programmable Logic Controllers in the Context of Industry 4.0
Sehr, Martin A.
Lohstroh, Marten
Weber, Matthew
Ugalde, Ines
Witte, Martin
Neidig, Joerg
Hoeme, Stephan
Niknami, Mehrdad
Lee, Edward A.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (05) : 3523 - 3533
[35] DATABASE-SYSTEMS FOR PROGRAMMABLE LOGIC CONTROLLERS
OZSOYOGLU, G
HOU, WC
OLA, A
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 420 : 183 - 199
[36] An empirical study of control logic specifications for programmable logic controllers
Ljungkrantz, Oscar
Akesson, Knut
Fabian, Martin
Ebrahimi, Amir Hossein
EMPIRICAL SOFTWARE ENGINEERING, 2014, 19 (03) : 655 - 677
[37] Graphical development of software for programmable logic controllers
Folch, Jose Roger
Perez, Juan
Pineda, Manuel
Puche, Ruben
2006 12TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE, VOLS 1-4, 2006, : 1960 - +
[38] An evaluation of modification attacks on programmable logic controllers
Schuett, Carl
Butts, Jonathan
Dunlap, Stephen
INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2014, 7 (01) : 61 - 68
[39] THE USE OF PROGRAMMABLE LOGIC CONTROLLERS FOR VACUUM PLANT
NUTTALL, JD
VACUUM, 1988, 38 (8-10) : 719 - 725
[40] State observer design in programmable logic controllers
Balasevicus, Leonas
Dervinis, Gintaras
Zakaraite, Snieguole
ECT 2007: ELECTRICAL AND CONTROL TECHNOLOGIES, PROCEEDINGS, 2007, : 21 - +

← 1 2 3 4 5 →