Skip to main content
Article
A Component-Based Modeling and Validation Method for PLC Systems
Advances in Mechanical Engineering
  • Rui Wang, Capital Normal University
  • Yong Guan, University of Tennessee - Knoxville
  • Min Zhou, Tsinghua University
  • Jie Zhang, Beijing University of Chemical Technology
  • Xiaoyu Song, Portland State University
Document Type
Article
Publication Date
5-25-2014
Subjects
  • Programmable controllers,
  • Computer reliability,
  • Computer systems -- Verification,
  • Cyckic codes,
  • Computer software
Abstract
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 library for a type of device control system. The control software and hardware of the environment were all modeled as BIP components. System requirements were formalized as monitors. Simulation was carried out to validate the system model. A realistic example from industry of the gates control system was employed to illustrate our strategies. We found a couple of design errors during the simulation, which helped us to improve the dependability of the original systems. The results of experiment demonstrated the effectiveness of our approach.
Description

Copyright 2014 Rui Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

DOI
10.1155/2014/127618
Persistent Identifier
http://archives.pdx.edu/ds/psu/12389
Citation Information
Rui Wang, Yong Guan, Min Zhou, Jie Zhang, and Xiaoyu Song, “A Component-Based Modeling and Validation Method for PLC Systems,” Advances in Mechanical Engineering, vol. 2014, Article ID 127618, 9 pages, 2014