SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Abstract

This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an industrial context. We present this solution as a way to overcome issues regarding the use of SysML in an industrial context. We contribute by providing a method and a list of the existing challenges and experimentation results. We advocate the need to have semantics for SysML models without having to define a full domain-specific modeling language. We highlight the work, requirements and benefits that arise from the application of existing technical solutions, and hint at new perspectives and future development in system verification and validation.

Model‐based systems engineering: Evaluating perceived value, metrics, and evidence through literature

“…The 11 mixed‐perception attributes could indicate areas of MBSE that are not consistently understood and agreed upon by the SE community. For example, regarding Applicability , Beery & Paulo 44 believe there is “potential utility and applicability of the utilization of MBSE to support [Mission Engineering] through an analysis of the early stage design for a naval mine warfare system.” This positive claim about MBSE's applicability contrasts with Baduel et al 45 . who claim, “SysML on its own is not the best suited to apply a development method or build meaningful models in systems engineering.” In the case of Applicability , their disagreements reflect the specificity of the applications discussed.…”

Survey of Model-Based Design Reviews: Practices & Challenges?

“…A MBD review is a design review in a design process where models replace the traditional documentcentric approach. When a design relies on the widespread adoption of models, we observe that all stakeholders involved in the design process must cope with new challenges such as the learning of new languages and modelling environments (Herzog et al, 2005(Herzog et al, , 2014, the interdependencies among models (Baduel et al, 2018), the consistency among multiple modelling views (Herzog et al, 2005), etc.…”

Verification and Validation of SysML Models

“…Douglas (Douglas, 2017) defined a rule set for use with UML and SysML specifically tailored for the Rhapsody tool set. Baduel, Chami, Burel, and Ober described a corporate-specific approaching combining the use of domain experts to check compliance with external "real-world" attributes against a set of criteria and of OCL to verify conformance with syntax rules and for a product line of train control systems (Baduel, et al, 2018). Vinarcik and Jukovic have developed a Digital Engineering profile containing hundreds of specific automated verification rules that check for violations of their own standards and have placed them in the public domain (Vinarcik & Jugovich, 2020).…”