Version 1
: Received: 15 July 2017 / Approved: 17 July 2017 / Online: 17 July 2017 (10:27:33 CEST)
How to cite:
Zhou, P.; HOU, K.; Zhang, Z.; Zuo, D.; Dong, J.; Li, J.; Zhou, H. A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability. Preprints2017, 2017070044. https://doi.org/10.20944/preprints201707.0044.v1
Zhou, P.; HOU, K.; Zhang, Z.; Zuo, D.; Dong, J.; Li, J.; Zhou, H. A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability. Preprints 2017, 2017070044. https://doi.org/10.20944/preprints201707.0044.v1
Zhou, P.; HOU, K.; Zhang, Z.; Zuo, D.; Dong, J.; Li, J.; Zhou, H. A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability. Preprints2017, 2017070044. https://doi.org/10.20944/preprints201707.0044.v1
APA Style
Zhou, P., HOU, K., Zhang, Z., Zuo, D., Dong, J., Li, J., & Zhou, H. (2017). A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability. Preprints. https://doi.org/10.20944/preprints201707.0044.v1
Chicago/Turabian Style
Zhou, P., Jianjin Li and Haiyin Zhou. 2017 "A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability" Preprints. https://doi.org/10.20944/preprints201707.0044.v1
Abstract
Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.
Keywords
cyber physical systems; industry 4.0; MDE; hardware and software co-design; lifetime verification & validation; dependability; correctness; flexibility; self-management; self-adapting; self-healing
Subject
Engineering, Control and Systems Engineering
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
