TY - GEN
T1 - An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation
AU - Tuo, Mingfu
AU - Zhou, Xingshe
AU - Yang, Gang
AU - Fu, Ning
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/5/1
Y1 - 2017/5/1
N2 - The Cyber-Physical System has been characterized by deep integration of computing process and physical process, heterogeneous composition, etc. So it is difficult to model Cyber-Physical System and to analyze its properties. An approach to model Cyber-Physical System and to analyze its safety based on multiple modeling languages transformation is put forward. We model the Cyber-Physical System by Hybrid System Description Language, and analyze its safety by Hybrid Program Language. The meta model of Hybrid Program is established. The rules that automatically transform Hybrid System Description Language meta model to Hybrid Program meta model is provided. Result shows that this method can model Cyber-Physical System intuitively, meanwhile analyze its safety avoiding state space explosion in formal validation.
AB - The Cyber-Physical System has been characterized by deep integration of computing process and physical process, heterogeneous composition, etc. So it is difficult to model Cyber-Physical System and to analyze its properties. An approach to model Cyber-Physical System and to analyze its safety based on multiple modeling languages transformation is put forward. We model the Cyber-Physical System by Hybrid System Description Language, and analyze its safety by Hybrid Program Language. The meta model of Hybrid Program is established. The rules that automatically transform Hybrid System Description Language meta model to Hybrid Program meta model is provided. Result shows that this method can model Cyber-Physical System intuitively, meanwhile analyze its safety avoiding state space explosion in formal validation.
KW - Cyber-Physical System
KW - Hybrid Program
KW - Hybrid System Description Language
KW - Model Transformation
UR - http://www.scopus.com/inward/record.url?scp=85020169564&partnerID=8YFLogxK
U2 - 10.1109/iThings-GreenCom-CPSCom-SmartData.2016.140
DO - 10.1109/iThings-GreenCom-CPSCom-SmartData.2016.140
M3 - 会议稿件
AN - SCOPUS:85020169564
T3 - Proceedings - 2016 IEEE International Conference on Internet of Things; IEEE Green Computing and Communications; IEEE Cyber, Physical, and Social Computing; IEEE Smart Data, iThings-GreenCom-CPSCom-Smart Data 2016
SP - 636
EP - 639
BT - Proceedings - 2016 IEEE International Conference on Internet of Things; IEEE Green Computing and Communications; IEEE Cyber, Physical, and Social Computing; IEEE Smart Data, iThings-GreenCom-CPSCom-Smart Data 2016
A2 - Liu, Xingang
A2 - Qiu, Tie
A2 - Li, Yayong
A2 - Guo, Bin
A2 - Ning, Zhaolong
A2 - Lu, Kaixuan
A2 - Dong, Mianxiong
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th IEEE International Conference on Internet of Things, 12th IEEE International Conference on Green Computing and Communications, 9th IEEE International Conference on Cyber, Physical, and Social Computing and 2016 IEEE International Conference on Smart Data, iThings-GreenCom-CPSCom-Smart Data 2016
Y2 - 16 December 2016 through 19 December 2016
ER -