ModelicaML value bindings for automated model composition

Authors:
Wladimir Schamai;Peter Fritzson;Christiaan J. J. Paredis;Philipp Helle
Affiliations:
EADS Innovation Works, Germany;Linköping University, Sweden;Georgia Institute of Technology, Atlanta;EADS Innovation Works, Germany
Venue:
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Year:
2012

Citing 4
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Virtual verification of system designs against system requirements

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Model-based system verification: a formal framework for relating analyses, requirements, and tests

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Professional ASP.NET MVC 3

Professional ASP.NET MVC 3

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.