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

Ronan Baduel (1) , Mohammad Chami (2) , Jean-Michel Bruel (2, 3) , Iulian Ober (1, 3)

1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
2 IRIT-SM@RT - Smart Modeling for softw@re Research and Technology
3 UT2J - Université Toulouse - Jean Jaurès

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.

Mots clés: Systems Modeling; Model Verification; MBSE; SysML

Domaines: Génie logiciel [cs.SE]; Ingénierie assistée par ordinateur

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. ⟨hal-01815510⟩