OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Dubois, Catherine and Famelis, Michalis and Gogolla, Martin and Nobrega, Leonel and Ober, Ileana and Seidl, Martina and Völter, Markus Research Questions for Validation and Verification in the Context of Model-Based Engineering. (2014) In: International Workshop on Model Driven Engineering, Verification and Validation - MoDeVVA 2013, 1 October 2013 (Miami, United States).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
327kB

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Ceur-ws editor. The definitive version is available at http://ceur-ws.org/Vol-1069/
HAL Id:hal-01144308
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > University of Toronto (CANADA)
Other partners > Ecole nationale supérieure d'informatique pour l'industrie et l'entreprise - ENSIIE (FRANCE)
Other partners > Linz Johannes Kepler University (AUSTRIA)
Other partners > Universität Bremen (GERMANY)
Other partners > Universidade da Madeira - UMA (PORTUGAL)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:21 Apr 2015 12:30

Repository Staff Only: item control page