Using SPARK as a Solver for Modelica
Modelica is an object-oriented acausal modeling language that is well positioned to become a de-facto standard for expressing models of complex physical systems. To simulate a model expressed in Modelica, it needs to be translated into executable code. For generating run-time efficient code, such a translation needs to employ algebraic 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 competitive with Dymola, which is believed to provide the best solver for Modelica.
- Research Organization:
- Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
- Sponsoring Organization:
- Environmental Energy Technologies Division
- DOE Contract Number:
- DE-AC02-05CH11231
- OSTI ID:
- 936247
- Report Number(s):
- LBNL-634E; TRN: US200818%%600
- Resource Relation:
- Conference: SimBuild 2008, Berkeley, CA, July 30 - August 1, 2008
- Country of Publication:
- United States
- Language:
- English
Similar Records
Software Synthesis for High Productivity Exascale Computing
Status on the Development of a Modeling and Simulation Framework for the Economic Assessment of Nuclear Hybrid Energy Systems