liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
An Approach to Automated Model Composition Illustrated in the Context of Design Verification
Airbus Group Innovations, Hamburg, Germany.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)ORCID iD: 0000-0002-3435-4996
2014 (English)In: Modeling, Identification and Control, ISSN 1890-1328, Vol. 35, no 2, 79-91 p.Article in journal (Refereed) Published
Abstract [en]

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.
Keyword [en]
Bindings, model composition, requirement formalization, design verification
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-109730DOI: 10.4173/mic.2014.2.2ISI: 000344366300002OAI: oai:DiVA.org:liu-109730DiVA: diva2:741058
Available from: 2014-08-27 Created: 2014-08-27 Last updated: 2014-12-09Bibliographically approved

Open Access in DiVA

fulltext(1082 kB)99 downloads
File information
File name FULLTEXT01.pdfFile size 1082 kBChecksum SHA-512
74878d84b63abc695b38316c0243709cf3690d4f9566802b8da0a5bf825ab200d0b22885ee49567ae7c61f0cb6ecc6744951dabfc15c7d40abc090302e5238c0
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Buffoni, LenaFritzson, Peter

Search in DiVA

By author/editor
Buffoni, LenaFritzson, Peter
By organisation
Software and SystemsThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 99 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 132 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf