Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation

Jean-Marie Gauthier 1, 2
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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The research conducted during this thesis fall within the scope of modeling, verification and validation of critical and complex systems. This work aims to bridge the gap between the abstract high-level models, starting point of the MBSE process (Model-Based Systems Engineering), and real-time simulation keystone of In-the-Loop processes. In this context, we propose to unify, within a SysML model, continuous aspects of a system, to automatically generate an executable Modelica model (simulation), and discrete aspects allowing animation and test generation by constraint solvers. The work done during this thesis allowed the study and the realization of an original tooled approach to simulate and test such systems from SysML models within a In-the-Loop context. This approach has been validated by two concrete case studies from research partners. The first, from the ANR Smart Blocks project, allowed us to assess the relevance of the proposed SysML modeling methodology in order to perform contact less conveyor simulations. The second case study, from the GEOSEFA Regional project has allowed us to validate the overall approach (simulation and testing) in a In-the-Loop context. It covers the design and the validation of a new energy hybrid system embedded in a helicopter.
Document type :
Theses
Complete list of metadatas

https://hal.inria.fr/tel-01248018
Contributor : Abes Star <>
Submitted on : Wednesday, January 10, 2018 - 1:50:08 PM
Last modification on : Friday, May 17, 2019 - 11:41:28 AM

File

these_A_GAUTHIER_Jean_Marie_20...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01248018, version 2

Citation

Jean-Marie Gauthier. Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation. Performance [cs.PF]. Université de Franche-Comté, 2015. English. ⟨NNT : 2015BESA2053⟩. ⟨tel-01248018v2⟩

Share

Metrics

Record views

224

Files downloads

361