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

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...

Full description

Saved in:
Bibliographic Details
Published in:IFAC-PapersOnLine 2017-07, Vol.50 (1), p.10538-10543
Main Authors: Nastov, B., Chapurlat, V., Pfister, F., Dony, C.
Format: Article
Language:English
Subjects:
Computational Complexity
Computer Aided Engineering
Computer Science
Formal Proof
Guided Modelling
MBSE
Model Appraisal
Modeling and Simulation
Simulation
Systems and Control
V&V
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2405-8963
2405-8963
DOI:10.1016/j.ifacol.2017.08.1309