Approches de gestion de l’évolution des modèles

Dans de nombreux domaines (industrie, défense) où les systèmes deviennent de plus en plus complexes et impliquent un grand nombre d'acteurs et de préoccupations, les approches MBSE (Model Based System Engineering) sont aujourd'hui très utilisées. Le MBSE est en effet reconnu pour son potentiel à améliorer la spécification, la conception et le développement de systèmes.

Plusieurs défis significatifs liés à une large adoption du MBSE par les industriels sont à relever. L'hétérogénéité et la diversité des modèles et des outils à prendre en compte constituent un premier obstacle. Les approches de Model Management (gestion des modèles) tentent d'y répondre, notamment par des propositions comme ACMoM ou Openflexo avec le langage FML (fédération de modèles). Un deuxième défi consiste à considérer l'évolution des modèles, pour garantir que tous les artefacts produits par différents outils restent pertinents et cohérents au fil du temps. Dans ce cadre, la notion de source de vérité (ASoT pour \textit{Authoritative Source of Truth}) capture ce besoin d'assurer la cohérence d'un système qui évolue.

L'objectif de cette thèse est d'analyser comment les modèles évoluent au fil du temps et d’étudier les mécanismes permettant d’assurer une transition fluide entre différentes versions. Il s'agit de développer des approches pour tracer, gérer et formaliser ces évolutions afin de garantir une meilleure continuité dans le processus de conception.

Plus de détails sur https://p4s.enstb.org/perso/phd_offer_model_evolution

L'équipe P4S est membre du pôle SHARP du laboratoire Lab-STICC (UMR 6285).  Son nom est un acronyme de "Processes for Safe and Secure Software and Systems".

L'équipe s'intéresse aux méthodes et aux outils permettant de spécifier et de décrire systèmes et logiciels pour en assurer la sûreté et la sécurité. L'équipe P4S s'appuie sur des experts en modélisation et en métamodélisation de systèmes et de processus.

La thèse proposée est au c{\oe}ur de l'activité de P4S, de par notamment les travaux autour de la fédération de modèles. Le présent sujet de thèse est une opportunité de rejoindre une équipe dynamique et déjà mobilisée sur la thématique du "Model Management"

Le candidat devra avoir des compétences (ou être capable de les acquérir rapidement) dans les domaines suivants :

•  développement logiciel
•  modélisation et métamodélisation (Ingénierie Dirigée par les Modèles - IDM)
•  curiosité pour les problématiques métier
•  langue anglaise  (conversation basique du quotidien, anglais professionnel)

Comme pour toute thèse, le candidat devra être attiré par la recherche, et faire preuve d'ouverture, de curiosité et d'autonomie.