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

Return to Index
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:
https://doi.org10.3384/ecp14096195
Note: the following are taken directly from CrossRef
Citations:
  • Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemal & Juergen Dingel (2020). Live modeling in the context of state machine models and code generation. Software and Systems Modeling, : . DOI: 10.1007/s10270-020-00829-y
    •


    Responsible for this page: Peter Berkesand
    Last updated: 2019-11-06