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

Direct link
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 (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.
, Simulation Series, ISSN 0735-9276
Keyword [en]
ModelicaML, design verification, Modelica, model composition, model generation.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:liu:diva-110308ISBN: 978-161839786-7OAI: diva2:744021
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)37 downloads
File information
File name FULLTEXT01.pdfFile size 577 kBChecksum SHA-512
Type fulltextMimetype application/pdf

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: 37 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

Total: 52 hits
ReferencesLink to record
Permanent link

Direct link