A Component-Based Modeling and Validation Method for PLC Systems-Reference-Cited by-同舟云学术

A Component-Based Modeling and Validation Method for PLC Systems

Published:2014-01-01 Issue: Volume:6 Page:127618
ISSN:1687-8140
Container-title:Advances in Mechanical Engineering
language:en
Short-container-title:Advances in Mechanical Engineering

Author:

Wang Rui¹,Guan Yong¹²,Zhou Min³,Zhang Jie⁴,Song Xiaoyu⁵

Affiliation:

1. College of Information Engineering, Capital Normal University, Beijing 100048, China

2. Mechanical, Aerospace, and Biomedical Engineering Department, University of Tennessee, Knoxville, TN 37996-2210, USA

3. School of Software, Tsinghua University, Beijing 100084, China

4. College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China

5. Electrical and Computer Engineering Department, Portland State University, Portland, OR 97201, USA

Abstract

Programmable logic controllers (PLCs) are complex embedded systems that are widely used in industry. This paper presents a component-based modeling and validation method for PLC systems using the behavior-interaction-priority (BIP) framework. We designed a general system architecture and a component library for a type of device control system. The control software and hardware of the environment were all modeled as BIP components. System requirements were formalized as monitors. Simulation was carried out to validate the system model. A realistic example from industry of the gates control system was employed to illustrate our strategies. We found a couple of design errors during the simulation, which helped us to improve the dependability of the original systems. The results of experiment demonstrated the effectiveness of our approach.

Funder

National Natural Science Foundation of China

Publisher

SAGE Publications

Subject

Mechanical Engineering

Link

http://journals.sagepub.com/doi/pdf/10.1155/2014/127618

Reference8 articles.

1. The SMV System

2. A Tutorial on Uppaal

3. Modelling and verification of program logic controllers using timed automata

4. Formal Specification and Verification of Industrial Control Logic Components

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of ST Programs using CSP;Journal of Physics: Conference Series;2021-09-01

2. Application of PLC and HMI in the measurement and control platform of single-tube heat transfer experiment rig;Advances in Mechanical Engineering;2020-11

3. The Component-based Design Method for Agent-based Multi-AGV System;2019 IEEE 17th International Conference on Industrial Informatics (INDIN);2019-07