liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
Automated static analysis of equation-based components
2004 (English)In: Simulation (San Diego, Calif.), ISSN 0037-5497, E-ISSN 1741-3133, Vol. 80, no 7-8, 321-345Artikel i tidskrift (Refereed) Published
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.

Keyword [en]
Bipartite graphs, Debugging, Modelica, Overconstrained system, Underconstrained system
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-45704 (URN)10.1177/0037549704046340 (DOI)oai:DiVA.org:liu-45704 (OAI)
Available from2009-10-11 Created:2009-10-11 Last updated:2014-10-08

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Bunus, PeterFritzson, Peter
By organisation
Department of Computer and Information Science
In the same journal
Simulation (San Diego, Calif.)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Citations

Web of Science®:

Altmetric score

Total: 30 hits
ReferencesLink to record
Permanent link

Direct link