Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, metamodels, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MDE.

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, investigate, and discuss mutual impacts of MDE and V&V.

For the 2022 edition of the MoDeVVa workshop we would like to encourage papers addressing the use of AI techniques such as machine learning, to help address the challenges of model-based V&V, while continuing to welcome work in all areas in the intersection between MDE and V&V.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference.

• All papers must be submitted in IEEE format. Templates for the format can be obtained here:https://www.ieee.org/conferences/publishing/templates.html

• Short papers should be 5 pages long and long papers should be 10 pages long, references included.

List of Topics

• Topics of MoDeVVa

  We welcome contributions in all areas at the intersection of MDE and V&V. This year we would like to encourage papers related to the application of AI techniques for V&V in MDE.

  V&V in MDE

  • Analysis and V&V of models, meta-models and model transformations.

  • V&V in different stages of the development process (requirements, design, code generation, testing, configuration, deployment).

  • Reducing the gap between V&V techniques and MDE.

  • Integrating V&V into MDE.

  • The application and combination of different V&V techniques (e.g., classical testing, static analysis, model checking, deductive approaches, runtime verification) to MDE artifacts.

  MDE in V&V

  • Defining V&V approaches that rely on MDE.

  • Use of models, meta-models, model transformations and modelling languages in V&V.

  • Use of model-evolution approaches to enable incremental V&V.

  Tools, usability, applications

  • Integration between modelling tools and IDEs and formal verification back-ends.

  • Tools and techniques that help making use of V&V easier and more applicable to “real-world” problems.

  • Tools and techniques that help reduce the semantic gap between V&V formalisms and MDE languages.

  • Applications of V&V to MDE.

  • Applications of MDE to V&V.

  • “Real-world” case studies and applications.

  AI-related topics for V&V activities

  • Use of Machine Learning (ML) to assist model-based V&V activities (e.g., testing selection, generation and prioritization)

  • Current practices/case-studies/experience reports on applying ML-assisted model-based V&V.

  • ML-assisted test automation for performance testing.

  • AI-enabled frameworks/processes for model-based testing to support V&V activities

  • From manual testing to intelligent test automation for V&V activities.

  • Tools and techniques using AI for performing V&V activities.

  Foundations

  • Theoretical frameworks for integration of V&V and MDE.

  • Formalisms and theories for the specification and verification of models.

  • Formal approaches to models, modelling languages, including DSMLs and MDE in general.

  • Modelling relations for checking model conformance and/or refinement.

  MDE in Certification and Quality Assurance

  • Industrial case studies for application of MDE for quality assurance.

  • Model-based process engineering to acquire certification.

  • Process engineering to support V\&V activities (in general).

Committees

• Adina Aniculaesei (Institute for Software and Systems Engineering, TU Clausthal, Germany)

• Alexandre Albore (ONERA)

• Vincent Aravantinos (Argo AI)

• Iulian Ober (University of Toulouse, IRIT)

• Saad Bin Abid (Huawei MRC)

• Sanaa Alwidian (Ontario Tech University, Canada)

• Abdullah AlQahtani (Prince Sattam bin AbdulAziz University, Saudi Arabia)

• Mira Balaban (Ben-Gurion University of the Negev)

• Frédéric Boulanger (CentraleSupélec)

• Fabrice Bouquet (University of Franche-Comte)

• Loli Burgueño (Open University of Catalonia & CEA LIST)

• John Derrick (University of Sheffield)

• Michalis Famelis (University of Montreal)

• Leen Lambers (Hasso-Plattner-Institut, Universität Potsdam)

• Raquel Araujo Oliveira (UGA Univeristy and the LIG laboratory (Laboratoire d'Informatique de Grenoble)

• Ernesto Posse (Zeligsoft)

• Dehla Sokenou (WPS - Workplace Solutions)

• Maria Spichkova (RMIT University)

• Manuel Wimmer (Johannes Kepler University Linz)

• Gilles Bisson (University of Grenoble, France)

• Chih-Hong Cheng (Fraunhofer IKS, Germany)

• Sebastian Herzig (NASA, California, USA)

• Bruno Legeard (Smartesting, France)

• Mercedes Merayo (Universidad Complutense de Madrid, Spain)

• Marius Minea (Univ. of Massachusetts Amherst, USA)

• Martina Seidl (Johannes Kepler University Linz, Austria)

• Leen Lambers (Hasso-Plattner-Institut, Universit\"at Potsdam, Germany)

• Dehla Sokenou (GEBIT Solutions, Germany)

• Markus Scheidgen (Humboldt-Universit\"at zu Berlin, Germany)

• Andreas Schweiger (Airbus, Germany)

• Jocelyn Simmonds (Universidad de Chile, Chile)

• Marina Reich (Airbus, Germany)

• Iulian Ober (University of Toulouse, France)

• Saad Bin Abid (Huawei MRC, Germany)

• Akram Idani (LIG, Universit ́e Grenoble-Alpes, France)

• Pierre de Saqui-Sannes (ISAE-SUPAERO, Universit ́e de Toulouse, France)

• Benoit Baudry (KTH Royal Institute of Technology, Sweden)

• Michalis Famelis (Université de Montreal, Canada)

• Christophe Gaston (CEA, France)

• Levi Lucio (Airbus defence and space gmbh, Germany)

• Frederic Boulanger (Supelec, France)

• Stephan Weissleder (Thales Transportation Systems GmbH, Germany)

• Martina Seidl (Johannes Kepler University Linz, Austria)

Venue

The conference will be held in Montréal, Canada

Contact

All questions about submissions should be emailed to: modevva@gmail.com