Title
Decomposition and Collaboration of Industrial Control System with Resource Constraints
Abstract
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.
Year
DOI
Venue
2017
10.1109/ICECCS.2017.25
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
Keywords
Field
DocType
industrial control system,multiple fine-grained models,interactive models,collaboration algorithms,IMCL models,resource constraints,decomposition,physical resource constraint
Systems engineering,Industrial engineering,Computer science,Industrial control system,Unified Model
Conference
ISBN
Citations 
PageRank 
978-1-5386-2432-6
0
0.34
References 
Authors
5
6
Name
Order
Citations
PageRank
Ju Li100.34
Jiawen Xiong252.14
Xia Mao301.35
Jianqi Shi4125.70
Xin Ye500.68
Yanhong Huang6125.37