| Issue |
Volume 6, 2013
Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics
|
|
|---|---|---|
| Page(s) | 455 - 468 | |
| Section | Avionics | |
| DOI | https://doi.org/10.1051/eucass/201306455 | |
| Published online | 02 December 2013 | |
A verification and validation process for model-driven engineering
ONERA − The French Aerospace Laboratory Toulouse F-31055, France
Model Driven Engineering practitioners already benefit from many well established verification tools, for Object Constraint Language (OCL), for instance. Recently, constraint satisfaction techniques have been brought to Model-Driven Engineering (MDE) and have shown promising results on model verification tasks. With all these tools, it becomes possible to provide users with formal support from early model design phases to model instantiation phases. In this paper, a selection of such tools and methods is presented, and an attempt is made to define a verification and validation process for model design and instance creation centered on UML (Unified Modeling Language) class diagrams and declarative constraints, and involving the selected tools. The suggested process is illustrated with a simple example.
© Owned by the authors, published by EDP Sciences, 2013
This is an Open Access article distributed under the terms of the Creative Commons Attribution License 2.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.