Intégration de répliques CRDT dynamiques

Description de l'offre : Les cadres de modélisation existants présentent des capacités de collaboration limitées. La collaboration au niveau du modèle est une fonctionnalité essentielle. Or, la plupart des solutions reposent principalement sur des bases de données centralisées et hébergées dans le cloud. Si ces solutions facilitent la collaboration entre partenaires connectés grâce à des techniques de contrôle de la concurrence ou à une politique de « dernier contributeur », elles ne prennent pas en charge les scénarios de collaboration hors ligne, pourtant indispensables à la conception de logiciels privilégiant le local. Cette situation engendre un compromis important : utiliser des solutions cloud et sacrifier le contrôle de la propriété des données, ou opter pour des instances séparées sans capacités de collaboration. L’objectif de ce projet postdoctoral est de contribuer à l’amélioration d’un cadre d’ingénierie système basé sur les modèles (MBSE) existants, en privilégiant le local et en s’appuyant sur des types de données répliquées sans conflit (CRDT) spécialisés. Le but est de permettre la collaboration en temps réel grâce à des CRDT spécifiques à la modélisation. L’approche proposée consiste à étendre une couche de communication intermédiaire, utilisant des CRDT, afin de synchroniser de manière transparente des modèles d’ingénierie distribués et fonctionnant hors ligne. Le chercheur postdoctoral réalisera une revue de la littérature sur les approches de communication et dapos;appartenance à un groupe dans les environnements P2P. Un aspect majeur à prendre en compte est lapos;entrée et la sortie des membres dapos;un groupe, afin que lapos;état CRDT reste toujours cohérent. Les composants seront intégrés à notre cadre de modélisation CRDT.

Profil du candidat : Informatique