The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated 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 equation-based transformational and algorithmic code debugging in an integrated fashion.
%0 Journal Article
%1 pop2014integrated
%A Pop, Adrian
%A Sjölund, Martin
%A Ashgar, Adeel
%A Fritzson, Peter
%A Casella, Francesco
%D 2014
%I Norwegian Society of Automatic Control
%J Modeling, Identification and Control
%K 2014 Modelica debugging
%N 2
%P 93--107
%R 10.4173/mic.2014.2.3
%T Integrated Debugging of Modelica Models
%U http://dx.doi.org/10.4173/mic.2014.2.3
%V 35
%X The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated 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 equation-based transformational and algorithmic code debugging in an integrated fashion.
@article{pop2014integrated,
abstract = {The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated 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 equation-based transformational and algorithmic code debugging in an integrated fashion. },
added-at = {2015-02-18T09:08:09.000+0100},
author = {Pop, Adrian and Sjölund, Martin and Ashgar, Adeel and Fritzson, Peter and Casella, Francesco},
biburl = {https://www.bibsonomy.org/bibtex/28186084e82efc9788873c514b51a0655/thorade},
doi = {10.4173/mic.2014.2.3},
interhash = {99142d6e2a37309aa366f17b6df7f3e3},
intrahash = {8186084e82efc9788873c514b51a0655},
journal = {Modeling, Identification and Control},
keywords = {2014 Modelica debugging},
number = 2,
pages = {93--107},
publisher = {Norwegian Society of Automatic Control},
timestamp = {2015-02-18T09:08:09.000+0100},
title = {Integrated Debugging of Modelica Models},
url = {http://dx.doi.org/10.4173/mic.2014.2.3},
volume = 35,
year = 2014
}