An Approach to Automated Model Composition Illustrated in the Context of Design Verification
2014 (English)In: Modeling, Identification and Control, ISSN 1890-1328, Vol. 35, no 2, 79-91 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
Norwegian Society of Automatic Control , 2014. Vol. 35, no 2, 79-91 p.
Bindings, model composition, requirement formalization, design verification
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-109730DOI: 10.4173/mic.2014.2.2ISI: 000344366300002OAI: oai:DiVA.org:liu-109730DiVA: diva2:741058