liu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automated static analysis of equation-based components
Linköpings universitet, Institutionen för datavetenskap.
Linköpings universitet, Institutionen för datavetenskap.ORCID-id: 0000-0002-3435-4996
2004 (Engelska)Ingår i: Simulation (San Diego, Calif.), ISSN 0037-5497, E-ISSN 1741-3133, Vol. 80, nr 7-8, 321-345 s.Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2004. Vol. 80, nr 7-8, 321-345 s.
Nyckelord [en]
Bipartite graphs, Debugging, Modelica, Overconstrained system, Underconstrained system
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-45704DOI: 10.1177/0037549704046340OAI: oai:DiVA.org:liu-45704DiVA: diva2:266600
Tillgänglig från: 2009-10-11 Skapad: 2009-10-11 Senast uppdaterad: 2017-12-13

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltext

Personposter BETA

Bunus, PeterFritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Bunus, PeterFritzson, Peter
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
Simulation (San Diego, Calif.)
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 146 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf