Les jumeaux numériques s'imposent aujourd'hui comme une technologie clé pour renforcer la réactivité, la flexibilité et la résilience des systèmes de production. Grâce à leurs capacités de surveillance en temps réel et de prévision, ils s'inscrivent pleinement dans les ambitions portées par l'industrie 5.0. Toutefois, ces apports restent conditionnés à un enjeu fondamental : maintenir en permanence une synchronisation fidèle entre le jumeau numérique et son homologue physique. Or, bien que cette synchronisation constitue le socle de la connexion entre le monde réel et son modèle virtuel, elle demeure
largement sous-explorée dans la littérature consacrée aux systèmes de production. Les approches existantes relèvent souvent d'un niveau conceptuel élevé, sans fournir de démarche opérationnelle pour sa mise en œuvre. Cet article propose une première contribution en vue de l'élaboration d'une méthodologie formelle de la synchronisation, en s'appuyant sur une modélisation par automates stochastiques et temporisés. L'objectif est de faire le lien entre les exigences fonctionnelles de synchronisation et les mécanismes concrets à déployer au niveau du jumeau numérique.