MoDeVVa 2023: 20th Workshop on Model Driven Engineering, Verification and Validation

Co-located with MODELS 2023

1-3 October 2023 (precise date to be decided)

Västerås, Sweden

https://sites.google.com/site/modevva/

Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Model-Based Systems Engineering (MBSE) is the predominant paradigm used in many industries to capture system requirements, design, analysis and support verification and validation activities throughout the life cycle of complex systems. In the software industry, 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 MBSE and MDE.

The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V, MBSE and MDE. The main goals of the workshop are to identify, investigate, and discuss emerging research in the mutual impacts of model-based engineering and V&V. The major questions of interest in MoDeVVa revolve around the possible overlaps and mutual benefits of MDE and V&V: How can MDE improve V&V? How can V&V increase the reliability of MDE?

Topics of interest

We welcome contributions in all areas at the intersection of MBSE/MDE and V&V. Papers addressing the following topics are particularly welcome:

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

Submitted papers can be either short papers (up to 5 pages) or long papers (up to 10 pages), in the 2-column IEEE format. Short papers are aimed at discussing innovative ideas while long papers are aimed at presenting more mature and evaluated research. As in previous years, all accepted papers will be included in the joint workshop proceedings published by the IEEE, that include papers from all workshops at MODELS 2023.

As fort last year, in addition to the proceedings, a selection of best papers will be considered for publication in extended form in a special issue of a Journal. We are considering the Innovations in Systems and Software Engineering Journal (https://www.springer.com/journal/11334).

Papers should be submitted via EasyChair at https://easychair.org/conferences/?conf=modevva23.


Workshop Format

MoDeVVa 2023 will include an opening keynote, paper presentations and the last session of the day will be dedicated to discussions on the topics presented with the goal of identifying common themes, interesting problems and shared interests and hopefully propose avenues for future research. This year we also introduced best paper award and selected papers will also get a chance to be published in a top Journal. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts on MDE and V&V.

Important Dates
Submission: Thursday, July 20th, 2023
Notification to authors: Friday, August 18th, 2023
Final version: Friday, August 25th, 2023
Workshop: Sun 1 - Tue 3 October 2023 (exact workshop date to be confirmed)

Organization Committee
Saad Bin Abid (Alten Consultancy, Germany),
Akram Idani (LIG, Université Grenoble-Alpes, France),
Iulian Ober (ISAE-SUPAERO, Université de Toulouse, France),
Pierre de Saqui-Sannes (ISAE-SUPAERO, Université de Toulouse, France)
mailto:modevva@gmail.com