Konferensartikel

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)

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.

Nyckelord

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

Referenser

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