Multi-dimensional Analysis and Design Method for Aerospace Cyber-physical Systems

In this paper, we propose a multi-dimensional specification and modeling method of aerospace cyber-physical system. This method is proposed according to seven views of systems so that their physical and computational parts of aerospace cyber-physical system are modeled correctly. 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.