FR 3124010 A1 20221216 FR 2106200 A 20210611 Procédé et système d’exécution à distance de services requis par un dispositif mobile via un réseau de communication cellulaire L’invention concerne un procédé et un système d’exécution à distance de services requis par au moins un dispositif mobile via un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération, un service étant exécuté par une machine virtuelle d’un serveur hôte courant. Le procédé comporte, pour une requête de service donnée, a) calcul (52) d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel donné d’un ensemble de K instants temporels, -b) sélection (54) d’un instant temporel de migration, en fonction du vecteur de probabilités calculé, -c) détermination (56) d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul (56) d’un gain prédit pour la migration. Figure pour l'abrégé : Figure 3 Procédé et système d’exécution à distance de services requis par un dispositif mobile via un réseau de communication cellulaire La présente invention concerne un procédé et un système d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule, via un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération. L’invention se situe dans le domaine de l’exécution de services à distance pour dispositifs mobiles, notamment pour des véhicules, en particulier dans le cadre de l’Internet des Véhicules (IoV pour « Internet of Vehicles »). Les technologies de communication cellulaire de quatrième génération, 4G, et plus encore de cinquième génération, 5G, offrent la possibilité de communication de quantités de données significatives, à faible latence et avec une qualité de connectivité garantie pour des équipements en déplacement. Dans le domaine des véhicules connectés, cela permet de développer la communication entre véhicules et serveurs distants, les systèmes de transport intelligents (ou ITS pour « Intelligent Transport Systems »), et plus généralement la mise en œuvre de divers services pour divers types d’applications. Le terme service désigne ici toute application logicielle mettant en œuvre des échanges de données. Par exemple, dans le cas des véhicules connectés, les services comprennent des services d’assistance à la conduite, la gestion du trafic routier (par exemple la transmission en amont d’informations relatives à l’encombrement routier, aux accidents permettant de prévoir des routes alternatives), et la fourniture de flux multimédia d’information ou de loisir (en anglais « infotainment »). La technologie du calcul mobile à distance ou MEC ou Mobile Edge Computing, développée dans le cadre des réseaux de communication cellulaires de cinquième génération, permet de déporter des applications logicielles consommatrices de ressources de calcul vers des serveurs de calculs distants (serveurs MEC), placés à la périphérie du réseau de communication. Il est également possible de déporter de telles applications logicielles vers d’autres serveurs distants (par exemple des serveurs formant un « cloud »). Ainsi, le réseau de serveurs distants, de type MEC ou de type « cloud », devient une unité de contrôle électronique (en anglais ECU) virtuelle pour tout dispositif mobile (e.g. véhicule) connecté. Une principale difficulté technologique est d’assurer un niveau de qualité de service satisfaisant pour des véhicules qui sont en mouvement. En effet, de manière connue dans le domaine des communications cellulaires, en se déplaçant, l’équipement utilisateur change de zone géographique de couverture, et donc il est nécessaire d’assurer une continuité des communications, par des mécanismes de passage de relais (en anglais « handover »), définis par les standards de télécommunications. De manière analogue, le déplacement d’un véhicule induit une distanciation par rapport à un serveur hôte ou MEH (pour « Mobile Edge Host ») qui exécute un service, et un risque d’interruption, donc la continuité de service n’est pas assurée. La gestion de l’exécution déportée de services en tenant compte de la mobilité des véhicules, de manière efficace en termes de ressources utilisées et tout en garantissant niveau de continuité de service requis, est un problème à résoudre. Pour résoudre ce problème il a été proposé d’effectuer des migrations d’une machine virtuelle d’exécution d’un service sur un ou plusieurs serveurs hôtes associés à des zones géographiques de couverture de communication, adjacentes à la zone géographique de couverture courante d’un véhicule, qui sont susceptibles d’être traversées par le véhicule avec une certaine probabilité associée. La migration comprend l’arrêt de l’exécution par le serveur hôte courant à une instance d’exécution, et la réplication de la machine virtuelle sur chaque serveur hôte prévu. La réplication consiste en la recopie complète d’une instance d’exécution du service, et d’un contexte d’exécution (variables, paramètres), également appelé état de l’instance d’exécution. La reprise de l’exécution ne peut être effectuée que lorsque la réplication est complète, correctement effectuée. Une réplication incomplète ou incorrecte peut induire une interruption de service. Une solution envisageable consisterait à choisir un seul serveur hôte prédit pour la migration, et donc à réaliser une seule réplication de machine virtuelle. Dans ce cas, la consommation de ressources est limitée, mais le risque d’interruption de service, en cas d’erreur de prédiction du serveur hôte, est élevé. Alternativement, une réplication complète sur tous les serveurs hôtes disponibles apporterait une garantie de continuité de service, mais avec un coût de consommation de ressources calculatoires et un coût d’énergie de réplication élevés. L’article « Mobility aware and dynamic migration of MEC services for the Internet of Vehicles” de Ibtissam LABRIJI et al, publié dans IEEE Transactions on Network and Service Management 2021, vol. 18, n°1, pages 570-584, propose une réplication partielle, le nombre de réplications étant calculé de manière à minimiser un coût d’énergie de réplication tout en limitant un risque de perte de la continuité de service. En plus du nombre de réplications de machine virtuelle à effectuer lors de la migration, se pose la question du moment temporel du déclenchement de la migration, pour chaque requête de service émise par un véhicule, tout en maintenant un objectif de minimisation de coût d’énergie de réplication et de limitation du risque de perte de la continuité de service. A cet effet, l’invention propose un procédé d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule, via un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération, un service étant exécuté par une machine virtuelle d’un serveur de calcul, dit serveur hôte courant, le dispositif mobile émetteur d’une requête de service ayant une position appartenant à une zone géographique de couverture de communication cellulaire courante, ledit serveur hôte courant étant associé à la zone géographique de couverture courante. Ce procédé comporte les étapes suivantes, mises en œuvre par un processeur dudit serveur hôte courant, pour une requête de service donnée, reçue pendant un intervalle temporel courant: -a) pour l’intervalle temporel courant, calcul d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel donné d’un ensemble de K instants temporels prédéterminé, chaque composante du vecteur de probabilités correspondant à une probabilité de migration à l’instant temporel associé, la migration consistant en au moins une réplication de la machine virtuelle exécutant ledit service sur un serveur hôte choisi appartenant à une zone géographique de couverture contiguë à ladite zone géographique de couverture courante, le calcul des composantes du vecteur de probabilités mettant en œuvre un ensemble de K poids, chaque poids étant associé à un instant temporel de migration et représentatif d’un gain prédit pour une migration audit instant temporel de migration associé, -b) sélection d’un instant temporel, dit instant temporel de migration sélectionné, en fonction du vecteur de probabilités calculé, -c) détermination, pour la migration à l’instant temporel de migration sélectionné, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul d’un gain prédit pour ladite migration à l’instant temporel de migration sélectionné. Avantageusement, le procédé d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule, permet de choisir un instant temporel de migration parmi un ensemble d’instants temporels, de manière à optimiser un gain prédit associé. De plus, le procédé permet d’obtenir conjointement un instant temporel de migration et un nombre de réplications à effectuer. Le procédé d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule selon l’invention peut également présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou selon toutes les combinaisons techniquement envisageables. Le procédé comporte en outre une mémorisation de l’instant temporel de migration sélectionné et du nombre de réplications de la machine virtuelle à effectuer pour ladite requête de service donnée. Le procédé est mis en œuvre par ledit serveur hôte courant pour une pluralité de requêtes de service sur une succession d’intervalles temporels, et comporte une étape d) mise à jour du poids associé à l’instant temporel de migration sélectionné, pour un intervalle temporel suivant, la mise à jour étant fonction dudit gain prédit, et répétition des étapes a) à d) pour l’intervalle temporel suivant. La mise à jour du poids met en œuvre une fonction exponentielle dudit gain prédit, et la probabilité associée à l’instant temporel de migration sélectionné pour l’intervalle temporel courant. Le poids associé à l’instant temporel sélectionné pour l’intervalle temporel suivant est obtenu par la formule : Où k* est l’indice de l’instant temporel de migration sélectionné, est le poids associé à l’instant temporel sélectionné pour l’intervalle temporel courant (t), est le poids associé à l’instant temporel sélectionné pour l’intervalle temporel suivant (t+1), ρ est un paramètre de pondération, et est la probabilité associée à l’instant temporel de migration sélectionné. Pour l’intervalle temporel courant, la probabilité associée à l’instant temporel T k d’indice k est calculée par la formule : pour tout Le paramètre de pondération est calculé dynamiquement en fonction d’un calcul de gain global cumulé pour chaque instant temporel, le gain global cumulé étant, pour chaque instant temporel, incrémenté, pour chaque requête de service traitée, du gain prédit pour la migration lorsque ledit instant temporel est sélectionné comme instant temporel de migration. La valeur de paramètre de pondération est modifiée lorsque le gain global cumulé maximum parmi lesdits gains globaux calculés dépasse un seuil dépendant du nombre d’instants temporels. La détermination, pour la migration à l’instant temporel de migration sélectionné, pour chaque requête de service, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné, chaque réplication étant effectuée sur un serveur hôte choisi, met en œuvre une minimisation d’une fonction objectif dépendant d’une énergie consommée pour ledit nombre de réplications, sous contrainte d’une métrique de risque associée à l’accessibilité du ou des serveurs hôtes choisis pour la réplication et d’une métrique de disponibilité, pour chaque réplication, de la machine virtuelle après réplication déclenchée à l’instant temporel de migration sélectionné. La métrique de risque utilise une probabilité représentative d’une prédiction de mobilité, associée à chaque serveur hôte choisi, représentative de la probabilité que le dispositif mobile émetteur de ladite requête de service entre dans une zone de couverture géographique associée audit serveur hôte choisi. Pour un instant temporel de migration choisi, et pour une requête r(t) donnée, ladite métrique de risque est définie par Où k* est l’indice de l’instant temporel de migration sélectionné, est le nombre de réplications de la machine virtuelle optimal calculé et (t) est la probabilité représentative d’une prédiction de mobilité associée à un serveur hôte d’indice i. La métrique de disponibilité utilise, pour chaque réplication de machine virtuelle, une comparaison d’une durée de migration de la machine virtuelle et d’un temps restant avant un changement de serveur hôte pour le dispositif mobile émetteur de ladite requête de service. L’énergie consommée est calculée en fonction du nombre de réplications et d’une taille de la machine virtuelle à migrer. La détermination, pour la migration à l’instant temporel de migration sélectionné, pour chaque requête de service, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné met en œuvre, pour une pluralité de requêtes de service reçues sur un intervalle temporel courant, un calcul de risque moyen et un calcul de disponibilité moyenne sur ladite pluralité de requêtes. Le risque moyen calculé pour l’intervalle temporel courant est mis en œuvre pour construire une première queue virtuelle, pour un intervalle temporel suivant, en fonction d’un premier paramètre de contrôle associé, et ladite disponibilité moyenne est mise en œuvre pour construire une deuxième queue virtuelle, pour un intervalle temporel suivant, en fonction d’un deuxième paramètre de contrôle associé, la fonction objectif à minimiser étant dépendante desdites première et deuxième queues virtuelles. Pour une requête de service donnée, et pour un instant temporel de migration sélectionné, le gain prédit est égal à la valeur de ladite fonction objectif pour le nombre de réplications de la machine virtuelle déterminé. A chaque instant temporel est associé un nombre maximum de serveurs hôtes candidats, le nombre maximum de serveurs hôtes candidats associé à chaque instant temporel étant décroissant dans l’ordre croissant des instants temporels. Selon un autre aspect, l’invention concerne un système d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule, le système comportant un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération, et une pluralité de serveurs de calcul, un service étant exécuté par une machine virtuelle d’un serveur de calcul, dit serveur hôte courant, le véhicule émetteur d’une requête de service ayant une position appartenant à une zone géographique de couverture de communication cellulaire courante, ledit serveur hôte courant étant associé à la zone géographique de couverture courante, ledit serveur hôte courant comportant un processeur configuré pour mettre en œuvre, pour une requête de service donnée reçue pendant un intervalle temporel courant faisant partie d’une succession d’intervalles temporels: -un module de calcul, pour l’intervalle temporel courant, d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel donné d’un ensemble de K instants temporels prédéterminé, chaque composante du vecteur de probabilités correspondant à une probabilité de migration à l’instant temporel associé, la migration consistant en au moins une réplication de la machine virtuelle exécutant ledit service sur un serveur hôte choisi appartenant à une zone géographique de couverture contiguë à ladite zone géographique de couverture courante, le calcul des composantes du vecteur de probabilités mettant en œuvre un ensemble de K poids, chaque poids étant associé à un instant temporel de migration et représentatif d’un gain prédit pour une migration audit instant temporel de migration associé, -un module de sélection d’un instant temporel, dit instant temporel de migration sélectionné, en fonction du vecteur de probabilités calculé, -un module détermination, pour la migration à l’instant temporel de migration sélectionné, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul d’un gain prédit pour ladite migration à l’instant temporel de migration sélectionné. Selon un mode de réalisation, le système comporte en outre un module de mise à jour du poids associé à l’instant temporel de migration sélectionné, pour un intervalle temporel suivant, la mise à jour étant fonction dudit gain prédit. Avantageusement, le système est configuré pour mettre en œuvre un procédé d’exécution à distance de services requis par au moins un dispositif mobile, tel que brièvement décrit ci-dessus, selon tous les modes de réalisation envisagés. Selon un autre aspect, l’invention concerne un programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un dispositif électronique programmable, mettent en œuvre un procédé d’exécution à distance de services requis par au moins un dispositif mobile tel que brièvement décrit ci-dessus. D’autres caractéristiques et avantages de l’invention ressortiront de la description qui en est donnée ci-dessous, à titre indicatif et nullement limitatif, en référence aux figures annexées, parmi lesquelles : la représente schématiquement un réseau de communication cellulaire dans lequel l’invention est appliquée; la est un schéma bloc d’un système d’exécution de services à distance ; la est un synoptique des principales étapes d’un procédé d’exécution de services à distance selon un premier mode de réalisation ; la illustre schématiquement un axe temporel d’application d’un procédé d’exécution à distance de services selon un mode de réalisation ; la est un synoptique des principales étapes mises en œuvre pour la détermination d’un nombre de réplications de la machine virtuelle à effectuer à un instant temporel sélectionné et le calcul d’un gain associé selon un mode de réalisation ; la est un synoptique des principales étapes d’un procédé d’exécution de services à distance selon un deuxième mode de réalisation. L’invention s’applique pour un dispositif mobile, par exemple un dispositif embarqué à bord d’un véhicule en mouvement ou un véhicule équipé de capacités de connexion à un réseau de communication, et c’est ce dernier cas d’application qui est décrit en détail ci-après. La illustre schématiquement un ensemble de zones géographiques de couverture d’un réseau de communication cellulaire 2. Les zones géographiques 4 1 , 4 2 ,…, 4 j sont représentées schématiquement. Le réseau de communication 2 est un réseau de communication selon un protocole de communication radio au moins de quatrième génération, 4G ou de cinquième génération, 5G. Chaque zone géographique correspond à une cellule du réseau de communication, et comprend des équipements (non représentés) de communication (points d’accès, stations de base etc). De plus, chaque cellule comprend ou est associée à un serveur de calcul 6 i , ou serveur hôte appelé MEH i (pour « Mobile Edge Host »), qui est un serveur physique avec une capacité de calcul. Dans un MEC, plusieurs serveurs hôtes MEHs sont connectés, par une liaison filaire ou une liaison sans fil, pour gérer des services déportés (e.g. exécuter des machines virtuelles). Un MEH peut être placé soit dans une station de base (« colocated ») ou associé à plusieurs stations de base. L’ensemble des serveurs de calcul 6 i , adaptés pour communiquer entre eux, forme un « nuage de dispositifs de calcul » 15. A la on a représenté schématiquement un véhicule 8, par exemple un véhicule automobile, qui a des capacités de déplacement, et qui est équipé d’une interface de communication (non représentée à la ) selon le protocole de communication 4G ou 5G. L’invention s’applique plus généralement pour tout dispositif mobile, équipé d’une interface de communication 4G ou 5G et au-delà, susceptible de se déplacer entre les zones géographiques, par exemple un terminal, un téléphone mobile, une tablette, véhicules, etc. Plus généralement, l’invention s’applique dans tout système qui utilise une communication sans fil entre un nœud et un ou plusieurs serveurs hôtes qui exécutent des services pour ce nœud, et présente un intérêt particulier pour tout nœud mobile pour lequel il y a une incertitude de position au moment d’un passage de relais (« handover » en anglais). Bien entendu, l’invention s’applique à tout type de véhicule terrestre, mais également à d’autres types de véhicules comme par exemple des drones. A un instant temporel courant, le véhicule 8 se situe à une position spatiale donnée, appartenant à une zone géographique de couverture courante, qui est la zone 4 1 dans l’exemple de la . Le véhicule 8 est alors capable d’échanger des données et de requérir une exécution d’un pour plusieurs services auprès du serveur hôte 6 1 associé à la zone 4 1 , qui est le serveur hôte MEH 1 , également appelé serveur hôte courant MEH c . L’exécution d’un service est effectuée par une machine virtuelle ou VM 10. On entend ici par machine virtuelle une unité logicielle de calcul qui virtualise (ou émule) un système de calcul, dans divers types d’implémentation connus, sous forme de container ou autre, par exemple: Docker (logiciel libre permettant de lancer des applications dans des conteneurs logiciels), Solaris Containers, OpenVZ, Linux-VServer, LXC, AIX Workload Partitions, Parallels Virtuozzo Containers, iCore Virtual Accounts. Le terme service désigne ici toute application logicielle mettant en œuvre des échanges de données, par exemple, dans le cas des véhicules connectés, les services comprennent des services d’assistance à la conduite, la gestion du trafic routier et la fourniture de flux multimédia d’information ou de loisir (en anglais « infotainment »). On peut distinguer plusieurs classes de service prédéfinies. Le service ou application logicielle mis en œuvre est du type à état (en anglais « stateful »). La réplication d’une machine virtuelle pour l’exécution d’un service consiste en la recopie complète d’une instance d’exécution du service, et d’un contexte d’exécution (variables, paramètres), ou état de l’instance d’exécution. Lorsque le véhicule 8 est en mouvement, il est susceptible de quitter la zone géographique 4 1 , pour une des zones adjacentes. Par hypothèse, la future zone géographique de couverture du véhicule considéré n’est pas connue. Pour une continuité de l’exécution des services, il est prévu de répliquer la machine virtuelle VM 10 vers un ou plusieurs des serveurs hôtes 6 i associés aux zones géographiques de couverture 4 i adjacentes (ou contigües) à la zone courante. Le serveur hôte courant MEHc initie une migration consistant à répliquer la VM 10 sur un ou plusieurs serveurs hôtes 6 i , ce qui est représenté schématiquement par des flèches à la . A cet effet, le serveur hôte met en œuvre un procédé qui sera décrit plus en détail ci-après, qui permet de déterminer, pour chaque requête de service en provenance d’un véhicule, quand (i.e. à quel instant temporel), combien de réplications effectuer et vers quel(s) serveur(s) hôte(s), en fonction d’un gain dépendant de l’énergie de réplication, et fonction d’un niveau de continuité de service choisi, prenant en compte une métrique de risque associée à l’accessibilité du ou des serveurs hôtes choisis (risque associé à une probabilité que le véhicule en déplacement entre dans une zone de couverture associé à chaque serveur hôte choisi) et une métrique de disponibilité des réplications de VM. Par exemple, un niveau de continuité de service est défini par une valeur de la métrique de risque et une valeur de la métrique de disponibilité, ce qui permet d’assurer que ces métriques sont respectées dans ce cadre. A la on a représenté schématiquement deux migrations par des flèches partant du serveur hôte MEH c : un premier ensemble de flèches 12 (en traits pointillés) représentatives d’une première migration, à un instant temporel T 1 , correspondant à cinq réplications dans cet exemple ; un deuxième ensemble de flèches 14 (en traits pleins) représentatives d’une deuxième migration, à un instant temporel T 2 , ultérieur à T 1 , correspondant à trois réplications dans cet exemple. Les instants temporels T 1 , T 2 sont tous deux des instants futurs par rapport à l’instant courant où le véhicule se trouve dans la position représentée. On comprend qu’entre l’instant temporel T 1 et l’instant temporel T 2 , le véhicule se sera déplacé, et le nombre de serveurs hôtes disponibles sera plus faible. Avantageusement, le procédé proposé permet d’assurer un niveau de continuité de service lorsque le véhicule 8 change de zone géographique de couverture réseau, notamment dans le cas d’une mobilité rapide du véhicule 8, pour des services sensibles aux délais de transmission (en anglais « delay sensitive applications »). La est un synoptique des blocs fonctionnels d’un système d’exécution de services à distance selon l’invention. Le système 20 comprend un véhicule 8 et une pluralité de serveurs hôtes MEH c , MED d , adaptés à communiquer entre eux, et formant un MEC. Il est entendu que le système représenté à la est simplifié, le nombre de serveurs hôtes étant quelconque. De plus en pratique un serveur hôte courant est adapté pour recevoir des requêtes de service en provenance d’une pluralité de véhicules. Les blocs fonctionnels d’un serveur hôte 6 (MEH c ) sont représentés en détail, ce serveur hôte étant un serveur hôte courant MEH c configuré pour mettre en œuvre le procédé d’exécution à distance de services. Le véhicule 8 comprend une unité de contrôle électronique (ECU) de bord 22 et une interface de communication 24 selon le protocole de communication cellulaire choisi, par exemple le protocole 5G. L’unité ECU 22 est un dispositif de calcul électronique, par exemple un ordinateur de bord, comportant notamment un processeur de calcul, et une mémoire électronique. L’unité ECU 22 est adaptée pour communiquer avec l’interface de communication 24 via un bus de communication bidirectionnelle, pour l’échange de données, commandes, requêtes, réponses. En particulier, l’ECU 22 est adaptée pour émettre des requêtes de services à destination d’un serveur hôte MEH c , par exemple une requête r(t) émise pendant un intervalle temporel t. Chaque serveur hôte MEH 6 comporte également une interface de communication 26, selon le protocole de communication cellulaire choisi, par exemple le protocole 5G. Le serveur hôte 6 est un dispositif électronique programmable, qui comprend en outre une unité de calcul 28 comprenant un ou plusieurs processeur(s) de calcul et une unité de mémoire électronique 30. L’interface de communication 26, l’unité de calcul 28 et l’unité de mémoire électronique 30 sont adaptées pour communiquer via un bus de communication. L’unité de calcul 28 met en œuvre une VM 10 pour l’exécution de la requête r(t), émise par un véhicule pour l’exécution d’un service. En outre, l’unité de calcul 28 est configurée pour mettre en œuvre, pour chaque requête et pour des intervalles temporels successifs : -un module 32 de calcul d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel donné d’un ensemble de K instants temporels prédéterminé, chaque composante du vecteur de probabilités correspondant à une probabilité de migration à l’instant temporel associé, la migration consistant en au moins une réplication de la machine virtuelle exécutant le service sur un serveur de calcul hôte appartenant à une zone géographique de couverture contiguë à ladite zone géographique de couverture courante, la probabilité étant calculée en fonction d’un poids fonction de l’instant temporel associé ; - un module 34 de sélection d’un instant temporel, dit instant temporel de migration sélectionné, en fonction du vecteur de probabilités calculé, - un module 36 de détermination, pour la migration à l’instant temporel de migration sélectionné, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul d’un gain associé à ladite migration à l’instant temporel de migration sélectionné, et -un module 38 de mise à jour du poids associé à l’instant temporel sélectionné en fonction du gain calculé. Dans un mode de réalisation, les modules 32, 34, 36, 38 sont réalisés chacun sous forme d’un logiciel, ou d’une brique logicielle exécutable par l’unité de calcul 28 et mémorisés dans la mémoire 30. Ils forment alors un programme d’ordinateur comportant des instructions logicielles qui lorsqu’elles sont exécutées par un dispositif électronique programmable, mettent en œuvre un procédé d’exécution à distance de services requis par un dispositif mobile. Ce programme d’ordinateur est apte à être enregistré sur tout support d’enregistrement non volatile lisible par ordinateur, par exemple tout type de mémoire non volatile (EPROM, EEPROM, FLASH, NVRAM), une carte magnétique ou une carte optique. En variante non représentée, les modules 32, 34, 36, 38 sont réalisés chacun sous forme d’un composant logique programmable, tel qu’un FPGA (de l’anglais Field Programmable Gate Array ), un GPU (processeur graphique) ou un GPGPU (de l’anglais General-purpose processing on graphics processing ), ou encore sous forme d’un circuit intégré dédié, tel qu’un ASIC (de l’anglais Application Specific Integrated Circuit ). La est un synoptique des principales étapes d’un procédé d’exécution de services à distance selon un premier mode de réalisation, mises en œuvre par une unité de calcul d’un serveur hôte courant. Le procédé est décrit ci-après dans le cas de la réception d’une requête d’exécution de service en provenance d’un véhicule, mais s’applique de manière analogue pour chaque requête reçue par le serveur hôte courant, en provenance d’un même véhicule ou de plusieurs véhicules. Le procédé débute dans un premier intervalle temporel t=1 (t représente ici un numéro d’intervalle temporel dans une succession d’intervalles temporels), et est exécuté sur plusieurs intervalles temporels successifs, comme illustré schématiquement à la , par exemple Q intervalles temporels, Q étant un entier donné. La durée de chaque intervalle temporel est choisie, par exemple elle est fixée ou est variable en fonction d’un nombre de requêtes à accumuler avant de commencer l’exécution. Ce nombre de requêtes est supérieur ou égale à 1, et par exemple compris entre 2 et 100. Ces requêtes sont reçues par le serveur hôte courant en provenance d’un ou plusieurs véhicules. Dans un mode de réalisation, les requêtes traitées sont les requêtes de services susceptibles d’être migrés, par exemple en provenance de véhicules situés à une distance inférieure à une distance seuil d’un bord de la zone de couverture. Le procédé comprend une étape de réception de requête de service r(t) et d’initialisation des paramètres pour l’intervalle temporel t courant, qui est l’intervalle t=1. Le procédé a pour but de déterminer un instant temporel de déclenchement de la migration, appelé simplement instant temporel de migration par la suite, pour exécuter la ou chaque requête de service reçue, parmi un ensemble de K instants temporels prédéterminé : {T 1 ,.., T i ,…T K }. Dans la suite, le procédé de la est décrit pour le traitement d’une requête de service en provenance d’un véhicule. Un exemple d’instants temporels T 1 ,…,T i ,…T K est illustré sur l’axe temporel représenté à la : les instants temporels sont ordonnés dans l’ordre croissant des indices, l’instant T i+1 étant ultérieur à l’instant T i . Dans un mode de réalisation, l’ensemble de K instants temporels est déterminé en fonction d’un nombre de serveur hôtes voisins (i.e. associés à des zones géographiques de couverture contiguës à la zone géographique courante dans laquelle se situe le véhicule émetteur de la requête) candidats pour la migration à chaque instant temporel T k . Ainsi, représente le nombre de serveurs hôtes MEH voisins candidats lorsque la migration est initiée à l’instant temporel . Les instants temporels sont choisis de manière à ce que les nombres de serveurs hôtes candidats associés soient différents, par exemple décroissants, dans l’ordre des indices croissants, , jusqu’à . Le nombre K est un nombre entier quelconque, dépendant de la topologie du réseau de communication, par exemple un nombre entier supérieur ou égal à 2. A chaque instant temporel est associée une option représentative de la sélection ou non, à l’intervalle temporel t, de la migration de la VM à l’instant . En d’autres termes : si l’instant temporel est sélectionné comme instant d’initiation de la migration lors de l’exécution du procédé à l’intervalle temporel t ; et sinon. Le procédé met en œuvre un algorithme d’optimisation probabiliste du type « exploiter ou explorer » (en anglais « exploit or explore »), sur une succession d’intervalles temporels. Des valeurs initiales de poids associés aux instants temporels, , ainsi qu’une valeur initiale de paramètre ρ de pondération, compris entre 0 et 1 et représentatif d’une pondération entre les options « exploiter » ou « explorer », sont obtenues à l’étape d’initialisation 50. Ces valeurs initiales sont par exemple fournies par un opérateur, ou lues dans une mémoire, ou encore sont fixées par défaut. Par exemple, dans un mode de réalisation, le paramètre ρ de pondération prend une valeur fournie par la formule : Où g b est une valeur donnée, représentative d’une borne supérieure du gain total, défini par la formule suivante en fonction d’un gain x k (t) défini plus loin : Chaque poids , associé à l’instant temporel T k , est calculé en fonction d’un gain prédit pour une migration audit instant temporel associé T k . Le procédé comprend une étape 52 de calcul d’un premier vecteur de probabilités à K composantes, chaque composante étant une valeur de probabilité de migration de la VM à l’instant temporel T k calculée pour l’intervalle temporel t : pour tout Ainsi pour chaque instant temporel T k , la probabilité de migration calculée est une somme entre un premier terme dépendant des valeurs de poids associés à chaque instant temporel, représentatifs d’un gain prédit empiriquement, et d’un deuxième terme de distribution uniforme. Le procédé comprend ensuite une étape 54 de sélection d’un instant temporel T k* , dit instant temporel de migration sélectionné, en fonction du premier vecteur de probabilités calculé. L’instant temporel sélectionné est celui qui maximise la probabilité : L’option est activée, c’est-à-dire mise à 1, les autres valeurs de étant à 0. Le procédé comprend ensuite une étape 56 de détermination, pour la migration à l’instant temporel de migration sélectionné T k* , d’un nombre de réplications de la machine virtuelle à effectuer à partir de l’instant temporel sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et de calcul d’un gain prédit pour ladite migration à l’instant temporel de migration sélectionné. En plus du nombre de réplications, les serveurs hôtes à utiliser pour ces réplications sont également déterminés. Une mise en œuvre de cette étape 56 de détermination sera détaillée ci-après en référence à la . Avantageusement, un algorithme basé sur une optimisation de Lyapunov est mis en œuvre. Le gain prédit à l’intervalle temporel t pour la migration à l’instant temporel T k* de l’ensemble des requêtes reçues à t est noté Le procédé comprend en outre une étape 58 de mise à jour du poids associé à l’instant temporel T k* pour l’intervalle temporel suivant t+1. Pour les valeurs d’indice k différent de k*, les valeurs de poids sont inchangées : Dans un mode de réalisation, la mise à jour des poids est effectuée pour l’ensemble des requêtes reçues durant l’intervalle temporel courant, et qui appartiennent à la même classe de service, les classes de services étant prédéfinies. L’étape 58 est suivie d’une étape 62 de mémorisation, pour la ou pour chaque requête considérée, de la décision de migration , précisant l’instant T k* sélectionné pour la migration, ainsi que le nombre de réplications à effectuer déterminé à l’étape 56. Les serveurs hôtes des réplications sont serveurs hôtes sélectionnés à l’étape 56, en fonction d’une probabilité représentative d’une prédiction de mobilité associée, représentative de la probabilité que le véhicule se déplace dans une zone de couverture à laquelle un serveur hôte sélectionné est associé. Un déclenchement effectif de la migration par réplication(s) de la VM à l’instant temporel T k* sera effectué ultérieurement en fonction des informations mémorisées (nombre de réplications, serveurs hôte de réplication). Les étapes 50 à 58 sont itérées pour l’intervalle temporel suivant t+1 pour une ou plusieurs nouvelles requêtes, en provenance du même ou d’autres véhicules. L’algorithme décrit ci-dessus en référence à la figure 3 est un algorithme de décision basé sur l’algorithme connu sous le nom EXP3 (« Exponential weight algorithm for Exploration and Exploitation »), qui met en œuvre avantageusement une détermination de gain associé au déclenchement de la migration à l’instant temporel T k* . Le calcul du gain sera détaillé ci-après. Ce calcul repose sur une minimisation de l’énergie de réplication pour un nombre de réplications à effectuer lors de la migration à l’instant temporel T k* , et le respect d’une contrainte de risque (risque de perte de la continuité de service) et d’une contrainte de disponibilité de la VM (réplication complète au moment où le véhicule change de zone géographique de couverture). La est un synoptique des principales étapes mises en œuvre pour la détermination d’un nombre de réplications de la machine virtuelle à effectuer à un instant temporel sélectionné, pour une ou chaque requête, et le calcul d’un gain associé selon un mode de réalisation. Dans ce mode de mise en œuvre, une optimisation de Lyapunov est mise en œuvre. Le procédé de détermination d’un nombre de réplications est mis en œuvre pour un intervalle temporel t, et pour une pluralité de requêtes r d’exécution, en provenance d’un ou plusieurs véhicules, reçues pendant l’intervalle temporel t. Ce procédé s’applique de manière analogue pour le traitement de chaque requête. Le procédé comprend une étape 70 de calcul de l’énergie consommée pour la migration, pour l’ensemble des requêtes considérées pendant l’intervalle temporel t. L’énergie consommée lors de la migration de la VM qui traite d’une requête, pour un nombre de réplications, est calculée, dans un mode de réalisation, par la formule suivante : Où est le nombre de réplications effectué quand la migration est déclenchée à l’instant , et ’énergie consommée pour une réplication de la VM qui traite la requête r. Par exemple, dans un mode de réalisation, l’énergie consommée par réplication d’une VM est calculée selon la formule : [Joules] Où W : La taille de la VM à migrer en méga octets. Ainsi, dans ce mode de réalisation, l’énergie consommée par réplication de la VM est fonction de la taille de la VM à migrer. Bien entendu, des variantes de calcul de l’énergie consommée par réplication d’une VM sont envisageables. Par exemple, dans une variante, l’énergie consommée calculée dépend également de l’instant de migration. Pour un ensemble de requêtes A(t), l’énergie totale consommée pour la migration est, pour l’ensemble des instants temporels T k considérés : L’ensemble de requêtes A(t) comporte N(t) requêtes. Ensuite, un risque moyen est calculé lors d’une étape de calcul de risque moyen 72, selon une métrique de risque. La métrique de risque est associée à la probabilité, dite probabilité spatiale, pour chaque serveur hôte, que le véhicule émetteur d’une requête entre dans la zone de couverture à laquelle ce serveur hôte est associé après avoir quitté la zone de couverture courante. En d’autres termes, la métrique de risque est associé à l’accessibilité des serveurs hôtes pour le véhicule émetteur de la requête lors de son déplacement. Un vecteur de prédiction de mobilité, qui est un deuxième vecteur de probabilité spatiale est associé à chaque requête , noté . Ce vecteur comporte composantes, chaque composante représentant la probabilité que le véhicule émetteur de la requête r(t) se connecte au serveur hôte MEH i suite à une migration à l’instant temporel T k . Les composantes du vecteur sont organisées dans l’ordre décroissant de probabilité : Pour un instant temporel de migration T k* choisi, la métrique de risque s’écrit : Le risque moyen est alors calculé selon la formule : Le risque moyen est calculé pour l’ensemble des requêtes traitées dans l’intervalle temporel t. L’étape 72 de calcul de risque moyen est suivie d’une étape 74 de calcul de disponibilité moyenne selon une métrique de disponibilité, représentative de la disponibilité de la VM suite à une réplication, en d’autres termes de possibilité d’effectuer une migration complète de la VM avant le changement de serveur hôte. Pour une requête donnée, et pour un instant temporel de migration, la durée de réplication de la VM vers un serveur hôte MEH i est calculée. Dans un mode de réalisation, la durée de réplication dépend d’une classe de service, par exemple parmi les classes de services suivantes : serveur de jeu, logiciel consommateur de mémoire RAM (en anglais, « high RAM app »), streaming vidéo, détection de visages. Bien entendu la liste n’est pas exhaustive. Par exemple pour ces types de services, la durée de réplication estimée varie entre 2 secondes et 15,5 secondes dans le cas où la VM est de type container. Le temps restant avant le changement de serveur hôte est estimé, en fonction de données de contexte (évaluation de la vitesse de déplacement du véhicule, topologie du réseau). Pour un instant temporel de migration T k* choisi, la métrique de disponibilité est par exemple la fonction indicatrice notée , qui est égale à 1 si l’inégalité est vérifiée, et égale à 0 sinon. La disponibilité moyenne pour l’ensemble des requêtes traitées pendant l’intervalle temporel t s’écrit alors : Bien entendu les étapes 72 de calcul de risque moyen et 74 de calcul de disponibilité moyenne peuvent être effectuées dans un ordre différent ou en parallèle. Une étape 76 de construction de queues virtuelles de Lyapunov met en œuvre les valeurs de risque moyen et de disponibilité moyenne calculées précédemment, selon les formules suivantes : Et Les paramètres respectifs et sont de paramètres de contrôle liés au niveau de continuité de service recherché, ou en d’autres termes, à la qualité de service souhaitée. En effet, la première queue virtuelle (Z(t)) associée au risque est incrémentée quand le risque moyen calculé dépasse le paramètre de contrôle associé ε. De manière analogue, la deuxième queue virtuelle (Y(t)) associée à la disponibilité est incrémentée si la disponibilité moyenne calculée est inférieure au paramètre de contrôle associé γ. Une optimisation de type « dérive plus pénalité » (en anglais « drift plus penalty ») est appliquée (étape 78) selon le procédé d’optimisation de Lyapunov, connu dans le domaine des systèmes stochastiques. Pour l’instant temporel de migration T k* , θ k * (t) est connu. Lors de cette étape, le nombre optimal pour chaque requête est déterminé à partir la fonction « objectif » x k (t) (étant donné que a été choisi comme instant optimal pour le déclenchement de la migration). La fonction « objectif » pour l’instant T k* est donnée par la formule suivante : se décompose naturellement suivant r. Afin de déterminer la valeur optimale de pour chaque requête r, chaque terme est minimisé individuellement. Ainsi : Où la valeur V est un coefficient de prise en compte de l’énergie consommée. Alors, dans le cas général, l’optimisation de Lyapunov consiste à déterminer un nombre de réplication à effectuer, le nombre étant inférieur ou égal au nombre de serveurs hôtes candidats associés à l’instant T k* . Dans un mode de réalisation, une recherche exhaustive est appliquée, toutes les valeurs de comprises entre 1 et sont testées, et la valeur qui minimise est retenue, est obtenue en sommant les termes Après avoir déterminé les qui minimise la fonction « objectif », le gain prédit est calculé à l’étape de calcul de gain 80, ce gain étant égal à la valeur de la fonction « objectif » , . pour T k* et pour le nombre de réplications déterminé Ce gain prédit minimise l’énergie de réplication pour effectuer le nombre de réplications sous la contrainte du respect du niveau de qualité de service en ce qui concerne le risque de migration vers un serveur hôte qui ne sera pas sollicité et la disponibilité de la VM après réplication. En pratique, réplications seront déclenchées à l’instant de migration Tk* choisi, vers les serveurs hôtes ayant les probabilités représentatives de prédiction de mobilités associées les plus élevées dans le vecteur de prédiction de mobilité . La est un synoptique des principales étapes d’un procédé d’exécution de services à distance selon un deuxième mode de réalisation, mises en œuvre par une unité de calcul d’un serveur hôte courant. Dans ce deuxième mode de réalisation, le paramètre ρ de pondération, utilisé dans la formule [MATH 2] de calcul du premier vecteur de probabilité, est déterminé par l’algorithme connu sous le nom de « doubling trick ». A la différence du premier mode de réalisation, dans ce mode de réalisation le paramètre ρ de pondération a une valeur qui évolue dynamiquement, de manière à assurer une convergence de l’algorithme mis en œuvre. Le procédé comprend une étape 90 d’initialisation, lors de laquelle un paramètre C est initialisé à la valeur : Une variable est mise à zéro, désignant un indice de période pendant laquelle la valeur du paramètre ρ de pondération est constante. De plus, l’indice d’intervalle temporel est initialisé à 1, et un ensemble des valeurs de gain global cumulé pour chaque indice d’instant temporel T k est mis à 0 : Le procédé comprend une étape 92 de calcul d’une valeur g l de borne de gain pour la période d’indice : A l’initialisation, comme indiqué ci-dessus. Le procédé comprend également une étape 94 de calcul de la valeur du paramètre ρ de pondération en fonction de l’indice l : Ensuite l’algorithme EXP3 est mis en œuvre (étape 45, comprenant les étapes 52 à 58 décrites précédemment en référence à la figure 3) pour l’intervalle temporel t, avec la valeur du paramètre ρ de pondération calculée à l’étape 94. Un instant temporel de migration T k* est alors obtenu, et un gain prédit associé . Lors d’une étape 96 de mise à jour, le gain global cumulé étant incrémenté pour l’indice k* correspondant à l’instant temporel de migration T k* sélectionné : Où est le gain prédit calculé. Pour les autres valeurs de k, le gain global cumulé est inchangé : Ensuite il est vérifié à l’étape de vérification 98 si la valeur maximale de gain global cumulé pour l’intervalle temporel t respecte la condition suivante : Le gain global cumulé maximal est comparé à un seuil qui dépend du nombre K d’instants temporels, ainsi que de la valeur ρ de pondération courante. Si le gain global cumulé est inférieur au seuil, l’indice d’intervalle temporel est incrémenté à l’étape d’incrémentation 100 ( ), et l’étape 45 de mise en œuvre de l’algorithme EXP3 pour l’intervalle t+1 est exécutée, avec la même valeur de paramètre ρ de pondération que précédemment. Si la condition vérifiée à l’étape de vérification 98 n’est pas respectée, i.e. si le gain global cumulé est supérieur au seuil ( ), alors l’étape 98 est suivie d’une étape 104 d’incrémentation de l’indice désignant la période pendant laquelle la valeur du paramètre ρ de pondération est constante , et d’une mise à jour des valeurs du paramètre de pondération et de la borne de gain g l . De manière analogue à l’étape 100, l’indice d’intervalle temporel est incrémenté à l’étape 106. L’étape 106 est suivie de l’étape de 92 de calcul d’une valeur g l de borne de gain pour la période d’indice (pour la nouvelle valeur d’indice ), puis de l’étape 94 de calcul d’une valeur du paramètre ρ de pondération en fonction de l’indice . L’étape 45 de mise en œuvre de l’algorithme EXP3 pour l’intervalle t+1 est exécutée, avec la valeur du paramètre ρ de pondération calculée. Selon des variantes de mises en œuvre, dans le procédé de l’invention, l’énergie consommée pour la migration dépend d’autres paramètres, par exemple de l’instant de migration. Avantageusement, le choix de l’instant temporel de migration pour chaque requête est optimisé en fonction d’une somme de gains associés à des migrations de précédentes requêtes sur une succession d’instants temporels. Avantageusement, le gain prédit pour chaque requête, pour l’instant temporel de migration sélectionné et le nombre de réplications déterminé, dépend de l’énergie consommée pour effectuer les réplications, de la métrique de risque et d’une métrique de disponibilité, et de paramètres de contrôle associés à un niveau de continuité de service recherché. Ainsi, l’invention permet de définir plusieurs niveaux de continuité de service et de déterminer un instant temporel de migration pour un niveau de continuité de service choisi. Avantageusement, pour chaque niveau de continuité de service, l’énergie de réplication est minimisée. Avantageusement, le procédé proposé est exécutable sur une pluralité de requêtes, en provenance d’un ou plusieurs dispositifs mobiles, sur des intervalles temporels successifs, et pour chaque requête, les poids mis en œuvre dans le calcul des composantes du vecteur de probabilités associées aux instants temporels de migration sont mis à jour en fonction des gains prédits. Procédé d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule (8), via un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération, un service étant exécuté par une machine virtuelle (VM) d’un serveur de calcul (MEH c ), dit serveur hôte courant, le dispositif mobile émetteur d’une requête de service ayant une position appartenant à une zone géographique de couverture de communication cellulaire courante (4 1 ), ledit serveur hôte courant étant associé à la zone géographique de couverture courante, le procédé étant caractérisé en ce qu’il comporte les étapes suivantes, mises en œuvre par un processeur dudit serveur hôte courant (MEH c ), pour une requête de service donnée, reçue pendant un intervalle temporel courant: -a) pour l’intervalle temporel courant (t), calcul (52) d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel (T k ) donné d’un ensemble de K instants temporels (T 1 ,…T i ,.., T K ) prédéterminé, chaque composante du vecteur de probabilités correspondant à une probabilité de migration à l’instant temporel associé, la migration consistant en au moins une réplication de la machine virtuelle (VM) exécutant ledit service sur un serveur hôte (MEH j ) choisi appartenant à une zone géographique de couverture contiguë à ladite zone géographique de couverture courante, le calcul (52) des composantes du vecteur de probabilités mettant en œuvre un ensemble de K poids, chaque poids étant associé à un instant temporel de migration et représentatif d’un gain prédit pour une migration audit instant temporel de migration associé, -b) sélection (54) d’un instant temporel, dit instant temporel de migration sélectionné, en fonction du vecteur de probabilités calculé, -c) détermination (56), pour la migration à l’instant temporel de migration sélectionné, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul (56, 80) d’un gain prédit pour ladite migration à l’instant temporel de migration sélectionné. Procédé selon la revendication 1, comportant en outre une mémorisation (62) de l’instant temporel de migration sélectionné et du nombre de réplications de la machine virtuelle à effectuer pour ladite requête de service donnée. Procédé selon l’une des revendications 1 ou 2, mis en œuvre par ledit serveur hôte courant pour une pluralité de requêtes de service sur une succession d’intervalles temporels, le procédé comportant une étape de : d) mise à jour (58) du poids associé à l’instant temporel de migration sélectionné, pour un intervalle temporel suivant, la mise à jour étant fonction dudit gain prédit, et répétition des étapes a) à d) pour l’intervalle temporel suivant. Procédé selon la revendication 3, dans lequel la mise à jour (58) du poids met en œuvre une fonction exponentielle dudit gain prédit, et la probabilité associée à l’instant temporel de migration sélectionné pour l’intervalle temporel courant. Procédé selon la revendication 4, dans lequel le poids associé à l’instant temporel sélectionné pour l’intervalle temporel suivant est obtenu par la formule : Où k* est l’indice de l’instant temporel de migration sélectionné, est le poids associé à l’instant temporel sélectionné pour l’intervalle temporel courant (t), est le poids associé à l’instant temporel sélectionné pour l’intervalle temporel suivant (t+1), ρ est un paramètre de pondération, et est la probabilité associée à l’instant temporel de migration sélectionné. Procédé selon la revendication 5, dans lequel, pour l’intervalle temporel courant (t), la probabilité associée à l’instant temporel T k d’indice k est calculée par la formule : pour tout Procédé selon l’une quelconque des revendications 5 ou 6, dans lequel le paramètre de pondération est calculé dynamiquement (90-106) en fonction d’un calcul (96) de gain global cumulé pour chaque instant temporel, le gain global cumulé étant, pour chaque instant temporel, incrémenté, pour chaque requête de service traitée, du gain prédit pour la migration lorsque ledit instant temporel est sélectionné comme instant temporel de migration. Procédé selon la revendication 7, dans lequel la valeur de paramètre de pondération est modifiée (94) lorsque le gain global cumulé maximum parmi lesdits gains globaux calculés dépasse (98) un seuil dépendant du nombre d’instants temporels. Procédé selon l’une quelconque des revendications 1 à 8, dans lequel la détermination (56), pour la migration à l’instant temporel de migration sélectionné, pour chaque requête de service, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné, chaque réplication étant effectuée sur un serveur hôte choisi, met en œuvre une minimisation (78) d’une fonction objectif dépendant d’une énergie consommée pour ledit nombre de réplications, sous contrainte d’une métrique de risque associée à l’accessibilité du ou des serveurs hôtes choisis (MEH j ) pour la réplication et d’une métrique de disponibilité, pour chaque réplication, de la machine virtuelle (VM) après réplication déclenchée à l’instant temporel de migration sélectionné. Procédé selon la revendication 9, dans lequel la métrique de risque utilise une probabilité représentative d’une prédiction de mobilité, associée à chaque serveur hôte choisi, représentative de la probabilité que le dispositif mobile émetteur de ladite requête de service entre dans une zone de couverture géographique associée audit serveur hôte choisi. Procédé selon la revendication 10, dans lequel pour un instant temporel de migration choisi, et pour une requête r(t) donnée, ladite métrique de risque est définie par Où k* est l’indice de l’instant temporel de migration sélectionné, est le nombre de réplications de la machine virtuelle optimal calculé et (t) est la probabilité représentative d’une prédiction de mobilité associée à un serveur hôte d’indice i. Procédé selon l’une quelconque des revendications 9 à 11, dans lequel la métrique de disponibilité utilise, pour chaque réplication de machine virtuelle, une comparaison d’une durée de migration de la machine virtuelle et d’un temps restant avant un changement de serveur hôte pour le dispositif mobile émetteur de ladite requête de service. Procédé selon l’une quelconque des revendications 9 à 12, dans lequel ladite énergie consommée est calculée en fonction du nombre de réplications et d’une taille de la machine virtuelle à migrer. Procédé selon l’une quelconque des revendications 9 à 13, dans lequel ladite détermination (56), pour la migration à l’instant temporel de migration sélectionné, pour chaque requête de service, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné met en œuvre, pour une pluralité de requêtes de service reçues sur un intervalle temporel courant, un calcul (72) de risque moyen et un calcul (74) de disponibilité moyenne sur ladite pluralité de requêtes. Procédé selon la revendication 14, dans lequel ledit risque moyen calculé pour l’intervalle temporel courant est mis en œuvre pour construire (76) une première queue virtuelle, pour un intervalle temporel suivant, en fonction d’un premier paramètre de contrôle associé, et ladite disponibilité moyenne est mise en œuvre pour construire (76) une deuxième queue virtuelle, pour un intervalle temporel suivant, en fonction d’un deuxième paramètre de contrôle associé, la fonction objectif à minimiser étant dépendante desdites première et deuxième queues virtuelles. Procédé selon l’une des revendications 9 à 15, dans lequel, pour une requête de service donnée, et pour un instant temporel de migration sélectionné, le gain prédit est égal à la valeur de ladite fonction objectif pour le nombre de réplications de la machine virtuelle déterminé. Procédé selon l’une quelconque des revendications 1 à 16, dans lequel à chaque instant temporel est associé un nombre maximum de serveurs hôtes candidats, le nombre maximum de serveurs hôtes candidats associé à chaque instant temporel étant décroissant dans l’ordre croissant des instants temporels. Programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un dispositif électronique programmable, mettent en œuvre un procédé d’exécution à distance de services requis par au moins un dispositif mobile conforme aux revendications 1 à 17. Système d’exécution à distance de services requis par au moins un dispositif mobile, notamment embarqué à bord d’un véhicule, le système comportant un réseau de communication cellulaire selon un protocole de communication au moins de quatrième génération, et une pluralité de serveurs de calcul, un service étant exécuté par une machine virtuelle d’un serveur de calcul, dit serveur hôte courant, le véhicule émetteur d’une requête de service ayant une position appartenant à une zone géographique de couverture de communication cellulaire courante, ledit serveur hôte courant étant associé à la zone géographique de couverture courante, ledit serveur hôte courant (MEH c ) comportant un processeur (28) caractérisé en ce qu’il est configuré pour mettre en œuvre, pour une requête de service donnée reçue pendant un intervalle temporel courant faisant partie d’une succession d’intervalles temporels: -un module de calcul (32), pour l’intervalle temporel courant, d’un vecteur de probabilités à K composantes, chaque composante étant associée à un instant temporel donné d’un ensemble de K instants temporels prédéterminé, chaque composante du vecteur de probabilités correspondant à une probabilité de migration à l’instant temporel associé, la migration consistant en au moins une réplication de la machine virtuelle exécutant ledit service sur un serveur hôte choisi appartenant à une zone géographique de couverture contiguë à ladite zone géographique de couverture courante, le calcul des composantes du vecteur de probabilités mettant en œuvre un ensemble de K poids, chaque poids étant associé à un instant temporel de migration et représentatif d’un gain prédit pour une migration audit instant temporel de migration associé, -un module (34) de sélection d’un instant temporel, dit instant temporel de migration sélectionné, en fonction du vecteur de probabilités calculé, -un module (36) détermination, pour la migration à l’instant temporel de migration sélectionné, d’un nombre de réplications de la machine virtuelle à effectuer à l’instant temporel de migration sélectionné pour minimiser un coût en énergie de réplication tout en assurant un niveau de continuité de service, et calcul d’un gain prédit pour ladite migration à l’instant temporel de migration sélectionné. Système selon la revendication 19, comportant en outre un module (38) de mise à jour du poids associé à l’instant temporel de migration sélectionné, pour un intervalle temporel suivant, la mise à jour étant fonction dudit gain prédit.