Modeling and Validation of PLC-Controlled Systems: A Case Study

Author

Wang, Rui ; Zhou, Min ; Yin, Liangze ; Zhang, Lianyi ; Sun, Jiaguang ; Ming, Gu ; Bozga, Marius

Author_Institution

Key Lab. of ISS of MOE, Tsinghua Univ., Beijing, China

fYear

2012

fDate

4-6 July 2012

Firstpage

161

Lastpage

166

Abstract

Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper shows the modeling and validation work of a typical PLC control system using the Behavior-Interaction-Priority(BIP) component framework. The gate control system based on PLC is a real industry application. We design general system architecture for this kind of device control system. The control software and hardware of environment are all modeled as BIP components. Their interactions are described by BIP connectors. System requirements are formalized as monitors. Simulation is applied on the system model. We found a couple of design errors in simulation, which help us to improve the dependability of the original systems.

Keywords

control engineering computing; program verification; programmable controllers; BIP components; BIP connectors; PLC control system; behavior-interaction-priority component framework; complex cyber-physical systems; design errors; device control system; gate control system; original systems dependability; programable logic controllers; real industry application; system model; Computer architecture; Control systems; Latches; Logic gates; Monitoring; Safety; Software;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on

Conference_Location

Beijing

Print_ISBN

978-1-4673-2353-6

Type

conf

DOI

10.1109/TASE.2012.33

Filename

6269640