TY - GEN
T1 - Decomposition and Collaboration of Industrial Control System with Resource Constraints
AU - Li, Ju
AU - Xiong, Jiawen
AU - Mao, Xia
AU - Shi, Jianqi
AU - Ye, Xin
AU - Huang, Yanhong
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/2
Y1 - 2017/7/2
N2 - With the development of 'Industry 4.0', the scale and complexity of industrial control system grow rapidly. Hence, the analysis and verification of such systems face really big challenges. Industry requires a reliable approach for decomposing the existing complex system model to multiple fine-grained and interactive models. In this paper, we propose a general event-triggered language named IMCL for modeling industrial control systems. IMCL can describe the physical resources and system in one unified model. Following the given physical resource constraints, we present the reliable and efficient decomposition and collaboration algorithms based on IMCL models to meet the industrial requirements. In particular, we have implemented these algorithms in a tool and get same encouraging results.
AB - With the development of 'Industry 4.0', the scale and complexity of industrial control system grow rapidly. Hence, the analysis and verification of such systems face really big challenges. Industry requires a reliable approach for decomposing the existing complex system model to multiple fine-grained and interactive models. In this paper, we propose a general event-triggered language named IMCL for modeling industrial control systems. IMCL can describe the physical resources and system in one unified model. Following the given physical resource constraints, we present the reliable and efficient decomposition and collaboration algorithms based on IMCL models to meet the industrial requirements. In particular, we have implemented these algorithms in a tool and get same encouraging results.
UR - https://www.scopus.com/pages/publications/85045284229
U2 - 10.1109/ICECCS.2017.25
DO - 10.1109/ICECCS.2017.25
M3 - 会议稿件
AN - SCOPUS:85045284229
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 162
EP - 165
BT - Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
Y2 - 6 November 2017 through 8 November 2017
ER -