liu.sePublikationer
Ä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
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 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University Electronic Press, 2015. , 243 s.
Serie
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1664
Nyckelord [en]
Simulation, modeling, debugging, profiling, optimization, parallelism, Modelica
Nationell ämneskategori
Datavetenskap (datalogi)
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
Disputation
2015-06-01, Visionen, Hus B, Campus Valla, Linköping, 13:15 (Engelska)
Opponent
Handledare
Forskningsfinansiär
VINNOVA, RTSIMVINNOVA, ITEA2/MODPRODVINNOVA, ITEA2/MODRIOStiftelsen för strategisk forskning (SSF), ProViking/HIPOStiftelsen för strategisk forskning (SSF), ProViking/EDOPCUGS (National Graduate School in Computer Science)
Tillgänglig från: 2015-05-11 Skapad: 2015-03-26 Senast uppdaterad: 2015-05-12Bibliografiskt granskad

Open Access i DiVA

fulltext(3179 kB)834 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 3179 kBChecksumma SHA-512
ccd007c710a66f4ac4d9f20dbb53b391a89d315e48361b12d36ab4bdedda03e1ff64f0c966b88bd9551586ec1684e5db36c8029b9931f9162d06a40ffcd79980
Typ fulltextMimetyp application/pdf
omslag(2804 kB)29 nedladdningar
Filinformation
Filnamn COVER01.pdfFilstorlek 2804 kBChecksumma SHA-512
0b4db7ac571c1e24ab1064266b2b1619fe0aa82799390a777c3d1f64bf74d324873a0600a0bcdf6c40057ea51720d75950af364e858d69c3719da76ca355f2e0
Typ coverMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

Sjölund, Martin

Sök vidare i DiVA

Av författaren/redaktören
Sjölund, Martin
Av organisationen
Programvara och systemTekniska högskolan
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 834 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.

doi
isbn
urn-nbn

Altmetricpoäng

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