Jeudi 17 décembre 2020, Mme Aroua Berriche soutiendra par visioconférence ses travaux de thèse intitulés Contribution à l’analyse de cohérence des modèles système, multi-physique et sûreté de fonctionnement et dirigés par MM. Jean-Yves Choley (Supméca) et Abdelfattah Mlika (Université de Sousse, École nationale d’ingénieur de Sousse).
Résumé
Le développement d’un système mécatronique implique la collaboration de différents concepteurs qui ont, normalement, des points de vue différents sur le système global pour gérer sa complexité. Par conséquent, de multiples modèles sont créés pour les divers domaines tels que le génie mécanique, l’électronique, le logiciel, etc. Ces modèles utilisent différents formalismes, différents langages de modélisation et divers outils pour répondre à des préoccupations spécifiques. Ceci pose le problème de la bonne collaboration entre les différentes équipes pluridisciplinaires pour pouvoir mener à terme l’opération de conception. Pour gérer ce problème, il est impératif d’identifier et de résoudre les incohérences potentielles entre les modèles afin de minimiser les coûts et le temps de développement avant les phases de vérification et de validation. Le présent travail de thèse propose une nouvelle méthodologie de collaboration qui aura pour objectif de maintenir la cohérence entre les différentes disciplines d’ingénierie tout au long du cycle de développement des systèmes mécatroniques. Nous proposons une approche de synchronisation pour vérifier la cohérence des modèles d’un même système de manière continue pendant le processus de conception multidisciplinaire. Notre contribution dans cette thèse consiste à démontrer comment les techniques de transformation des modèles peuvent être utilisées ; premièrement, pour abstraire divers modèles d’ingénierie dans un formalisme commun basé sur la théorie des graphes et, deuxièmement, pour mettre à jour les modèles avec les changements appropriés évalués par un chef de projet. Les méthodes développées permettent également de détecter automatiquement les différences et de proposer les séquences où la prise des décisions entre les différents choix possibles est essentielle pour résoudre les incohérences.
Mots clés
# gestion de cohérence
# synchronisation des modèles
# modélisation multi-vues
# modélisation multi-physiques
# ingénierie système basée sur les modèles
# évaluation de la sûreté de fonctionnement basée sur les modèles
# approche collaborative
