بررسی یکپارچگی بررسی در مهندسی سیستم‌های مبتنی بر مدل: یک چشم‌انداز صنعتی

Univ. Grenoble Alpes, CNRS, G-SCOP, 38 000 Grenoble, France
b
Schneider Electric, 38000 Grenoble, France

Highlights•Industrial practices in Model-Based Verification & Validation are analyzed•Industrial success and difficulties in using Model-Based techniques are described•Criteria to succeed in introducing Model-Based techniques are listed•An important barrier for engineers is the perceived cost of Model-Based approaches•An important barrier for engineers Is the doubt to find the relevant modelling depth•Difficulties to connect architectural and discipline verification are observedAbstractThe 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 sta