A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems

Jing Liu; Ping Wang; Jinlong Lin; Chao Hsien Chu

doi:10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems

Jing Liu
, Ping Wang
, Jinlong Lin
, Chao Hsien Chu

College of Information Sciences and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	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
Editors	Yulei Wu, Geyong Min, Nektarios Georgalas, Ahmed Al-Dubi, Xiaolong Jin, Laurence T. Yang
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	76-84
Number of pages	9
ISBN (Electronic)	9781538630655
DOIs	https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17
State	Published - Jul 2 2017
Event	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 - Exeter, United Kingdom Duration: Jun 21 2017 → Jun 23 2017

Publication series

Name	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
Volume	2018-January

Other

Other	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
Country/Territory	United Kingdom
City	Exeter
Period	6/21/17 → 6/23/17

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

All Science Journal Classification (ASJC) codes

Hardware and Architecture
Renewable Energy, Sustainability and the Environment
Communication
Artificial Intelligence
Computer Networks and Communications

Access to Document

10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17

Cite this

Liu, J., Wang, P., Lin, J., & Chu, C. H. (2017). A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. In Y. Wu, G. Min, N. Georgalas, A. Al-Dubi, X. Jin, & L. T. Yang (Eds.), 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 (pp. 76-84). (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; Vol. 2018-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17

Liu, Jing ; Wang, Ping ; Lin, Jinlong et al. / A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. 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. editor / Yulei Wu ; Geyong Min ; Nektarios Georgalas ; Ahmed Al-Dubi ; Xiaolong Jin ; Laurence T. Yang. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 76-84 (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).

@inproceedings{29ed81bf2a414c04babc4a2ff1ef4486,

title = "A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems",

abstract = "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.",

author = "Jing Liu and Ping Wang and Jinlong Lin and Chu, \{Chao Hsien\}",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 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 ; Conference date: 21-06-2017 Through 23-06-2017",

year = "2017",

month = jul,

day = "2",

doi = "10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17",

language = "English (US)",

series = "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",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "76--84",

editor = "Yulei Wu and Geyong Min and Nektarios Georgalas and Ahmed Al-Dubi and Xiaolong Jin and Yang, \{Laurence T.\}",

booktitle = "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",

address = "United States",

}

Liu, J, Wang, P, Lin, J & Chu, CH 2017, A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. in Y Wu, G Min, N Georgalas, A Al-Dubi, X Jin & LT Yang (eds), 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. 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, vol. 2018-January, Institute of Electrical and Electronics Engineers Inc., pp. 76-84, 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, Exeter, United Kingdom, 6/21/17. https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. / Liu, Jing; Wang, Ping; Lin, Jinlong et al.
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. ed. / Yulei Wu; Geyong Min; Nektarios Georgalas; Ahmed Al-Dubi; Xiaolong Jin; Laurence T. Yang. Institute of Electrical and Electronics Engineers Inc., 2017. p. 76-84 (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; Vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

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 - https://www.scopus.com/pages/publications/85047490790

UR - https://www.scopus.com/pages/publications/85047490790#tab=citedBy

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 -

Liu J, Wang P, Lin J, Chu CH. A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. In Wu Y, Min G, Georgalas N, Al-Dubi A, Jin X, Yang LT, editors, 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. Institute of Electrical and Electronics Engineers Inc. 2017. p. 76-84. (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). doi: 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems

Abstract

Publication series

Other

UN SDGs

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this