A Component-Based Modeling and Validation Method for PLC Systems

A Component-Based Modeling and Validation Method for PLC Systems

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...

Full description

Bibliographic Details
Main Authors: Rui Wang, Yong Guan, Min Zhou, Jie Zhang, Xiaoyu Song
Format: Article
Language:English
Published: SAGE Publishing 2014-05-01
Series:Advances in Mechanical Engineering
Online Access:https://doi.org/10.1155/2014/127618

Similar Items

Similar Items