Mercredi 08 février 2023 à 10h00, Monsieur Julien VIDALIE soutiendra à ISAE‑Supméca ses travaux de thèse intitulés :

Théorie des catégories pour la cohérence de modèles multi-niveaux système (MBSE) et sûreté de fonctionnement (MBSA)

Composition du jury :

M. Pierre SAQUI-SANNES, Rapporteur, ISAE Supaero, France

M. Abdelfattah MLIKA, Rapporteur, Université de Sousse - École Nationale d’Ingénieurs de Sousse

M. Jean-Yves CHOLEY, Directeur de thèse, ISAE-Supméca - Institut Supérieur de Mécanique de Paris

M. Frédéric KRATZ, Examinateur, INSA Centre Val de Loire

Mme. Claude BARON, Examinatrice, INSA Toulouse

M. Antoine RAUZY, Examinateur, Norwegian University of Science and Technology (NTNU)

M. Michel BATTEUX, Co- encadrant de thèse, Institut de Recherche Technologique SystemX

Mme Faïda MHENNI, Co- encadrante de thèse, ISAE-Supméca - Institut Supérieur de Mécanique de Paris

Résumé :

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 (https://www.irt-systemx.fr/projets/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.

Mots-clés : 

Ingénierie système, Sûreté de fonctionnement, MBSE, MBSA, Cohérence, Théorie des catégories.