An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica

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

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp15118911

Ingår i: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Linköping Electronic Conference Proceedings 118:99, s. 911-920

Visa mer +

Publicerad: 2015-09-18

ISBN: 978-91-7685-955-1

ISSN: 1650-3686 (tryckt), 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.


Bindings; requirements; model composition; design verification


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.

Citeringar i Crossref