Integrated Debugging of Equation-Based Models

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 the first integrated debugger for equation-based languages like Modelica, which can combine static and dynamic methods for run-time debugging of equation-based Modelica models during simulations. This builds on and extends previous results from a transformational static equation debugger and a dynamic debugger for the algorithmic subset of Modelica.

[1]  Andreas Zeller,et al.  Why Programs Fail, Second Edition: A Guide to Systematic Debugging , 2009 .

[2]  Adrian Pop,et al.  Towards Run-time Debugging of Equation-based Object-oriented Languages , 2007 .

[3]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[4]  Nicholas Nethercote,et al.  Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.

[5]  Martin Sjölund,et al.  Bootstrapping a Modelica Compiler aiming at Modelica 4 , 2011 .

[6]  Peter Fritzson,et al.  Semi-automatic fault localization and behavior verification for physical system simulation models , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[7]  Peter Bunus,et al.  Debugging techniques for equation-based languages , 2004 .

[8]  Frank T. Willmore,et al.  Debugging with gdb , 2016 .

[9]  Adeel Asghar,et al.  Static and Dynamic Debugging of Modelica Models , 2012 .

[10]  Andreas Zeller.  Why Programs Fail , 2005 .

[11]  Bernhard Bachmann,et al.  Symbolically Derived Jacobians Using Automatic Differentiation - Enhancement of the OpenModelica Compiler , 2011 .

[12]  Adrian Pop,et al.  The OpenModelica Modeling, Simulation, and Software Development Environment , 2005 .

[13]  Adrian Pop,et al.  OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging , 2006 .

[14]  Sven Erik Mattsson,et al.  Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives , 1993, SIAM J. Sci. Comput..

[15]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[16]  Martin Sjölund,et al.  Debugging Symbolic Transformations in Equation Systems , 2011, EOOLT.

[17]  Martin Sjölund.  Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models , 2013 .

[18]  Adrian Pop,et al.  A Portable Debugger for Algorithmic Modelica Code , 2005 .