Skip to Main content Skip to Navigation
Conference papers

From Model Driven Engineering to Verification Driven Engineering

Fabrice Kordon 1 Jérôme Hugues Xavier Renault 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01304953
Contributor : Lip6 Publications <>
Submitted on : Wednesday, April 20, 2016 - 2:50:43 PM
Last modification on : Thursday, March 21, 2019 - 1:19:37 PM

Links full text

Identifiers

Citation

Fabrice Kordon, Jérôme Hugues, Xavier Renault. From Model Driven Engineering to Verification Driven Engineering. 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Oct 2008, Capri, Italy. pp.381-393, ⟨10.1007/978-3-540-87785-1_34⟩. ⟨hal-01304953⟩

Share

Metrics

Record views

242