Characteristic, architecture, technology, and design methodology of cyber-physical systems

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.