Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems
Chao Liu,Fulong Chen,Junru Zhu,Ziyang Zhang,Cheng Zhang,Chuanxin Zhao,Taochun Wang
DOI: https://doi.org/10.1007/978-3-319-60753-5_25
2017-01-01
Abstract:Cyber-physical systems (CPS) involve in a variety of computing model integration and collaborative work. There are some problems such as ununified 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 codesign 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.