Change search
ReferencesLink to record
Permanent link

Direct link
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.
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
URN: urn:nbn:se:liu:diva-116346DOI: 10.3384/diss.diva-116346ISBN: 978-91-7519-071-6 (print)OAI: diva2:801004
Public defence
2015-06-01, Visionen, Hus B, Campus Valla, Linköping, 13:15 (English)
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)530 downloads
File information
File name FULLTEXT01.pdfFile size 3179 kBChecksum SHA-512
Type fulltextMimetype application/pdf
omslag(2804 kB)18 downloads
File information
File name COVER01.pdfFile size 2804 kBChecksum SHA-512
Type coverMimetype application/pdf

Other links

Publisher's full text

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: 530 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

Altmetric score

Total: 3678 hits
ReferencesLink to record
Permanent link

Direct link