View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems

The analysis and design of aerospace cyber physical systems call for the proper dimensioning of mechanical, electronic and embedded control subsystems from different views. Usually, the physical world part and the cyber part are modeled independently of each others. This modeling approach does not exploit many potential advantages of an integrated specification, analysis and design process, which are lost in the separate points of view of different engineering domains. In fact, the physical properties and the dynamical behavior of physical world parts play a central role in aerospace cyber physical systems development process. Thus, significant improvements to overall system performances can be obtained by early integrating the physical world and the cyber part development. It is clear that an appropriate specification and modeling approach cannot be fitted into the limitations of one formalism at time, particularly in the early stages of the design process. Hence, it is necessary to take a combination of different methodologies in a multi-formalism approach from different views. In this paper, we propose a view oriented approach to integrated different models, at different level of details to specify and model aerospace cyber physical systems as a whole. The effectiveness of the approach is illustrated by means of one practical case study: specifying and modeling the lunar rover 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.