Keywords: Modelica; Debugging; Modeling and Simulation; Transformations; Equations; Algorithmic Code; Runtime Errors; Tracing; Solver Failures
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
[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