Article | Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 | An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Göm menyn

Title:
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Author:
Wladimir Schamai: Airbus Group Innovations, Germany Lena Buffoni: IDA, Linköping University, Sweden Nicolas Albarello: Airbus Group Innovations, France Pablo Fontes De Miranda: Airbus Group Innovations, France Peter Fritzson: IDA, Linköping University, Sweden
DOI:
10.3384/ecp15118911
Download:
Full text (pdf)
Year:
2015
Conference:
Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015
Issue:
118
Article no.:
099
Pages:
911-920
No. of pages:
10
Publication type:
Poster
Published:
2015-09-18
ISBN:
978-91-7685-955-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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.

Keywords: Bindings; requirements; model composition; design verification

Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Author:
Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda, Peter Fritzson
Title:
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
DOI:
http://dx.doi.org/10.3384/ecp15118911
References:

Lena Buffoni and Peter Fritzson. Expressing Requirements in Modelica. In Proceedings of the 55th International Conference on Simulation and Modeling (SIMS 2014), Aalborg, Denmark, October 21-22, 2014.


Peter Fritzson. Principles of Object Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. 1250 pages. ISBN 9781-118-859124, Wiley IEEE Press, 2014.


Hull, E., Jackson, K., and Dick, J. Requirements Engineering. Springer, 2005.


Kapurch, S. NASA Systems Engineering Handbook. DIANE Publishing Company, 2010. URL http://books.google.se/books?id=2CDrawe5AvEC.


Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sj√∂lund, Wladimir Schamai, Alfredo Garro, Andrea Tundis, Hilding Elmqvist. D2.1.1 ‚Äď Modelica Extensions for Properties Modelling, Part IV: Modelica for Properties Modeling. Internal Report, ITEA2 MODRIO project, Sept. 2014.


Modelica Association. Modelica, A Unified Object-Oriented Language for Systems Modeling, Language Specification, Version 3.3, May 9, 2012. https://www.modelica.org/documents/ModelicaSpec33.pdf


Wladimir Schamai. Model-Based Verification of Dynamic System Behavior against Requirements. Ph.D. thesis, Method, Language, and Tool Linköping: Linköping University Electronic Press, Dissertations, 1547, 2013.


Wladimir Schamai, Lena Buffoni, and Peter Fritzson, An Approach to Automated Model Composition Illustrated in the Context of Design Verification. Journal of Modeling, Identification and Control, Volume 35- 2, pages 79‚ÄĒ91, 2014.


H. Str√ľber The Aerodynamic Design of the A350 XWB-900 High Lift System. 29th Congress of the International Council of the Aeronautical Sciences. St Petersburg, 2014.

Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Author:
Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda, Peter Fritzson
Title:
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
DOI:
http://dx.doi.org/10.3384/ecp15118911
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21