%0 Conference Proceedings
%T Tooled Process for Early Validation of SysML Models using Modelica Simulation
%+ Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST)
%+ Combination of approaches to the security of infinite states systems (CASSIS)
%A Gauthier, Jean-Marie
%A Bouquet, Fabrice
%A Hammad, Ahmed
%A Peureux, Fabien
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 6th Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Mehdi Dastani
%Y Marjan Sirjani
%I Springer
%3 Fundamentals of Software Engineering
%V LNCS-9392
%P 230-237
%8 2015
%D 2015
%R 10.1007/978-3-319-24644-4_16
%K Requirements Validation
%K SysML Models
%K Modelica Simulation
%K Model Transformation
%K Code Generation
%K OMG Standard
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://hal.science/hal-01246025/document
%2 https://hal.science/hal-01246025/file/978-3-319-24644-4_16_Chapter.pdf
%L hal-01246025
%U https://hal.science/hal-01246025
%~ CNRS
%~ INRIA
%~ UNIV-FCOMTE
%~ UNIV-BM
%~ ENSMM
%~ FEMTO-ST
%~ INRIA_TEST
%~ INRIA-LORRAINE
%~ LORIA2
%~ UNIV-BM-THESE
%~ INRIA-NANCY-GRAND-EST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ UNIV-LORRAINE
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC2
%~ LORIA
%~ LORIA-FM
%~ IFIP-WG2-2
%~ IFIP-LNCS-9392
%~ IFIP-FSEN