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 artikel
http://dx.doi.org/10.3384/ecp14096195Ingå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
Publicerad: 2014-03-10
ISBN: 978-91-7519-380-9
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
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.
Modelica; Debugging; Modeling and
Simulation; Transformations; Equations; Algorithmic Code; Runtime Errors; Tracing; Solver Failures
[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
