Change search
ReferencesLink to record
Permanent link

Direct link
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Airbus Group Innovations, Germany.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Airbus Group Innovations, France.
Airbus Group Innovations, France.
Show others and affiliations
2015 (English)In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping: Linköping University Electronic Press, 2015, 911-920 p., 99Conference paper (Refereed)
Abstract [en]

Building complex systems from models that have been developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts including design verification. To address this issue an approach has been developed for automating dynamic system model composition by defining the minimum set of information that is necessary to the composition process. In this paper a design and implementation of this approach for standard Modelica is presented in the context of an application case study – the verification of a new design for spoiler activation against requirements.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2015. 911-920 p., 99
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686 (print), 1650-3740 (online) ; 118
Keyword [en]
Bindings, Requierments, Model composition, Design verification
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-131325DOI: 10.3384/ecp15118911ISBN: 9789176859551OAI: oai:DiVA.org:liu-131325DiVA: diva2:970545
Conference
11th International Modelica Conference, Versailles, France, September 21-23, 2015
Available from: 2016-09-14 Created: 2016-09-14 Last updated: 2016-09-14Bibliographically approved

Open Access in DiVA

Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica(963 kB)7 downloads
File information
File name FULLTEXT01.pdfFile size 963 kBChecksum SHA-512
94a7a2f04dd2cdb3ca87c2e3609509962c6b4ccc6d18c950a14fb4e2e9170e9a0a31aa02e56d19af249634420806b5adfc5e3cfd8a8c9270d37a68efe49df6c8
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Buffoni, LenaFritzson, Peter
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 7 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

Altmetric score

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link