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 articlehttp://dx.doi.org/10.3384/ecp15118245

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)

Abstract

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.

Keywords

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

References

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

Citations in Crossref