USING SPARK AS A SOLVER FOR MODELICA
Michael Wetter, Philip Haves, Michael A. Moshier, Edward F. Sowell
Modelica is an object-oriented acausal modeling lan- guage that is well positioned to become a de-facto stan- dard for expressing models of complex physical systems. To simulate amodel expressed inModelica, it needs to be translated into executable code. For generating run-time efficient code, such a translation needs to employ alge- braic formula manipulations. As the SPARK solver has been shown to be competitive for generating such code but currently cannot be used with the Modelica language, we report in this paper how SPARK’s symbolic and numerical algorithms can be implemented in OpenModelica, an open-source implementation of a Modelica modeling and simulation environment. We also report benchmark results that show that for our air flow network simulation benchmark, the SPARK solver is competitivewith Dymola, which is believed to provide the best solver for Modelica.
- There are currently no refbacks.