Static and Dynamic Debugging of Modelica Models

  title={Static and Dynamic Debugging of Modelica Models},
  author={Adrian P. Pop and Martin Sj{\"o}lund and Adeel Asghar and Peter A. Fritzson and Francesco Casella},
The high abstraction level of equation-based objectoriented languages (EOO) such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines classical debugging techniques with special techniques for equation-based languages partly based on graph visualization… CONTINUE READING
11 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

Debugging with GDB

  • Richard Stallman, Roland Pesch, Stan Shebs
  • Free Software Foundation. [online] Available at…
  • 2011
Highly Influential
7 Excerpts

Beautiful differentiation

  • Conal Elliott
  • In International Conference on Functional…
  • 2009
2 Excerpts

OpenModelica Development Environment with Eclipse Integration for Browsing , Modeling , and Debugging

  • Adrian Pop
  • Proc of the Modelica ' 2006 , Vienna , Austria…
  • 2006

Similar Papers

Loading similar papers…