Nous avons le plaisir de vous annoncer le séminaire de 

 le 11/02/2021 à 13h via Teams. 

Lors de la conception d’un système, parmi les nombreux modèles représentant celui-ci se trouvent les modèles d’architecture et de sûreté de fonctionnement. Ces modèles s’intéressent respectivement à la représentation de l’architecture du système pour communiquer, et la modélisation de ses dysfonctions afin de s’assurer de sa fiabilité. Il est crucial que la modélisation de sûreté de fonctionnement soit bien cohérente avec la modélisation d’architecture qui aspire à spécifier le système. Autours d’une méthodologie de l’existant qui consiste à l’abstraction des modèles vers un formalisme commun, leur comparaison dans ce formalisme et la concrétisation de cette comparaison par le retour des résultats vers les modèles originaux, je m’attache à apporter un cadre mathématique permettant de valider formellement une méthode de synchronisation des modèles MBSE et MBSA. Ce cadre s’appuie sur la théorie mathématique des catégories et cherche à définir formellement la cohérence entre deux modèles.