liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Debugging Equation-Based Languages in OpenModelica Environment
Linköping University, Department of Computer and Information Science.
2009 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The need for debugging tools for declarative programming languages has increased due to the rapid development of modeling and simulation tools/programs. Declarative equation-based programming languages have the problem of equation systems being over-, or under-constrained. This means that the system of equations has more equations than variables or more variables than equations respectively, making the system of equations unsolvable. In this study a static debugger is implemented in OpenModelica compiler for the equation-based programming language Modelica to make it easier for the programmer or modeler to locate the equation/s causing the unconstrained system of equations. The debugging techniques used by the debugger are developed by Peter Bunus. Those techniques are able to detect unconstrained systems of equations and give solutions by identifying the minimal set ofequation/s that should be removed or which variable/s should be added to an equation/s to make the system solvable. In this study the debugging techniques for detecting and giving a solution for over-constrained system of equations are shown suitable to be used for the programming language Modelica in the OpenModelica compiler.

Place, publisher, year, edition, pages
2009. , 89 p.
Keyword [en]
OpenModelica, Compiler, Modelica, Equation-Based programming language, Debugging, Over-constrained equation system
National Category
Computer Science
URN: urn:nbn:se:liu:diva-19866ISRN: LIU-IDA/LITH-EX-A--09/017--SEOAI: diva2:231473
2009-03-30, Donald Knuth, Linköpings universitet, Linköping, 15:15 (Swedish)
Available from: 2009-08-14 Created: 2009-08-13 Last updated: 2009-08-14Bibliographically approved

Open Access in DiVA

fulltext(824 kB)1158 downloads
File information
File name FULLTEXT01.pdfFile size 824 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Sjöholm, Klas
By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1158 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 237 hits
ReferencesLink to record
Permanent link

Direct link