MoDeVVa 2017: 14th Workshop on Model Driven Engineering, Verification and Validation Austin, TX, United States, September 17, 2017 |
Conference website | https://sites.google.com/site/modevva/home |
Submission link | https://easychair.org/conferences/?conf=modevva2017 |
Submission deadline | July 14, 2017 |
Important Dates
- Submission deadline: 14.07.2017
- Notification: 28.07.2017
- Workshop date: 17-19.09.2017
Scope, Objectives and Topics of interest
MoDeVVa aims to bring together researchers and practitioners in the domain of V&V and MDE so that key V&V issues in MDE can be identified and solved. The questions of interest revolve around the mutual benefits between MDE and V&V:
- How can MDE improve V&V?
- How can V&V increase the reliability of MDE?
These questions span a wide range of topics, all of which are relevant to MoDeVVa:
- The integration of V&V approaches into MDE
- The definition of V&V approaches that rely on MDE
- Modeling the rules for combining sub-models in order to improve compositionality
- Modeling conformance relations for checking the refinement of models
- Modeling transformations between models used for design and models used for V&V
- Continuous and incremental V&V of models
- The application of the above topics to MDE itself (V&V of meta-models, models and model transformations)
- Analyzing and verifying transformations to certify the automation of the MDE process.
- V&V of models and modeling tools (e.g. generators) for safety critical systems
- Using models to increase practicability of formal verification
- Experience reports about adoption in industry
For the 2017 edition of the MoDeVVa workshop, we would like to put an emphasis on comparing and combining different V&V techniques of MDE artifacts (e.g., classical testing, static analysis, model checking, deductive approaches, runtime verification, ...). We aim to combine the results of different (possibly incomplete) verification approaches in order to increase the confidence in the integrity of models and transformations.
- How can more formal verification approaches complement the semi-formal ones?
- How can V&V approaches be combined to assess the different requirements of artifacts?
- How do different V&V techniques compare with each other with respect to different criteria (e.g., time efficiency, memory usage, soundness, completeness, user-friendliness)?
- How to increase the confidence in the correctness of a system by using heterogeneous verification results as evidence for assurance cases?
Submission Guidelines
We expect either short papers (up to 4 pages) or long papers (up to 7 pages), in CEUR two-column format.
Short papers are aimed at discussing innovative ideas while long papers are aimed at presenting more mature and evaluated research.
MoDeVVa 2017 proceedings will be published in the CEUR workshop proceedings, which is indexed by DBLP.
Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=modevva2017
Committees
Program Committee
- Mira Balaban (Ben-Gurion University of the Negev, Israel)
- Frédéric Boulanger (Supélec, France)
- Fabrice Bouquet (University of Franche-Comté, France)
- Chih-Hong Cheng (Fortiss - Munich Software and Systems Institute, Germany)
- John Derrick (University of Sheffield, UK)
- Dehla Sokenou (GEBIT Solutions, Germany)
- Maria Spichkova (RMIT University, Australia)
- Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany)
- Levi Lucio (fortiss, Germany)
- Mercedes Merayo (Universidad Complutense de Madrid, Spain)
- Marius Minea (Politehnica University of Timisoara, Romania)
- Manuel Wimmer (Vienna University of Technology, Austria)
Steering Committee
- Frédéric Boulanger (Supélec, France)
- Michalis Famelis (University of Montreal, Canada)
- Levi Lucio (fortiss, Germany)
- Martina Seidl (JKU Linz, Austria)
Organizing committee
- Ernesto Posse (Zeligsoft, Canada)
- Daniel Ratiu (Siemens AG, Germany)
- Gehan Selim (McMaster University, Canada)
- Faiez Zalila (Inria, France)