Research Article
Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems
@INPROCEEDINGS{10.1007/978-3-319-60753-5_25, author={Chao Liu and Fulong Chen and Junru Zhu and Ziyang Zhang and Cheng Zhang and Chuanxin Zhao and Taochun Wang}, title={Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems}, proceedings={Industrial IoT Technologies and Applications. Second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25--26, 2017, Proceedings}, proceedings_a={INDUSTRIALIOT}, year={2017}, month={9}, keywords={Cyber-Physical systems Co-modeling Component Co-verification}, doi={10.1007/978-3-319-60753-5_25} }- Chao Liu
Fulong Chen
Junru Zhu
Ziyang Zhang
Cheng Zhang
Chuanxin Zhao
Taochun Wang
Year: 2017
Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems
INDUSTRIALIOT
Springer
DOI: 10.1007/978-3-319-60753-5_25
Abstract
Cyber-physical systems (CPS) involve in a variety of computing model integration and collaborative work. There are some problems such as un-unified design methods, worse elasticity, high complexity, difficult to implement cyber-physical co-design and co-verification, etc. Aiming at the co-design of embedded components, sensing components, controlling components, communication components and physical components in heterogeneous environments, this paper proposes the characteristics, architectures, technologies, and design methodologies of CPSs. It’s necessary to design CPSs in the model-driven design process to establish CPSs and confirm its correctness, support cyber-physical co-design and correctness by construction so as to avoid modifying repeatedly the design when problems are found in the system realization process, and provide the necessary theoretical and practical technical supports to establish CPSs.
