Title :
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
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;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International Symposium on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2353-6
DOI :
10.1109/TASE.2012.33
