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
Download article
http://dx.doi.org/10.3384/ecp15118911Published in: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015
Linköping Electronic Conference Proceedings 118:99, p. 911-920
Published: 2015-09-18
ISBN: 978-91-7685-955-1
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
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.
