OpenModelica

MATLAB is a proprietary dynamically typed language for scientific computing and matrix computation whereas Modelica is an open standard and a statically strongly typed language for equation-based modeling, scientific computing and matrix computations.

The goal of this master thesis project is to design and implement a MATLAB to Modelica translator including type inferencing techniques to infer types in dynamically types MATLAB programs to be used statically typed Modelica programs.

Ptolemy supports different modeling dimensions and provides a framework for the hierarchical integration of heterogeneous models. The goal of this master thesis is the integration of OpenModelica into the multi-paradigm modeling environment in Ptolemy.

Currently the Open Modelca Compiler (OMC) compiles Modelica/MetaModelica into C-code via several optimizing steps. There has earlier been developed several parallel code generator prototypes in the OpenModelica system including generation of OpenCL code for Nvidia. However, static compilation schemes sometimes fail to parallelize due to conservative assumptions of dependencies.

The goal of this master thesis project is to design and implement an efficient parallel autotuning compilation scheme from Modelica to the NVIDIA Fermi GPGPU. The development need not be done from scratch, it can build upon existing implementations.

OMCCp is a new generation (not yet released) of the OpenModelica Compiler-Compiler parser generator which contains an LALR parser generator implemented in the MetaModelica language with parsing tables generated by the tools Flex and GNU Bison. It also contains very good error handling and is integrated with the MetaModelica semantics specification language.

The goal with this master thesis project is to develop an integrated operational-semantics style parser and frontend to the integrated OMCCp and the MetaModelica compiler generation system. Wizards to help developing typical operational semantics style specifications should be designed and implemented. This will be a new generation operational-semantics style RML system with improvements compared to our previous RML system.

Modelica Modeling Language (ModelicaML) is a graphical modeling language for the description of time-continuous and time-discrete/event-based system dynamics. ModelicaML is defined as an extended subset of UML. This subset enables the generation of executable Modelica code. Presently, ModelicaML is implemented as a prototype that only supports the obsolete version Papyrus MDT 0.7.4. Based on this prototype, the task of this project is to design and implement the support for ModelicaML for the latest Papyrus version 1.x.