Abstract

Cyber Physical Systems (CPS) are inherently complex and incorporate interacting heterogeneous subsystems. Model based design of complex CPS is a multi-scope, multi-aspect challenge. In the design process of such systems, usually many different models are built. These models describe elements of the system at different levels of detail and under different assumptions, or the overall behaviour of the system in a coarse manner. Currently much effort is spent on testing and on the often costly correction of design flaws which could be reduced if an integrated modelbased design approach were used. On the other hand, the required effort for building all-encompassing models of complex systems is often prohibitive, so the modeling efforts should be focused on those aspects which are crucial for the correct interaction of the elements and system function. Therefore a methodology for the integration of heterogeneous models on different levels of detail and abstraction is needed.

Based on available literature it is evident that there are currently two main approaches to this integration - cosimulation frameworks and abstractions of component models. However, for a heterogeneous set of models on different levels of detail and different levels of abstraction that are formulated using different modelling concepts, another approach must be taken.

The work presented here introduces the idea of generating abstractions of detailed models and simulations and embedding them into models that are set up in a different formalism. Useful information can thus be conveyed in a simplified manner from one model to the other.