MoDeVVa 2012 - International Workshop on Model Based Architecting and Construction of Embedded Systems

Models are purposeful abstractions of systems and of their environment. They can be used for understanding complex systems, validating requirements, for simulation or automatic code generation. The shift from code or technical artifacts to software models is a key feature of MDE which opens perspectives for the formalization and the automation of verification and validation (V&V) tasks, like model-based testing, consistency or refinement conformance checking. 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 2012 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 the emphasis on compositionality:
- how to divide a model into submodels that can be verified and integrated into a validated system? how to model composition rules to support compositionality?
- how to model model transformations to guaranty the preservation of properties of the models?
- how to model the dependencies between fonctional and extra-fonctional requirements?