Dimensional Inference in Strongly Typed Modeling Languages.

Research Group:


Status:

finished

Start date:

1999

Modelling languages such as Modelica and gPROMS specify dynamic systems for simulation. Current implementations lack the ability to detect if physical units and dimensions are correctly specified in the models. The goal of this project is to develop and evaluate efficient methods to verify that equations use dimensions in a consistent way. This is done through a form of type inference, which in the end boils down to the problem of solving a system of linear equations.

Björn Lisper, Professor

Email: bjorn.lisper@mdh.se
Room: U1-091
Phone: +46-21-151709