Research Questions for Validation and Verification in the Context of Model-Based Engineering

Catherine Dubois (1, 2) , Michalis Famelis (3) , Martin Gogolla (4) , Leonel Nobrega (5) , Ileana Ober (6) , Martina Seidl (7) , Markus Völter (8)

1 CEDRIC - Centre d'études et de recherche en informatique et communications
2 ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
3 University of Toronto
4 Universität Bremen
5 UMA - Universidade da Madeira
6 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus
7 JKU - University of Linz - Johannes Kepler Universität Linz
8 Chercheur indépendant

In model-based engineering (MBE), the abstraction power of models is used to deal with the ever increasing complexity of modern software systems. As models play a central role in MBE-based development processes, for the adoption of MBE in practical projects it becomes indispensable to introduce rigorous methods for ensuring the correctness of the models. Consequently, much effort has been spent on developing and applying validation and verification (V&V) techniques for models. However, there are still many open challenges. In this paper, we shortly review the status quo of V&V techniques in MBE and derive a catalogue of open questions whose answers would contribute to successfully putting MBE into practice.

Mots clés: Validation; Verification; Model-based engineering

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober, et al.. Research Questions for Validation and Verification in the Context of Model-Based Engineering. International Workshop on Model Driven Engineering, Verification and Validation - MoDeVVA 2013, Oct 2013, Miami, United States. pp. 67-76. ⟨hal-01144308⟩