Article | Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 | Constructs for Meta Properties Modeling in Modelica
Göm menyn

Title:
Constructs for Meta Properties Modeling in Modelica
Author:
Hilding Elmqvist: Dassault Systemes, Sweden Hans Olsson: Dassault Systemes, Sweden Martin Otter: Institute of System Dynamics and Control, DLR, Germany
DOI:
10.3384/ecp15118245
Download:
Full text (pdf)
Year:
2015
Conference:
Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015
Issue:
118
Article no.:
026
Pages:
245-253
No. of pages:
9
Publication type:
Abstract and Fulltext
Published:
2015-09-18
ISBN:
978-91-7685-955-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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

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

Author:
Hilding Elmqvist, Hans Olsson, Martin Otter
Title:
Constructs for Meta Properties Modeling in Modelica
DOI:
http://dx.doi.org/10.3384/ecp15118245
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

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

Author:
Hilding Elmqvist, Hans Olsson, Martin Otter
Title:
Constructs for Meta Properties Modeling in Modelica
DOI:
http://dx.doi.org/10.3384/ecp15118245
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21