Konferensartikel

Integrated Debugging of Equation-Based Models

Martin Sjölund
Programming Environments Laboratory, Department of Computer and Information Science , Linköping University, Linköping, Sweden

Francesco Casella
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy

Adrian Pop
Programming Environments Laboratory, Department of Computer and Information Science , Linköping University, Linköping, Sweden

Adeel Asghar
Programming Environments Laboratory, Department of Computer and Information Science , Linköping University, Linköping, Sweden

Peter Fritzson
Programming Environments Laboratory, Department of Computer and Information Science , Linköping University, Linköping, Sweden

Willi Braun
Dept. Mathematics and Engineering, University of Applied Sciences, Bielefeld, Germany

Lennart Ochel
Dept. Mathematics and Engineering, University of Applied Sciences, Bielefeld, Germany

Bernhard Bachmann
Dept. Mathematics and Engineering, University of Applied Sciences, Bielefeld, Germany

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp14096195

Ingår i: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Linköping Electronic Conference Proceedings 96:20, s. 195-204

Visa mer +

Publicerad: 2014-03-10

ISBN: 978-91-7519-380-9

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

The high abstraction level of equation-based object-oriented 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.

Nyckelord

Modelica; Debugging; Modeling and Simulation; Transformations; Equations; Algorithmic Code; Runtime Errors; Tracing; Solver Failures

Referenser

[1] Adrian Pop and Peter Fritzson (2005). A Portable Debugger for Algorithmic Modelica Code. In Proceedings of the 4th International Modelica Conference, Hamburg, Germany.

[2] Adrian Pop, Peter Fritzson, Andreas Remar, Elmir Jagudin, and David Akhvlediani (2006). OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging. In Proc. of Modelica’2006, Vienna, Austria.

[3] Adrian Pop, David Akhvlediani, and Peter Fritzson (2007). Towards Run-time Debugging of Equationbased Object-oriented Languages. In Proceedings of the 48th Scandinavian Conference on Simulation and Modeling (SIMS’2007), see http://www.scansims.org, http://www.ep.liu.se. Göteborg, Sweden.

[4] Adrian Pop, Martin Sjölund, Adeel Asghar, Peter Fritzson, Francesco Casella. Static and Dynamic Debugging of Modelica Models. In Proceedings of the 9th International Modelica Conference (Modelica’2012), Munich, Germany, Sept.3-5, 2012.

[5] Martin Sjölund, Peter Fritzson, and Adrian Pop (2011a). Bootstrapping a Modelica Compiler aiming at Modelica 4. In Proceedings of the 8th International Modelica Conference (Modelica’2011), Dresden, Germany.

[6] Martin Sjölund and Peter Fritzson (2011b). Debugging Symbolic Transformations in Equation Systems. In Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, (EOOLT’2011), Zürich, Switzerland.

[7] Martin Sjölund. Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models. ISBN 978-91-7519-624-4, Linköping Studies in Science and Technology. Licentiate Thesis No. 1592, ISSN 0280-7971, http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-
90096
, May 27, 2013.

[8] Peter Bunus and Peter Fritzson. Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada. 2003. DOI: 10.1109/ASE.2003.1240315

[9] Peter Bunus (2004). Debugging Techniques for Equation-Based Languages. PhD Thesis. Department of Computer and Information Science, Linköping University.

[10] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 940 pp., ISBN 0-471-471631, Wiley-IEEE Press. 2004. DOI: 10.1109/9780470545669

[11] Peter Fritzson, Peter Aronsson, Håkan Lundvall, Kaj Nyström, Adrian Pop, Levon Saldamli, and David Broman (2005). The OpenModelica Modeling, Simulation, and Software Development Environment. In Simulation News Europe, 44/45.

[12] Richard Stallman, Roland Pesch, Stan Shebs, et al. (2011). Debugging with GDB. Free Software Foundation. [online] Available at:< http://unix.lsa.umich.edu/HPC201/refs/gdb.pdf> [Accessed 30 October 2011].

[13] Open Source Modelica Consortium. OpenModelica System Documentation Version 1.8.1, April 2012. http://www.openmodelica.org

[14] Modelica Association. The Modelica Language Specification Version 3.2 revision 2, July 30th 2013. http://www.modelica.org. Modelica Association. Modelica Standard Library 3.2.1. Aug. 2013. http://www.modelica.org.

[15] Uri Ascher and Linda Petzold. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Society for Industrial and Applied Mathematics, 1998. DOI: 10.1137/1.9781611971392

[16] Willi Braun, Lennart Ochel, and Bernhard Bachmann. Symbolically derived Jacobians using automatic differentiation - enhancement of the
OpenModelica compiler. In Modelica’2011. [17] Sven Erik Mattsson and Gustaf Söderlind. Index reduction in differential algebraic equations using dummy derivatives. Siam Journal on Scientific Computing, 14:677--692, May 1993.

[18] Andreas Zeller. Why Programs Fail, Second Edition: A Guide to Systematic Debugging. ISBN: 978-0123745156, 2009

[19] Nicholas Nethercote and Julian Seward. Valgrind: a Framework for Heavyweight Dynamic Binary Instrumentation. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. PLDI ’07. San Diego, California, USA, 2007, pp. 89-100. doi:
10.1145/1250734.1250746

Citeringar i Crossref