Integrated Debugging of Modelica Models

Pop, Adrian; Sjölund, Martin; Asghar, Adeel; Fritzson, Peter; Casella, Francesco

doi:10.4173/mic.2014.2.3

Cited by 14 publications

(9 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, bootstrapping of the whole OpenModelica compiler was achieved in 2011. Two years later, in 2013, all our OpenModelica compiler development was shifted to the new bootstrapped compiler (Sjölund, Fritzson, Pop, 2014), (Sjölund, 2015), after automatic memory reclamation (garbage collection), separate compilation, and a new efficient debugger had been achieved for our new compiler platform.…”

Section: Goals For Openmodelicamentioning

confidence: 99%

See 1 more Smart Citation

The OpenModelica Integrated Modeling, Simulation, and Optimization Environment

Fritzson¹,

Pop²,

Asghar³

et al. 2019

Linköping Electronic Conference Proceedings

Self Cite

View full text Add to dashboard Cite

OpenModelica is currently the most complete opensource Modelica-and FMI-based modeling, simulation, optimization, and model-based development environment. Moreover, the OpenModelica environment provides a number of facilities such as debugging; optimization; visualization and 3D animation; web-based model editing and simulation; scripting from Modelica, Python, Julia, and Matlab; efficient simulation and co-simulation of FMI-based models; compilation for embedded systems; Modelica-UML integration; requirement verification; and generation of parallel code for multi-ore architectures. The environment is based on Modelica and uses an extended version of Modelica for its implementation. This overview paper intends to give an up-to-date brief description of the capabilities of the system, and the main vision behind its development.

show abstract

Section: Goals For Openmodelicamentioning

confidence: 99%

“…The OpenModelica equational model debugger ( Figure 6), (Pop, Sjölund, et al, 2014), (Sjölund, 2015 Left: equations view where equations and symbolic transformations can be vied. Right: source view where the erroneous equation is pointed out.…”

Section: The Openmodelica Equation Model Debugger and Performance Anamentioning

confidence: 99%

The OpenModelica Integrated Modeling, Simulation, and Optimization Environment

Fritzson¹,

Pop²,

Asghar³

et al. 2019

Linköping Electronic Conference Proceedings

Self Cite

View full text Add to dashboard Cite

show abstract

“…Both (Buchanan and Keefe 2014) and (Pop et al 2014) describe how a simulator can be fit to provide debugging support. In (Pop et al 2014), the focus is on the Modelica language, whereas in (Buchanan and Keefe 2014), the authors target a language-independent discrete-event simulator. In contrast, our approach can potentially be used to provide debugging support to any hybrid simulator, resulting from the composition of two simulators.…”

Section: Related Workmentioning

confidence: 99%

Explicit Modelling and Synthesis of Debuggers for Hybrid Simulation Languages

2017

TMS/DEVS Symposium on Theory of Modeling &Amp; Simulation (TMS/DEVS 2017)

View full text Add to dashboard Cite

Any sufficiently complex system is best described (or specified) with a combination of models in multiple formalisms. To support the creation of such "hybrid models", recent research focuses on the (syntactic and semantic) combination of formalism fragments. To implement the hybrid language's operational semantics, the simulators of each of the formalisms are combined. Inspired by this same principle, we study how hybrid simulators can be instrumented with debugging capabilities. Previous work has shown that an explicit model of any simulator's behaviour can be instrumented with common code debugging operations (e.g., stepwise execution, breakpoints, pause/play) and simulation-specific operations (such as (scaled) real-time simulation, or event injection). We extend this work by combining two debugging-enhanced simulators to create a hybrid simulator in a modular way, and instrument it with debugging support at the hybrid level. To demonstrate feasibility, we create a debugging-enhanced simulator of the Hybrid Automata formalism, by embedding a Causal Block Diagrams simulator in a Timed Finite State Automata simulator.

show abstract

“…The debugging aspects are very important for developers; the old MMC lacked efficient tools for debugging and profiling -the bootstrapped compiler, compiling to well-structured C code, can use standard tools like the the GNU project debugger 30 CHAPTER 2. BACKGROUND (GDB) [133] and Valgrind [96] in addition the Modelica-specific debugger which has been built on top of GDB [118]. For more details on the differences between OMC and MMC, see Chapter 6.…”

Section: Compiler Bootstrappingmentioning

confidence: 99%

“…Both implementations of the algorithmic code debuggers, MDT and OMEdit, have the same features. The user interface for the algorithmic code debugger has been developed by Pop and Asghar [118]. The debugger uses the debugging information that was added to OpenModelica-generated C code during the development of the bootstrapped OpenModelica compiler (Chapter 6).…”

Section: Algorithmic Code Debuggermentioning

confidence: 99%

Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

Sjölund¹

2015

Linköping Studies in Science and Technology. Dissertations

Self Cite

View full text Add to dashboard Cite

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. Populärvetenskaplig sammanfattningSom ingenjör lär man sig att förstå världen genom ekvationer. För att beskriva eller modellera ett fysikaliskt system, till exempel vid utveckling av en produkt, vill ingenjören använda sig av de ekvationer som han eller hon lärt sig från böcker eller fö...

show abstract

Integrated Debugging of Modelica Models

Cited by 14 publications

References 14 publications

The OpenModelica Integrated Modeling, Simulation, and Optimization Environment

The OpenModelica Integrated Modeling, Simulation, and Optimization Environment

Explicit Modelling and Synthesis of Debuggers for Hybrid Simulation Languages

Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

Contact Info

Product

Resources

About