Units of Measurement in a Modelica Compiler

Abstract: Modelica is a declarative object-oriented language for describing mathematical models. Modelica models are used for simulation and optimization of systems and processes. The models are described using variables and equations. It is possible to associate units of measurement to variables, for example, variable x is in m/s. This thesis presents a way to analyze units in equations to find errors. This approach has been implemented in the compiler JModelica.org.