LiU Electronic Press
Full-text not available in DiVA
Author:
Bunus, Peter (Linköping University, Department of Computer and Information Science) (Linköping University, The Institute of Technology)
Fritzson, Peter (Linköping University, Department of Computer and Information Science) (Linköping University, The Institute of Technology)
Title:
Automated static analysis of equation-based components
Department:
Linköping University, Department of Computer and Information Science
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Status:
Published
In:
Simulation (San Diego, Calif.)(ISSN 0037-5497)(EISSN 1741-3133)
Volume:
80
Issue:
7-8
Pages:
321-345
Year of publ.:
2004
URI:
urn:nbn:se:liu:diva-45704
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-45704
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Keywords(en) :
Bipartite graphs, Debugging, Modelica, Overconstrained system, Underconstrained system
Abstract(en) :

Mathematical modeling and the simulation of complex physical systems are emerging as key technologies in engineering. The availability of static analyzers and automatic debuggers for detecting structural and numerical inconsistencies in the simulation models is crucial. To address this need, the authors propose a methodology for detecting and repairing overconstrained and underconstrained situations based on graph-theoretical approaches. Components and equations that cause the irregularities are automatically isolated, and meaningful error messages for the user are elaborated. The authors have implemented the AMOEBA (Automatic Modelica Equation-Based Analyzer) environment to support the development and specification of correct equation-based simulation models by applying graph-theoretical approaches and semiautomatic debugging techniques. The implementation architecture and preliminary experiments with a prototype debugger integrated in the symbolic and numeric engine, ModSimPack, of the Modelica language compiler are presented and discussed.

Available from:
2009-10-11
Created:
2009-10-11
Last updated:
2013-03-07
Statistics:
29 hits