MBSE and V&V: a tool-equipped method for combining various V&V strategies

Blazo Nastov 1 Vincent Chapurlat 2 François Pfister 2 Christophe Dony 3
1 ISOE-LGI2P - Interoperable System & Organization Engineering
LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
3 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Model-Based System engineering (MBSE) promotes Verification and Validation (V&V) as crucial activities to demonstrate, during the system design stage and based on models, that a system meets requirements defined by stakeholders and that it fulfills its intended purpose. Model V&V activities are defined through the following strategies: Model Appraisal, Guided Modelling, Simulation and Formal Proof. Regarding the objectives of each individual strategy, they are considered as complementary, therefore mutually beneficial when combined, for reaching the overall V&V objectives. Various techniques and tools permit nowadays the implementation of each strategy. However, the successful combination and implementation of all four strategies remains still difficult (difference of concepts), time consuming (transformation and dedicated modelling are often requested) and generally expensive. This paper introduces a tool-equipped method for the successful and eased combination and implementation of all four V&V strategies to provide stakeholders with a high level of confidence in decision-making based on models.
Type de document :
Communication dans un congrès
IFAC Control World Congress (IFAC WC 2017), Jul 2018, Toulouse, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01930280
Contributeur : Vincent Chapurlat <>
Soumis le : mercredi 21 novembre 2018 - 17:21:24
Dernière modification le : jeudi 22 novembre 2018 - 01:18:09

Identifiants

  • HAL Id : hal-01930280, version 1

Citation

Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony. MBSE and V&V: a tool-equipped method for combining various V&V strategies. IFAC Control World Congress (IFAC WC 2017), Jul 2018, Toulouse, France. 〈hal-01930280〉

Partager

Métriques

Consultations de la notice

13