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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2014-05-01
|
| Series: | Advances in Mechanical Engineering |
| Online Access: | https://doi.org/10.1155/2014/127618 |