Multi-view Approach to Specify and Model Aerospace Cyber-physical Systems

Aerospace cyber physical systems needs share many abstractions with computer science, but requires adapting them to embrace the dynamics of the physical world. View oriented approach allow designers from different views to develop and evaluate design alternatives within the context of formalisms relevant to selected aspects of the system. Each view highlights certain features and occludes others to make analysis tractable and to focus on particular attributes of aerospace cyber physical systems. In this paper, we propose a multi-view 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 interoperate correctly. The physical world analysis is considered to be one fundamental stage of our proposed method. The lunar rover involves a broad range of mechanical, electronic, control, communications, computing, mechanics, and physics. We must use an integrated approach to specify and modeling such system. In this paper, we specify and model the lunar rover with integrating Modelica and AADL, the physical world is modeled by Modelica, the cyber part is modeled by AADL.