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

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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01144308
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 21, 2015 - 1:58:16 PM
Last modification on : Friday, June 14, 2019 - 6:31:07 PM
Long-term archiving on : Monday, September 14, 2015 - 11:22:06 AM

File

Dubois_12880.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01144308, version 1
  • OATAO : 12880

Collections

Citation

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⟩

Share

Metrics

Record views

144

Files downloads

1001