Static and Dynamic Debugging of Modelica Models
Adrian Pop, Martin Sjölund, Adeel Asghar, Peter Fritzson, Casella Francesco · Linköping electronic conference proceedings · 2012
The high abstraction level of equation-based objectoriented languages (EOO) such as Modelica has the drawback that programming and modeling errors are often hard to find.In this paper we present static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems.The goal is an integrated debugging framework that combines classical debugging techniques with special techniques for equation-based languages partly based on graph visualization and interaction.To our knowledge, this is the first Modelica debugger that supports both transformational and algorithmic code debugging.