An Approach to Automated Model Composition Illustrated in the Context of 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 m...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Norwegian Society of Automatic Control
2014-04-01
|
| Series: | Modeling, Identification and Control |
| Subjects: | |
| Online Access: | http://www.mic-journal.no/PDF/2014/MIC-2014-2-2.pdf |
| Summary: | 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. |
|---|---|
| ISSN: | 0332-7353 1890-1328 |