liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2012.
Nyckelord [en]
Modelica, Run-time Debugging, Modeling and Simulation, Algorithmic code, Eclipse
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:liu:diva-110304OAI: oai:DiVA.org:liu-110304DiVA, id: diva2:744016
Konferens
7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, February 15-17, 2012
Tillgänglig från: 2014-09-05 Skapad: 2014-09-05 Senast uppdaterad: 2014-10-14Bibliografiskt granskad

Open Access i DiVA

fulltext(471 kB)189 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 471 kBChecksumma SHA-512
5a2d8d9290dcc3c82ae04f28dda1fcb438cc1482d936de59a7bb98b0738025ed5f1f2ee6c7510de88b81354c6caa55edf8161f4bf6c40d62aff246c41d453835
Typ fulltextMimetyp application/pdf

Personposter BETA

Asghar, AdeelPop, AdrianSjölund, MartinFritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Asghar, AdeelPop, AdrianSjölund, MartinFritzson, Peter
Av organisationen
PELAB - Laboratoriet för programmeringsomgivningarTekniska högskolan
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 189 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 254 träffar
RefereraExporteraLänk till posten
Permanent länk

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