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

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

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

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

Visa mer +

Publicerad: 2015-09-18

ISBN: 978-91-7685-955-1

ISSN: 1650-3686 (tryckt), 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. http://www.Dymola.com

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: http://www.ep.liu.se/ecp/063/065/ecp11063065.pdf

Modelica Association (2014): Modelica, A Unified Object-Oriented Language for Systems Modeling. Language Specification, Version 3.3, Revision 1, June 11, 2014. Download: https://www.modelica.org/documents/ModelicaSpec33Revision1.pdf

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: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98107

Citeringar i Crossref