Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
ModelicaML Value Bindings for Automated Model Composition
EADS Innovation Works, Germany.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
Georgia Institute of Technology, Atlanta, USA.
EADS Innovation Works, Germany.
2012 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Virtual Verification of Designs against Requirements (vVDR) is a method for model-based system design verification. This paper discusses enhancements to the vVDR method and its implementation in ModelicaML to further improve the support of system verification activities by automation. In the vVDR method there are different kinds of models that are created independently. However, they will become dependent and need to be related to each other in some concrete verification context. The aim is to reduce modeling errors and modeling efforts by automatically composing verification models from their constituting sub-models based on data dependencies that are defined using so-called mediators, which allow the expression of data dependencies between models without affecting, i.e. changing, the models themselves.

Place, publisher, year, edition, pages
Society for Computer Simulation International , 2012.
Series
Simulation Series, ISSN 0735-9276
Keyword [en]
ModelicaML, design verification, Modelica, model composition, model generation.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-110308ISBN: 978-161839786-7 (print)OAI: oai:DiVA.org:liu-110308DiVA: diva2:744021
Conference
Symposium on Theory of Modeling and Simulation (TMS/DEVS 2012), Orlando, Florida, USA, March 26-29, 2012
Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2015-05-28Bibliographically approved

Open Access in DiVA

fulltext(577 kB)59 downloads
File information
File name FULLTEXT01.pdfFile size 577 kBChecksum SHA-512
a114d1428201a386005f1d7592e1077431df68001a71aced872bd3603a3c5e212542ec05e9415e14bbbe203b82d0c97e7422b94f9ee3d0eacbaa830096145ace
Type fulltextMimetype application/pdf

Authority records BETA

Fritzson, Peter

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 59 downloads
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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 86 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf