Thèse de Julien VIDALIEsur these.fr

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.

Encadrement :

Sous la direction de Professeur Jean-Yves CHOLEY (ISAE-Supméca) et MCF Faïda MHENNI (ISAE-Supméca)