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