An Approach to Automated Model Composition Illustrated in the Context of Design Verification

作者：Schamai Wladimir^*; Buffoni Lena; Fritzson Peter

来源：Modeling Identification and Control, 2014, 35(2): 79-91.

DOI：10.4173/mic.2014.2.2

• Bindings
• model composition
• requirement formalization
• design verification

Building complex systems form models that were developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts, for instance, in design verification. To address this issue, this paper presents a new approach for automating the dynamic system model composition. The presented approach aims to maximise information reuse, by defining the minimum set of information that is necessary to the composition process, to maximise decoupling by removing the need for explicit interfaces and to present a methodology with a modular and structured approach to composition. Moreover the presented approach is illustrated in the context of system design verification against requirements using a Modelica environment, and an approach for expressing the information necessary for automating the composition is formalized.

• 出版日期2014