Article | Proceedings of the 10<sup>th</sup> International Modelica Conference; March 10-12; 2014; Lund; Sweden | Integrated Debugging of Equation-Based Models
Göm menyn

Title:
Integrated Debugging of Equation-Based Models
Author:
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
DOI:
10.3384/ecp14096195
Download:
Full text (pdf)
Year:
2014
Conference:
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Issue:
096
Article no.:
020
Pages:
195-204
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2014-03-10
ISBN:
978-91-7519-380-9
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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.

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

Author:
Martin Sjölund, Francesco Casella, Adrian Pop, Adeel Asghar, Peter Fritzson, Willi Braun, Lennart Ochel, Bernhard Bachmann
Title:
Integrated Debugging of Equation-Based Models
DOI:
http://dx.doi.org/10.3384/ecp14096195
References:

[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

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Martin Sjölund, Francesco Casella, Adrian Pop, Adeel Asghar, Peter Fritzson, Willi Braun, Lennart Ochel, Bernhard Bachmann
Title:
Integrated Debugging of Equation-Based Models
DOI:
http://dx.doi.org/10.3384/ecp14096195
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21