From Model Driven Engineering to Verification Driven Engineering

  • Authors:

  • Fabrice Kordon;Jérôme Hugues;Xavier Renault

  • Affiliations:

  • Laboratoire d'Informatique de Paris 6/MoVe, Université Pierre & Marie Curie, Paris CEDEX 05, France F-75252;GET-Télécom Paris --- LTCI-UMR 5141 CNRS, Paris CEDEX 13, France F-75634;Laboratoire d'Informatique de Paris 6/MoVe, Université Pierre & Marie Curie, Paris CEDEX 05, France F-75252

  • Venue:
  • SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The definition and construction of complex computer-based systems require not just software engineering knowledge, but also many other domain-specific techniques to ensure many system's functional and non-functional properties. Hence, there is a trend to move away from programming languages to models on which one can reason: model-driven engineering. Yet, this remains a complex task: one need to master many techniques. In this paper, we claim that MDE is incomplete: it is "just" an implementation framework to support advanced model-based techniques, verification of systems non-functional properties, code generation, etc. There is a conceptual gap to fill to know "what" to do with models. We propose to switch from MDE to VDE: Verification-Driven Engineering, so that the user knows how to model a system to analyze it. We sum up existing techniques and their relevant application domains.