Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0001-8457-4105
MathCore Engineering.
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID iD: 0000-0002-3435-4996
2008 (English)In: Proceedings of the 6th International Modelica Conference, Bielefeld, Germany: Modelica Association , 2008, 3-12 p.Conference paper, Published paper (Refereed)
Abstract [en]

The Modelica language supports syntax for declaring physical units of variables, but it does not yet exist any defined semantics for how dimensional and unit consistency checking should be carried out. In this paper we explore different approaches and new constructs for improved dimensional inference and unit consistency checking in Modelica; both from an end-user, library, and tool perspective. A proposal for how dimensional inference and unit checking can be carried out is outlined and a prototype implementation is developed and verified using several examples from the Modelica standard library.

Place, publisher, year, edition, pages
Bielefeld, Germany: Modelica Association , 2008. 3-12 p.
Keyword [en]
dimensional analysis, unit checking, dimensions, types, Modelica, language design
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-163763Local ID: 77020OAI: oai:DiVA.org:kth-163763DiVA: diva2:803885
Conference
6th International Modelica Conference, Bielefeld, Germany
Note

QC 20150415

Available from: 2009-10-10 Created: 2015-04-12 Last updated: 2015-04-15Bibliographically approved

Open Access in DiVA

No full text

Other links

http://www.bromans.com/david/publ/modelica-conf-2008-units.pdf

Authority records BETA

Broman, DavidFritzson, Peter

Search in DiVA

By author/editor
Broman, DavidFritzson, Peter
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf