Industrial IoT Technologies and Applications. Second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25–26, 2017, Proceedings

Research Article

Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems

Download
164 downloads
  • @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
Chao Liu1,*, Fulong Chen1,*, Junru Zhu1,*, Ziyang Zhang1,*, Cheng Zhang1,*, Chuanxin Zhao1,*, Taochun Wang1,*
  • 1: Anhui Normal University
*Contact email: lcahnu@ahnu.edu.cn, long005@ahnu.edu.cn, jrzhu_study@ahnu.edu.cn, zzy000@ahnu.edu.cn, zhangcheng@ahnu.edu.cn, zhaocx@ahnu.edu.cn, wangtc@ahnu.edu.cn

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.