Article | The 48th Scandinavian Conference on Simulation and Modeling (SIMS 2007); 30-31 October; 2007; Göteborg (Särö) | Towards Run-time Debugging of Equation-based Object-oriented Languages

Title:
Towards Run-time Debugging of Equation-based Object-oriented Languages
Author:
Adrian Pop: Programming Environments Laboratory, Department of Computer and Information Science, Linköping University, Sweden Peter Fritzson: Programming Environments Laboratory, Department of Computer and Information Science, Linköping University, Sweden
Download:
Full text (pdf)
Year:
2007
Conference:
The 48th Scandinavian Conference on Simulation and Modeling (SIMS 2007); 30-31 October; 2007; Göteborg (Särö)
Issue:
027
Article no.:
016
Pages:
134-139
No. of pages:
6
Publication type:
Abstract and Fulltext
Published:
2007-12-21
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

The development of today’s complex products requires advanced integrated environments and modeling languages for modeling and simulation. Equation-based object-oriented declarative (EOO) languages are emerging as the key approach to physical system modeling and simulation. The increased ease of use; the high abstraction and the expressivity of EOO languages are very attractive properties. However; these attractive properties come with the drawback that programming and modeling errors are often hard to find. In this paper we propose an integrated framework for run-time debugging of equation-based modeling languages. The framework integrates classical debugging techniques with special techniques for debugging EOO languages and is based on graph visualization and interaction. The debugging framework targets the Modelica language.

Keywords: Run-time Debugging; Modeling and Simulation; Graph Visualization and Interaction; Eclipse

The 48th Scandinavian Conference on Simulation and Modeling (SIMS 2007); 30-31 October; 2007; Göteborg (Särö)

Author:
Adrian Pop, Peter Fritzson
Title:
Towards Run-time Debugging of Equation-based Object-oriented Languages
References:

[1] Bunus Peter and Peter Frizson. (2003). Semi- Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering. Montreal; Canada; October 6-10; 2003)


[2] Bunus Peter. Debugging Techniques for Equation- Based Languages. PhD Thesis. Department of Computer and Information Science; Linköping University; 2004.


[3] Peter Fritzson; Peter Aronsson; Håkan Lundvall; Kaj Nyström; Adrian Pop; Levon Saldamli; and David Broman. The OpenModelica Modeling; Simulation; and Software Development Environment. In Simulation News Europe; 44/45; Dec 2005. http://ww.ida.liu.se/projects/OpenModelica.


[4] Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; 940 pp.; ISBN 0-471-471631; Wiley-IEEE Press; 2004. See also: http://www.mathcore.com/drmodelica/


[5] The Modelica Association. The Modelica Language Specification Version 2.2. http://www.modelica.org


[6] Adrian Pop; Peter Fritzson; Andreas Remar; ElmirJagudin; and David Akhvlediani. OpenModelica Development Environment with Eclipse Integration for Browsing; Modeling; and Debugging. In Proc of the Modelica’2006; Vienna; Austria; Sept. 4-5; 2006.


[7] MathCore;MathModelica http://www.mathcore.com


[8] Dynasim AB; Dymola; http://www.dynasim.com 139

The 48th Scandinavian Conference on Simulation and Modeling (SIMS 2007); 30-31 October; 2007; Göteborg (Särö)

Author:
Adrian Pop, Peter Fritzson
Title:
Towards Run-time Debugging of Equation-based Object-oriented Languages
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment