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
Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan. (PELAB)
2015 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort.

However, current state-of-the-art tools do not provide the user with enough information when errors appear or simulation results are wrong. It is of paramount importance that such tools should give the user enough information to correct errors or understand where the problems that lead to wrong simulation results are located. However, understanding the model translation process of an EOO compiler is a daunting task that not only requires knowledge of the numerical algorithms that the tool executes during simulation, but also the complex symbolic transformations being performed.

As part of this work, methods have been developed and explored where the EOO tool, an enhanced Modelica compiler, records the transformations during the translation process in order to provide better diagnostics, explanations, and analysis. This information is used to generate better error-messages during translation. It is also used to provide better debugging for a simulation that produces unexpected results or where numerical methods fail.

Meeting deadlines is particularly important for real-time applications. It is usually essential to identify possible bottlenecks and either simplify the model or give hints to the compiler that enable it to generate faster code. When profiling and measuring execution times of parts of the model the recorded information can also be used to find out why a particular system model executes slowly.

Combined with debugging information, it is possible to find out why this system of equations is slow to solve, which helps understanding what can be done to simplify the model. A tool with a graphical user interface has been developed to make debugging and performance profiling easier. Both debugging and profiling have been combined into a single view so that performance metrics are mapped to equations, which are mapped to debugging information.

The algorithmic part of Modelica was extended with meta-modeling constructs (MetaModelica) for language modeling. In this context a quite general approach to debugging and compilation from (extended) Modelica to C code was developed. That makes it possible to use the same executable format for simulation executables as for compiler bootstrapping when the compiler written in MetaModelica compiles itself.

Finally, a method and tool prototype suitable for speeding up simulations has been developed. It works by partitioning the model at appropriate places and compiling a simulation executable for a suitable parallel platform.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 2015. , 243 s.
Serie
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1664
Emneord [en]
Simulation, modeling, debugging, profiling, optimization, parallelism, Modelica
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-116346DOI: 10.3384/diss.diva-116346ISBN: 978-91-7519-071-6 (tryckt)OAI: oai:DiVA.org:liu-116346DiVA: diva2:801004
Disputas
2015-06-01, Visionen, Hus B, Campus Valla, Linköping, 13:15 (engelsk)
Opponent
Veileder
Forskningsfinansiär
VINNOVA, RTSIMVINNOVA, ITEA2/MODPRODVINNOVA, ITEA2/MODRIOSwedish Foundation for Strategic Research , ProViking/HIPOSwedish Foundation for Strategic Research , ProViking/EDOPCUGS (National Graduate School in Computer Science)
Tilgjengelig fra: 2015-05-11 Laget: 2015-03-26 Sist oppdatert: 2015-05-12bibliografisk kontrollert

Open Access i DiVA

fulltext(3179 kB)835 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 3179 kBChecksum SHA-512
ccd007c710a66f4ac4d9f20dbb53b391a89d315e48361b12d36ab4bdedda03e1ff64f0c966b88bd9551586ec1684e5db36c8029b9931f9162d06a40ffcd79980
Type fulltextMimetype application/pdf
omslag(2804 kB)29 nedlastinger
Filinformasjon
Fil COVER01.pdfFilstørrelse 2804 kBChecksum SHA-512
0b4db7ac571c1e24ab1064266b2b1619fe0aa82799390a777c3d1f64bf74d324873a0600a0bcdf6c40057ea51720d75950af364e858d69c3719da76ca355f2e0
Type coverMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Sjölund, Martin

Søk i DiVA

Av forfatter/redaktør
Sjölund, Martin
Av organisasjonen

Søk utenfor DiVA

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

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 4056 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