Treffer: Improved Unit Inference and Checking in Modelica.

This paper will present a new unified algorithm for unit checking and inference, and showing the benefits for various libraries. The Modelica Language supports declaring units for variables using the SI-standard. This allows dimensional checking to detect possible errors in equations. The units for variables make it easier to interpret, input and plot their values. When we infer the unit of a variable we get the same benefits also for variables without a declared unit. We will use unit inference and checking for the combination, even if the check is primarily a dimensional check. Both dimensional checking and unit inference are already implemented in several Modelica tools, but not consistently. The original motivation for this paper was to understand the different approaches, and demystify the unit handling with the goal of making it more available. Based on that understanding, this paper will also present a new unified algorithm combining the different strengths, and showing the results for various libraries. [ABSTRACT FROM AUTHOR]

Copyright of Linköping Electronic Conference Proceedings is the property of Linkoping University Electronic Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)