ModelicaML Value Bindings for Automated Model Composition
2012 (English)Conference paper (Refereed)
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
ModelicaML, design verification, Modelica, model composition, model generation.
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110308ISBN: 978-161839786-7OAI: oai:DiVA.org:liu-110308DiVA: diva2:744021
Symposium on Theory of Modeling and Simulation (TMS/DEVS 2012), Orlando, Florida, USA, March 26-29, 2012