Conference article

Constructs for Meta Properties Modeling in Modelica

Hilding Elmqvist
Dassault Systemes, Sweden

Hans Olsson
Dassault Systemes, Sweden

Martin Otter
Institute of System Dynamics and Control, DLR, Germany

Download article

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

Linköping Electronic Conference Proceedings 118:26, s. 245-253

Show more +

Published: 2015-09-18

ISBN: 978-91-7685-955-1

ISSN: 1650-3686 (print), 1650-3740 (online)


This article proposes two new language constructs for meta-properties modeling in Modelica and demon-strates their usefulness with several applications: (1) Computing global properties of a model, such as total power, total mass, total center of mass, kinetic and potential energy of a multi-body system. (2) Binding behavioral models and requirement models in a convenient way, for example checking requirements for all instances of a class in a behavioral model, without changing the behavioral model.


Array comprehension; array constructors; component iterators; binding; instance binding; class binding; total mass; total center of mass; total power; multibody


Bouskela D., Thuy N., Jardin A. (2015): D2.1.1 – Modelica extensions for properties modelling, Part II: Modeling Architecture for the Design Verification against System Requirements. Internal report, ITEA2 MODRIO project, March 2015. Dassault Systèmes (2015): Dymola 2016.

Jardin A., Bouskela D., Thuy N., Ruel N., Thomas E., Chastanet L., Schoenig R., Loembé S. (2011): Modelling of System Properties in a Modelica Framework. Proceedings 8th Modelica Conference, Dresden, Germany, March 20-22., pp. 579-592. Download:

Modelica Association (2014): Modelica, A Unified Object-Oriented Language for Systems Modeling. Language Specification, Version 3.3, Revision 1, June 11, 2014. Download:

Otter M., Thuy N., Bouskela D., Buffoni L., Elmqvist H., Fritzson P., Garro A., Jardin A., Olsson H., Payelleville M., Schamai W., Thomas E., Tundis A. (2015): Formal Modeling and Automatic Verification of Requirements. Proceedings 11th Modelica Conference, Versailles, France, Sept. 21-23.

Schamai, W. (2013): Model-Based Verification of Dynamic System Behavior against Requirements: Method, Language, and Tool. Ph.D. Thesis, No. 1547, University of Linköping. Download:

Citations in Crossref