Integrated Debugging of Modelica Models

被引：9
作者：
Pop, A. [1 ]
Sjolund, M. [1 ]
Asghar, A. [1 ]
Fritzson, P. [1 ]
Casella, F. [2 ]
机构：
[1] Linkoping Univ, Dept Comp & Informat Sci, S-58183 Linkoping, Sweden
[2] Politecn Milanodi Milan, Dipartimento Elettr Informaz & Bioingn, I-20133 Milan, Italy
来源：
MODELING IDENTIFICATION AND CONTROL | 2014年 / 35卷 / 02期
关键词：
Modelica; Debugging; Modeling and Simulation; Transformations; Equations; INITIALIZATION; SYSTEMS;
D O I：
10.4173/mic.2014.2.3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：93 / 107
页数：15
相关论文
共 22 条
[1]  
ANDERSON E., 1999, LAPACK USERSGUIDE, V3rd
[2]   Semi-automatic fault localization and behavior verification for physical system simulation models [J].
Bunus, P ;
Fritzson, P .
18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, :253-258
[3]  
Bunus P., 2004, THESIS LINKOPING U
[4]  
Casella F., 2009, P 7 INT MOD C, DOI [10.3384/ecp09430073, DOI 10.3384/ECP09430073]
[5]  
Clauss C., 2011, P 8 INT MOD C
[6]   Beautiful Differentiation [J].
Elliott, Conal M. .
ACM SIGPLAN NOTICES, 2009, 44 (8-9) :191-202
[7]  
ELMQVIST H, 1994, MODELLING AND SIMULATION, ESM 94, P326
[8]  
Fritzson P., 2014, PRINCIPLES OBJECT OR, DOI DOI 10.1002/9781118989166
[9]  
Mattsson S. E., 2000, COMP AID CONTR SYST, P61
[10]  
Mattsson S. E., 1992, COMP AID CONTR SYST, P218, DOI [10.1109/CACSD.1992.274429, DOI 10.1109/CACSD.1992.274429]
123