TY - GEN
T1 - Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System
AU - Yang, Gang
AU - Zhou, Xingshe
AU - Lian, Yuanyuan
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/8/7
Y1 - 2017/8/7
N2 - Complex Cyber-Physical System (CPS) integrating computation, software, network and physic process is suited to be designed by multi-view models to describe different aspect respectively. Ensuring consistency relationships between multi-view models and system-level properties remains to be a main challenge to such methodology. This paper proposes a comprehensive and formal description and verification method for such consistency based on constrains over parameters. We abstract model attributes into parameters, and relate system properties into constrains over parameters of different models, then solve these constrains to tell if multi models behaviors imply system-level properties. Finally, we evaluate our approach in an Adaptive Cruise Control system design process to prove its applicability.
AB - Complex Cyber-Physical System (CPS) integrating computation, software, network and physic process is suited to be designed by multi-view models to describe different aspect respectively. Ensuring consistency relationships between multi-view models and system-level properties remains to be a main challenge to such methodology. This paper proposes a comprehensive and formal description and verification method for such consistency based on constrains over parameters. We abstract model attributes into parameters, and relate system properties into constrains over parameters of different models, then solve these constrains to tell if multi models behaviors imply system-level properties. Finally, we evaluate our approach in an Adaptive Cruise Control system design process to prove its applicability.
UR - http://www.scopus.com/inward/record.url?scp=85034420141&partnerID=8YFLogxK
U2 - 10.1109/QRS-C.2017.68
DO - 10.1109/QRS-C.2017.68
M3 - 会议稿件
AN - SCOPUS:85034420141
T3 - Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
SP - 370
EP - 376
BT - Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
Y2 - 25 July 2017 through 29 July 2017
ER -