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

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.