A Mechanism of Transforming Architecture Analysis and Design Language into Modelica

摘要

One of the fundamental challenges in research related to cyber-physical system is accurate modeling and representation of these systems. The main difficulty lies in developing an integrated model that represents both cyber and physical aspects with high fidelity. Among existing techniques, an approach to integrate Modelica with AADL is a suitable choice, as it can encapsulate diverse attributes of cyber-physical systems. AADL modeling language provides a comprehensive set of diagrams and constructs for modeling many common aspects of systems engineering problems, such as system requirements, architectures, components, and behaviors. Complementing these AADL constructs, the Modelica language has emerged as a standard for modeling the continuous dynamics of cyber-physical systems in terms of hybrid discrete event and differential algebraic equation systems. Integrating the descriptive power of AADL models with the analytic and computational power of Modelica models provides a capability that is significantly greater than provided by AADL or Modelica individually. A transformation of AADL into Modelica is developed that will support implementations to transfer efficiently the modeling information between AADL and Modelica models without ambiguity. This chapter proposes an approach to transform the models of AADL into the models of Modelica, to clarify the transformation principles, and to illustrate the important synergies resulting from the integration between these two languages.