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
Résumé : Les travaux de recherche menés au cours de cette thèse s'inscrivent dans le cadre de la modélisation, de la vérification et de la validation de systèmes complexes, critiques et multi-physiques. Ces travaux visent à combler l'écart d'abstraction entre les modèles haut-niveau, point de départ des processus MBSE (Model-Based Systems Engineering), et la simulation temps réel, clef de voûte des approches In-the-Loop. Dans ce contexte, nous proposons d'unifier, au sein d'un même modèle SysML, les aspects continus d'un système, permettant de générer de manière automatique un modèle Modelica de plus bas niveau directement exécutable (simulation), et les aspects discrets, permettant l'animation et la génération de tests par des solveurs de contraintes. Les travaux réalisés au cours de cette thèse ont permis l'étude et la réalisation d'une chaîne outillée originale permettant de simuler et de tester ce type de systèmes à partir de modèles SysML en contexte In-the-Loop. Cette démarche a été validée par deux cas d'étude concrets issus de la recherche. Le premier, issu du projet ANR Smart Blocks, nous a permis de mettre à l'épreuve la méthodologie de modélisation SysML dans le but d'effectuer des simulations de convoyeur sans contact (jets d'air). Le second cas d'étude, issu du projet Région GEOSEFA, nous a permis de valider l'approche complète (simulation et test) en contexte In-the-Loop. Celui-ci porte sur la conception et la validation d'un nouveau système énergétique hybride embarqué dans un hélicoptère.
Type de document :
Thèse
Performance [cs.PF]. Université de Franche-Comté, 2015. English. 〈NNT : 2015BESA2053〉
Liste complète des métadonnées

https://hal.inria.fr/tel-01248018
Contributeur : Abes Star <>
Soumis le : mercredi 10 janvier 2018 - 13:50:08
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Fichier

these_A_GAUTHIER_Jean_Marie_20...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

88