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

Jing Liu, Ping Wang, Jinlong Lin, Chao-hsien Chu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish (US)
Title of host publicationProceedings - 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
EditorsGeyong Min, Xiaolong Jin, Laurence T. Yang, Yulei Wu, Nektarios Georgalas, Ahmed Al-Dubi
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages76-84
Number of pages9
ISBN (Electronic)9781538630655
DOIs
StatePublished - Jan 30 2018
EventJoint 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 2017Jun 23 2017

Publication series

NameProceedings - 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
Volume2018-January

Other

OtherJoint 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
CountryUnited Kingdom
CityExeter
Period6/21/176/23/17

Fingerprint

Networked control systems
control system
Controllers
language
Integration testing
process analysis
utilization
Cyber Physical System
human being
industry
Control systems
costs
resources
Costs
Industry
time

All Science Journal Classification (ASJC) codes

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

Cite this

Liu, J., Wang, P., Lin, J., & Chu, C. (2018). A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. In G. Min, X. Jin, L. T. Yang, Y. Wu, N. Georgalas, & A. Al-Dubi (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 ; Chu, Chao-hsien. / 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 / Geyong Min ; Xiaolong Jin ; Laurence T. Yang ; Yulei Wu ; Nektarios Georgalas ; Ahmed Al-Dubi. Institute of Electrical and Electronics Engineers Inc., 2018. 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 Chao-hsien Chu",
year = "2018",
month = "1",
day = "30",
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 = "Geyong Min and Xiaolong Jin and Yang, {Laurence T.} and Yulei Wu and Nektarios Georgalas and Ahmed Al-Dubi",
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, C 2018, A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. in G Min, X Jin, LT Yang, Y Wu, N Georgalas & A Al-Dubi (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; Chu, Chao-hsien.

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. / Geyong Min; Xiaolong Jin; Laurence T. Yang; Yulei Wu; Nektarios Georgalas; Ahmed Al-Dubi. Institute of Electrical and Electronics Engineers Inc., 2018. 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 proceedingConference 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 - 2018/1/30

Y1 - 2018/1/30

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 - Min, Geyong

A2 - Jin, Xiaolong

A2 - Yang, Laurence T.

A2 - Wu, Yulei

A2 - Georgalas, Nektarios

A2 - Al-Dubi, Ahmed

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Liu J, Wang P, Lin J, Chu C. A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems. In Min G, Jin X, Yang LT, Wu Y, Georgalas N, Al-Dubi A, 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. 2018. 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). https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2017.17