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 条
  • [21] Verifying Programmable Logic Controllers with Abstraction
    Wang, Rui
    Gu, Ming
    Song, Xiaoyu
    Zhang, Hehua
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 225 - +
  • [22] FAILURE RATES FOR PROGRAMMABLE LOGIC CONTROLLERS
    PAULA, HM
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1993, 39 (03) : 325 - 328
  • [23] Predicate Abstraction for Programmable Logic Controllers
    Biallas, Sebastian
    Giacobbe, Mirco
    Kowalewski, Stefan
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 123 - 138
  • [24] Programmable logic controllers in process automation
    Mikkor, A
    Roosimölder, L
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE OF DAAAM NATIONAL ESTONIA, 2004, : 63 - 65
  • [25] PIPELINE CONTROL WITH PROGRAMMABLE LOGIC CONTROLLERS
    MUMA, WF
    HENRY, DE
    ISA TRANSACTIONS, 1977, 16 (01) : 73 - 78
  • [26] Generative Programming for Programmable Logic Controllers
    Cote, Daniel
    St-Denis, Richard
    Kerjean, Sylvain
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
  • [27] ROLE OF PROGRAMMABLE LOGIC CONTROLLERS IN INDIA
    CHETTY, BA
    ELECTRONICS INFORMATION & PLANNING, 1981, 8 (09): : 651 - 664
  • [28] EXPERIENCES WITH PROGRAMMABLE LOGIC CONTROLLERS.
    Hays, Ean L.
    Pulp and Paper Canada, 1980, 81 (02): : 73 - 75
  • [29] A Verification Approach for Programmable Logic Controllers
    Luo, Xiang-yu
    Li, Yong
    Du, Wan-xiao
    Yang, Fan
    Yang, Zhi-gang
    INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016), 2016, : 314 - 319
  • [30] SELECTING PROGRAMMABLE-LOGIC CONTROLLERS
    JOHNSON, DG
    TOOLING & PRODUCTION, 1984, 50 (04): : 30 - 33
12345