L’objectif de cette thèse est de proposer et d'outiller une méthodologie de synchronisation des modèles d’architecture système, modélisation multi-physique et sûreté de fonctionnement. Elle s'inscrit dans le cadre des travaux sur l'aide à la conception, à l'évaluation et à la validation des systèmes complexes menés au laboratoire Quartz du Supméca. Les cibles applicatives visées concernent des secteurs soumis à exigences de performance et sûreté et donc en premier lieu l’aéronautique, l'automobile, le ferroviaire,l'énergie. La méthodologie et l’outillage proposés devront permettre d’assurer la cohérence entre des modèles système typiquement décrits en SysML, éventuellement augmentée d’informations spécifiques aux mécanismes de sûreté typiquement décrits en AltaRica et des activités de modélisations et simulation multi-physique décrites en Modelica. Ils s’appuieront sur des mécanismes d’abstraction/concrétisation/comparaison permettant d’extraire les informations pertinentes des modèles, de comparer ces informations et de réinjecter dans les modèles originaux les résultats de cette comparaison.
Mots-clés : Modélisation et analyse système, sûreté de fonctionnement, modélisation multi-physique, cohérences des modèles, systèmes complexes.
