Julien Vidalie, doctorant dans le projet S2C de l’IRT SystemX, a soutenu sa thèse de l’Université Paris-Saclay le 8 février 2023 à 10h à l’ISAE Supméca (Saint-Ouen) sur le sujet suivant : « Théorie des catégories pour la cohérence de modèles multi-niveaux système (MBSE) et sûreté de fonctionnement (MBSA) ».
Résumé de la thèse :
La thèse s’intéresse au sujet de la cohérence des modèles d’architecture système (MBSE) et de sûreté de fonctionnement (MBSA). En effet, si ces modèles s’attachent à représenter un système à deux intentions différentes, d’un côté la représentation de son architecture, et de l’autre la validation de sa sûreté, il est nécessaire de prouver qu’ils représentent effectivement tous deux le même système, c’est-à-dire qu’ils sont cohérents l’un avec l’autre. Il existe différentes méthodologies qui cherchent à vérifier la cohérence de ces modèles ainsi qu’à les synchroniser. Dans ces travaux de thèse, nous proposons un cadre mathématique dans lequel on peut représenter ces modèles, ainsi qu’une définition de ce qu’est, de manière générale une relation de cohérence. L’objectif est de proposer à travers ce cadre, une façon mathématique de représenter les méthodologies de synchronisation de modèles MBSE et MBSA, de manière à contribuer à la démonstration mathématique de l’efficacité de ces méthodes. Cette thèse est effectuée dans le cadre du projet S2C, projet collaboratif entre l’IRT SystemX (organisme d’hébergement de la thèse) et l’IRT St Exupery. Ce projet est réalisé en partenariat avec des entités académiques, industrielles et institutionnelles, en particulier intéressées par le domaine de l’aéronautique.
Composition du jury :
- M. Abdelfattah MLIKA (Université de Sousse, École Nationale d’Ingénieurs de Sousse). Rapporteur
- M. Pierre SAQUI-SANNES (ISAE Supaero), Rapporteur
- Mme Claude BARON (INSA Toulouse). Examinatrice
- M. Frédéric KRATZ (INSA Centre Val de Loire). Examinateur
- M. Antoine RAUZY (Norwegian University of Science and Technology). Examinateur
- M. Jean-Yves CHOLEY (ISAE-Supméca – Institut Supérieur de Mécanique de Paris). Directeur de thèse
- M. Michel BATTEUX (Institut de Recherche Technologique SystemX). Co-encadrant de thèse
- Mme Faida MHENNI (ISAE-Supméca – Institut Supérieur de Mécanique de Paris). Co-encadrante de thèse
Laboratoire Partenaire :
