Konferensartikel

Towards Run-time Debugging of Equation-based Object-oriented Languages

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

Ladda ner artikel

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

Linköping Electronic Conference Proceedings 27:16, s. 134-139

Visa mer +

Publicerad: 2007-12-21

ISBN:

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

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.

Nyckelord

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

Referenser

[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

Citeringar i Crossref