Category theory for consistency between multilevel system modeling (MBSE) and safety (MBSA)
Théorie des catégories pour la cohérence de modèles multi-niveaux systèmes (MBSE) et sûreté de fonctionnement (MBSA)
Résumé
The thesis focuses on the topic of system architecture to safety analysis models consistency.Those models aim at representing a same system towards two different modeling intents, representation of the architecture and safety validation of the system.It is therefore necessary to show that both models indeed represent the same system, namely that they are consistent with each-other.There exist different methodologies that allow for consistency assertion and synchronisation of models.In this work we propose a mathematical frame within which such models can be represented, and a general definition of what is a consistency relation between such mathematical objects.This intention of this thesis is to provide means to formally represent MBSE/MBSA models synchronisation methodologies and to do mathematical proofs that such a methodology is efficient.This thesis is part of the S2C project (https://www.irt-systemx.fr/projets/s2c), which is a collaborative project between IRT SystemX and IRT St Exupery.This project is done in partnership with academic, industrial and institutional entities.
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.
Origine : Version validée par le jury (STAR)