Methods for Structural Analysis and Debugging of Modelica Models
Peter Bunus, Peter Fritzson · 2002
A significant part of the simulation design effort is spent on detecting deviations from the specifications and subsequently localizing the source of errors. Employment of debugging environments that control the correctness of the developed source code is an important factor in reducing the time and cost of software development in classical programming languages. Currently, few or no tools are available to assist developers when debugging declarative equation based modeling languages. To begin to address this need we have developed an efficient debugging framework for Modelica and have adapted traditional debugging techniques and algorithms to it. The developed algorithms and methods help to statically detect and repair a broad range of errors without having to execute the simulation model. Several simulation models and examples are given in this paper in order to illustrate the main situations when over and under-constraining equations can appear in the system. Error detection and error solving strategies for those cases are also given.