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

Rui Wang,Min Zhou,Liangze Yin,Lianyi Zhang,Jiaguang Sun,Ming Gu,Marius Bozga
DOI: https://doi.org/10.1109/tase.2012.33
2012-01-01
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.
What problem does this paper attempt to address?