Tooled Process for Early Validation of SysML Models Using Modelica Simulation
| Affiliation auteurs | !!!! Error affiliation !!!! |
| Titre | Tooled Process for Early Validation of SysML Models Using Modelica Simulation |
| Type de publication | Conference Paper |
| Year of Publication | 2015 |
| Auteurs | Gauthier J-M, Bouquet F, Hammad A, Peureux F |
| Editor | Dastani M, Sirjani M |
| Conference Name | FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2015 |
| Publisher | Inst Res Fundamental Sci, Sch Comp Sci; ACM SIGSOFT; IFIP WG 2 2 |
| Conference Location | GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND |
| ISBN Number | 978-3-319-24644-4; 978-3-319-24643-7 |
| Mots-clés | Code Generation, Model Transformation, Modelica Simulation, OMG Standard, Requirements Validation, SysML Models |
| Résumé | 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. |
| DOI | 10.1007/978-3-319-24644-4_16 |