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 2024 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, Process Engineering and Quality Assurance, while continuing to welcome work in all areas in the intersection between MDE and V&V.

SPECIAL ISSUE

We are pleased to announce that the best papers from MoDEVVa and the SAM Conference will be invited to submit extended versions jointly published in a special issue of Innovations in Systems and Software Engineering: a NASA Journal (ISSE) published by Springer Nature !!

List of Topics

• V&V in MBSE/MDE

  • Theoretical frameworks and approaches for integration of V&V in MBSE/MDE.

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

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

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

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

  • V&V in “lightweight” modeling environments that do not use explicit metamodeling or heavy modeling infrastructures

• MDE in V&V, Certification and Quality Assurance

  • Use of MDE abstractions (models, meta-models, model transformations) in V&V tasks.

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

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

  • Model-based process engineering to acquire certification.

  • Process engineering to support V&V activities.

• Tools, usability, and applications

  • Integration between modeling tools, IDEs and V&V back-ends.

  • Innovative approaches for model-based V&V of “real-world” systems.

  • Tools and techniques that help reduce the semantic gap between models and back-end formalisms used in V&V tasks.

  • Case studies and applications of V&V in MBSE/MDE.

• 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)

  • AI-enabled model inspection

  • AI-enabled frameworks/processes for model-based testing

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

  • Use of MDE and V&V in systems that involve AI components

Submissions and Publication

The proceedings will be published by ACM. The length limitation for short papers is five (5) pages including references, and for full papers ten (10) pages including references. The papers should follow the same formatting instructions used for the MODELS main track, available here for both LaTeX and Word users. MoDEVVa will use a single-blind/single-anonymous review process.

Venue

The conference will be held in Linz, Austria (co-located with MODELS 2024)

Contact

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