Questioning integration of verification in model-based systems engineering: an industrial perspective

The increasing of complexity of industrial products makes Verification and Validation procedures challenging. Model-Based Systems Engineering (MBSE) has been proposed as an approach to manage such complexity through the formalized application of models throughout the systems development life cycle to support verification activities. The purpose of this paper is to make a first step towards developing a verification strategy by performing a qualitative survey on current industrial practices against the state of the art in MBSE. Data had been collected through workshops of 16 engineering organizations located in the Rhone-Alpes region of France. Key success criteria for integrating model-based verification with MBSE are identified by industry respondent. These criteria allow to analyse the top verification methods presented in MBSE publications and compare them to current practices. To further validate the use of these presented methods, interviews and observations were conducted to analyse the methods through different industrial perspectives and identify their feasibility for successful application. The findings of this study gives a picture of current practices in integrating verification and MBSE in industry. The paper discusses the impact of implementing such practices in companies beginning to adopt MBSE approaches. It is concluded by identifying opportunities and barriers for Model-Based Verification adoption. (C) 2019 Elsevier B.V. All rights reserved.