liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Efficient Debugging of Large Algorithmic Modelica Applications
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-3435-4996
2012 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Modelica models often contain functions with algorithmic code. The fraction of algorithmiccode is increasing in Modelica models since Modelica, in addition to equation-based modeling, is also used for embedded system control code and symbolic model transformations in compilers using the MetaModelica language extension. For these reasons, debugging of algorithmic Modelica code is becoming increasingly relevant.

Our earlier work in debuggers for the algorithmic subset of Modelica used trace-based techniques. These have the advantages of being very portable, but turned out to have too much overhead for very large applications.

The new debugger is the first Modelica debugger that can operate without trace information. Instead it communicates with a low-level C-language symbolic debugger, the Gnu debugger GDB, to directly extract information from a running executable, set and remove breakpoints, etc. This is made possible by the new bootstrapped OpenModelica compiler which keeps track of a detailed mapping from the high level Modelica code down to the generated C code compiled to machine code.

The debugger is operational, supports browsing of both standard Modelica data structures and tree/list data structures, and operates efficiently on large applications such as the OpenModelica compiler with more than 100 000 lines of code.

sted, utgiver, år, opplag, sider
2012.
Emneord [en]
Modelica, Run-time Debugging, Modeling and Simulation, Algorithmic code, Eclipse
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-110304OAI: oai:DiVA.org:liu-110304DiVA, id: diva2:744016
Konferanse
7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, February 15-17, 2012
Tilgjengelig fra: 2014-09-05 Laget: 2014-09-05 Sist oppdatert: 2014-10-14bibliografisk kontrollert

Open Access i DiVA

fulltext(471 kB)186 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 471 kBChecksum SHA-512
5a2d8d9290dcc3c82ae04f28dda1fcb438cc1482d936de59a7bb98b0738025ed5f1f2ee6c7510de88b81354c6caa55edf8161f4bf6c40d62aff246c41d453835
Type fulltextMimetype application/pdf

Personposter BETA

Asghar, AdeelPop, AdrianSjölund, MartinFritzson, Peter

Søk i DiVA

Av forfatter/redaktør
Asghar, AdeelPop, AdrianSjölund, MartinFritzson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 186 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 247 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf