A Verification Approach for Programmable Logic Controllers

被引：0

作者：

Luo, Xiang-yu ^{[1
]}

Li, Yong ^{[1
]}

Du, Wan-xiao ^{[1
]}

Yang, Fan ^{[2
]}

Yang, Zhi-gang ^{[1
]}

机构：

[1] Huaqiao Univ, Coll Comp Sci & Technol, Xiamen 361021, Peoples R China

[2] Huaqiao Univ, Coll Mech Engn & Automat, Xiamen 361021, Peoples R China

来源：

INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016) | 2016年

关键词：

Programmable logic controller; System modeling; Software verification;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents an iterative approach to the verification of programmable logic controllers. We explore the modeling method for timing, environment and controller logics in a system, in which predicate abstraction and counterexample-guided refinement strategies are employed. We use a representative example to illustrate the proposed approach and verify it by the model checker CBMC. The experimental results show the validity of the approach.

引用

页码：314 / 319

页数：6

共 50 条

[1] MODELING PROGRAMMABLE LOGIC CONTROLLERS FOR LOGIC VERIFICATION
MOON, I
[J]. IEEE CONTROL SYSTEMS MAGAZINE, 1994, 14 (02): : 53 - 59
[2] A FIRMWARE VERIFICATION TOOL FOR PROGRAMMABLE LOGIC CONTROLLERS
McMinn, Lucille
Butts, Jonathan
[J]. CRITICAL INFRASTRUCTURE PROTECTION VI, 2012, 390 : 59 - 69
[3] Formalisation and verification of programmable logic controllers timers in Coq
Wan, H.
Chen, G.
Song, X.
Gu, M.
[J]. IET SOFTWARE, 2011, 5 (01) : 32 - 42
[4] An approach to choice of language for programmable logic controllers
Druzhinin, V.A.
Branishtov, S.A.
[J]. Pribory i Sistemy Upravleniya, 2001, (03): : 6 - 12
[5] An integrated framework for verification of IEC standard programmable logic controllers
Dangol, Suraj
Thapa, Devinder
Cho, Ki Heang
Park, Chang Mok
Wang, Gi Nam
[J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3060 - 3063
[6] Programmable logic controllers
Johnson, Dick
[J]. CONTROL ENGINEERING, 2007, 54 (12) : 49 - +
[7] Programmable logic controllers
Erickson, Kelvin T.
[J]. IEEE Potentials, 1996, 15 (01): : 14 - 17
[8] Programmable logic controllers
不详
[J]. CONTROL ENGINEERING, 2008, 55 (09) : 83 - 90
[9] Fresh Approaches for Structured Text Programmable Logic Controllers Programs Verification
Siboulet, Emile
Pottier, Louen
Ranger, Tom
Riera, Bernard
[J]. PROCESSES, 2023, 11 (03)
[10] Virtualizing Programmable Logic Controllers: Toward a Convergent Approach
Cruz, Tiago
Simoes, Paulo
Monteiro, Edmundo
[J]. IEEE EMBEDDED SYSTEMS LETTERS, 2016, 8 (04) : 69 - 72

← 1 2 3 4 5 →