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
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Fabrice Bouquet <>
Submitted on : Thursday, January 26, 2017 - 11:03:49 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on : Thursday, April 27, 2017 - 2:35:30 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads