Tooled Process for Early Validation of SysML Models using Modelica Simulation

Jean-Marie Gauthier (1, 2) , Fabrice Bouquet (1, 2) , Ahmed Hammad (1) , Fabien Peureux (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2 CASSIS - Combination of approaches to the security of infinite states systems

The increasing complexity and heterogeneity of systems require engineers to consider the verification and validation aspects in the earliest stages of the system development life cycle. To meet these expectations, Model-Based Systems Engineering (MBSE) is identified as a key practice for efficient system development while simulation is still widely used by engineers to evaluate the performance and conformance of complex systems regarding requirements. To bridge the gap between high-level modeling (from requirements) and simulation, the present paper proposes a Model-Driven Engineering (MDE) tooled approach to automate the system requirements validation using SysML models and Modelica simulation. The implementation of the related toolchain has been officially adopted by the OMG SysML-Modelica working group.

Mots clés: Requirements Validation; SysML Models; Modelica Simulation; Model Transformation; Code Generation; OMG Standard

Domaines: Génie logiciel [cs.SE]

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. Tooled Process for Early Validation of SysML Models using Modelica Simulation. 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩. ⟨hal-01246025⟩