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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (PELAB)
2015 (English)Doctoral thesis, monograph (Other academic)
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.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2015. , 243 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1664
Keyword [en]
Simulation, modeling, debugging, profiling, optimization, parallelism, Modelica
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-116346DOI: 10.3384/diss.diva-116346ISBN: 978-91-7519-071-6 (print)OAI: oai:DiVA.org:liu-116346DiVA: diva2:801004
Public defence
2015-06-01, Visionen, Hus B, Campus Valla, Linköping, 13:15 (English)
Opponent
Supervisors
Funder
VINNOVA, RTSIMVINNOVA, ITEA2/MODPRODVINNOVA, ITEA2/MODRIOSwedish Foundation for Strategic Research , ProViking/HIPOSwedish Foundation for Strategic Research , ProViking/EDOPCUGS (National Graduate School in Computer Science)
Available from: 2015-05-11 Created: 2015-03-26 Last updated: 2015-05-12Bibliographically approved

Open Access in DiVA

fulltext(3179 kB)834 downloads
File information
File name FULLTEXT01.pdfFile size 3179 kBChecksum SHA-512
ccd007c710a66f4ac4d9f20dbb53b391a89d315e48361b12d36ab4bdedda03e1ff64f0c966b88bd9551586ec1684e5db36c8029b9931f9162d06a40ffcd79980
Type fulltextMimetype application/pdf
omslag(2804 kB)29 downloads
File information
File name COVER01.pdfFile size 2804 kBChecksum SHA-512
0b4db7ac571c1e24ab1064266b2b1619fe0aa82799390a777c3d1f64bf74d324873a0600a0bcdf6c40057ea51720d75950af364e858d69c3719da76ca355f2e0
Type coverMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Sjölund, Martin

Search in DiVA

By author/editor
Sjölund, Martin
By organisation
Software and SystemsThe Institute of Technology
Computer Science

Search outside of DiVA

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 4056 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf