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

Abstract

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.

Multi-paradigm modeling for cyber–physical systems: A systematic mapping review

“…A connected system may need its network modeled as well as its environment since a CPS always interacts with the outside world. Twenty-six (17%) MPM papers reported modeling all four main components of CPS [25,28,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56]. Most frequently (29 (18%)), the papers modeled the hardware, software, and network of the system (see Fig.…”

“…Similarly, Differential Equations seem to be more used for Network. In this latter case, this is mainly due to some approaches such as [33,34,35,36], which cover all components but do not always explicitly state which formalism is used for which component. Besides, there are also approaches like [58], which use Differential Equations combined with a Markov model to analyze properties such as the resilience of a network.…”

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

“…Studies employing integrated approaches are [146,51]. On the other hand, studies which used multi-modeling approaches are [158,157,160,42,107,22]. The most consistently used approach within the period of the study (2010-2018) was DSL except for 2010.…”

“…[50] presented M2M transformation by transforming Simulink simulation models to AADL architectural models using Assisted Transformation of Models engine. AADL and Modelica were used in [158,160], where both Modelica and AADL were transformed to each other. In [43], authors used Critical Infrastructure Protection -Vulnerability Analysis and Modeling (CIP VAM) UML profile to transform UML models to Bayesian Network (BN) models.…”

“…View oriented approach was adopted in [158] for the description of different aspects of an aerospace CPS. Modelica was used for modeling the overall architecture of a lunar rover robot and the lunar rover robot's body structure model while AADL was used for modeling the navigation system of the lunar rover.…”