TY - GEN
T1 - A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems
AU - Liu, Jing
AU - Wang, Ping
AU - Lin, Jinlong
AU - Chu, Chao Hsien
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/2
Y1 - 2017/7/2
N2 - Wireless Mesh Networked Control Systems (WMNCSs) are typical cyber-physical systems widely used in industry that have to meet critical safety requirements.The control algorithm and system are usually designed by different persons.The isolated design process leads to higher integration, testing and debugging costs and poor resource utilization.To bridge this gap, this paper proposes a controller/ architecture co-design framework for WMNCSs.This framework is based on architecture analysis and design language (AADL) and real-time calculus (RTC) theory.Firstly, we show how to build AADL model of WMNCSs, then a method of model transformation that translates AADL model to RTC model is proposed.With these two models, we can analyze the non-function properties of the system before implementation.Matlab/Simulink and OSATE are integrated to support the realization of this framework.We also develop several tools as plugins of OSATE to support the analysis of WMNCSs.The synthesis of above contributions is a largely automated co-design and analysis process of WMNCSs.
AB - Wireless Mesh Networked Control Systems (WMNCSs) are typical cyber-physical systems widely used in industry that have to meet critical safety requirements.The control algorithm and system are usually designed by different persons.The isolated design process leads to higher integration, testing and debugging costs and poor resource utilization.To bridge this gap, this paper proposes a controller/ architecture co-design framework for WMNCSs.This framework is based on architecture analysis and design language (AADL) and real-time calculus (RTC) theory.Firstly, we show how to build AADL model of WMNCSs, then a method of model transformation that translates AADL model to RTC model is proposed.With these two models, we can analyze the non-function properties of the system before implementation.Matlab/Simulink and OSATE are integrated to support the realization of this framework.We also develop several tools as plugins of OSATE to support the analysis of WMNCSs.The synthesis of above contributions is a largely automated co-design and analysis process of WMNCSs.
UR - http://www.scopus.com/inward/record.url?scp=85047490790&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85047490790&partnerID=8YFLogxK
U2 - 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17
DO - 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17
M3 - Conference contribution
AN - SCOPUS:85047490790
T3 - Proceedings - 2017 IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017
SP - 76
EP - 84
BT - Proceedings - 2017 IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017
A2 - Wu, Yulei
A2 - Min, Geyong
A2 - Georgalas, Nektarios
A2 - Al-Dubi, Ahmed
A2 - Jin, Xiaolong
A2 - Yang, Laurence T.
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - Joint 10th IEEE International Conference on Internet of Things, iThings 2017, 13th IEEE International Conference on Green Computing and Communications, GreenCom 2017, 10th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2017 and the 3rd IEEE International Conference on Smart Data, Smart Data 2017
Y2 - 21 June 2017 through 23 June 2017
ER -
