MoDeVVa @ MODELS 2015 / Ottawa
Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada from September 27 to October 2, 2015. The main conference will run from Wednesday Sept 30 to Friday Oct 2, with satellite events such as workshops and tutorials being held the previous three days.
12th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE
Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or automatic code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation (V&V) tasks. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE.
The 2015 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V. This year, we would like to put an emphasis on model verification and validation for developing cyber physical systems.