Multi-view approach to model aerospace cyber-physical systems

Aerospace cyber-physical system design focuses on the mutual impact of cyberspace and physical world. In this paper, we propose a multi-dimension, multidomain and multi-paradigm architecture approach for cyber physical systems. It integrates Modelica and AADL based on model-driven architecture to construct multidimension, multi-domain and multi-view approach for aerospace cyber physical systems. We divide aerospace cyber physical system into three dimensions: physical world dimension, communication dimension and computation dimension. We design the system from physical world view, functional view, static view, spatio-temporal view, Nonfunctional view, hardware view. The physical world analysis is considered to be one fundamental stage of our proposed method. The proposed method is illustrated by the modeling of the lunar rover system, which involves a broad range of mechanical, electronic, control, communications, computing, mechanics, and physics. In this paper, we specify and model the lunar rover system by extending Modelica and AADL.