Brevet FR3103035A1 — publié le 20210514

L’invention propose un procédé de réglage d’une horloge embarquée (H) dans un véhicule automobile (V), ladite horloge fournissant un temps réel (T) pour des fonctions du véhicule, ledit véhicule (V) étant relié par une communication sans fil à un serveur de données (S), ledit procédé comprenant les étapes suivantes : Emission par le serveur (S) d’une séquence de valeurs consécutives (T1, T1, T2, T3, T4) de temps réel, séparées chacune entre elles par un intervalle de temps fixe (x), Réception par le véhicule des valeurs de temps réel décalées (T0’, T1’, T2’, T3’, T4’) par un temps de vol inconnu et variable entre l’émission et la réception, Pour chaque valeur de temps réel reçue : calcul d’une différence (ΔT1’, ΔT2’, ΔT3’, ΔT4’) entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, calcul d’un délai (Δ1, Δ2, Δ3, Δ4) entre ladite différence ainsi calculée et l’intervalle de temps fixe (x), calcul d’un écart cumulé (ε1, ε2, ε3, ε4), consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, détermination du temps réel (T) pour régler l’horloge embarquée (H) en fonction dudit écart. Figure pour l’abrégé : Fig. 2 Procédé de réglage d’une horloge embarquée dans un véhicule automobile et dispositif de réglage associé L’invention concerne un procédé de réglage d’une horloge embarquée dans un véhicule automobile et dispositif de réglage associé. L’invention s’applique plus particulièrement aux véhicules dits « connectés », c'est-à-dire aux véhicules disposant d’un dispositif de communication embarqué permettant l’accès à un serveur internet grâce à un un réseau sans fil, du type Wifi®, Bluetooth®, ou grâce à un réseau de téléphonie mobile doté de la technologie 3G, 4G ou 5G. Les véhicules automobiles comprennent une horloge embarquée, nécessaire à des nombreuses fonctions véhicules permettant d’avoir une information sur le temps réel. Une de ces fonctions consiste, par exemple en l’auto partage ou « car sharing » en anglais. Un utilisateur possède une clé virtuelle, enregistrée par exemple sur son smartphone (« téléphone intelligent », en français), qui lui permet d’accéder à un véhicule, par exemple de location, pendant une durée d’activation prédéterminée. Cette durée prédéterminée est mémorisée dans le véhicule, et mesurée grâce à son horloge interne embarquée, après une phase de synchronisation du temps réel préalable entre l’horloge du véhicule et l’horloge de la clé virtuelle. La synchronisation du temps réel entre l’horloge du véhicule et celle de la clé virtuelle est également nécessaire à fréquence fixe pour toute clé virtuelle d’accès à un véhicule de type « main libre ». Les horloges embarquées dans les véhicules sont généralement des horloges électroniques, fonctionnant à partir d’un quartz. Cependant ces horloges électroniques sont sensibles à la chaleur, et leur précision sur le temps réel est alors impactée lorsque l’unité de contrôle électronique dans laquelle elles se trouvent chauffent. Dans le cas d’autopartage, cette dérive dans la mesure du temps réel peut engendrer une durée d’activation de la clé virtuelle erronée qui va se trouver soit écourtée soit rallongée, par rapport à la durée d’activation réelle. Ce qui est un inconvénient majeur pour l’utilisateur. Une solution de l’art antérieur consiste à régler l’horloge interne, sur le temps donné par l’horloge du GPS (« Global Positionning System » en anglais) ou système de géo localisation, embarqué dans le véhicule qui, elle est précise. En effet, les systèmes de positionnement par satellites émettent des ondes radio qui contiennent des informations sur le temps, basées sur des horloges atomiques très précises. Cependant cette solution présente un inconvénient majeur. En effet, l’information de temps fourni par le GPS au véhicule, n’est pas sécurisée et peut être piratée. Une autre solution de l’art antérieur consiste à régler l’horloge interne, sur le temps donné par un serveur auquel le véhicule est connecté. Le véhicule envoie une requête au serveur de mise à jour de sa base de temps réel et reçoit en retour une réponse contenant un temps corrigé. La connexion entre le serveur et le véhicule est sécurisée, l’information de temps fourni par le serveur au véhicule est encryptée et signée donc elle n’est pas piratable. Cependant les temps de vol de la requête et de la réponse entre le véhicule et le serveur sont inconnus et difficilement mesurables, le temps corrigé reçu est donc imprécis car il faudrait lui soustraire les temps de vol aller et retour entre le véhicule et le serveur ce qui atteindre quelques dizaines de secondes, voire une demi-minute. Il est donc nécessaire de pouvoir régler l’horloge embarquée dans le véhicule de manière précise et sécurisée. La présente invention propose un procédé de réglage de l’horloge embarqué sur un véhicule automobile palliant les problèmes de l’art antérieur. En l’occurrence, le procédé de réglage permet d’obtenir une information de temps réel plus fiable et de manière sécurisée. L’invention concerne un procédé de réglage d’une horloge embarquée dans un véhicule automobile, ladite horloge fournissant un temps réel pour des fonctions du véhicule, ledit véhicule étant relié par une communication sans fil à un serveur de données, ledit procédé comprenant les étapes suivantes : Emission par le serveur d’une séquence de valeurs consécutives de temps réel, séparées chacune entre elles par un intervalle de temps fixe , Réception par le véhicule des valeurs de temps réel décalées par un temps de vol inconnu et variable entre l’émission et la réception, Et Pour chaque valeur de temps réel reçue calcul d’une différence entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, calcul d’un délai entre ladite différence ainsi calculée et l’intervalle de temps fixe, calcul d’un écart cumulé, consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, détermination du temps réel pour régler l’horloge embarquée en fonction dudit écart. Préférentiellement ; la séquence comporte un nombre prédéterminé de valeurs consécutives de temps réel. Avantageusement, le temps réel pour régler l’horloge est la valeur de temps réel reçue correspondant à l’écart cumulé minimum calculé. Judicieusement, l’émission par le serveur de la séquence de valeurs consécutives est répétée à une fréquence prédéterminée. Lorsque le véhicule comprend un système de géolocalisation, le procédé comprend en outre une étape additionnelle, de réception d’une valeur de temps réel en provenance du système de géolocalisation, de calcul d’un écart entre ladite valeur et le temps réel déterminé, le temps réel choisi pour régler l’horloge étant la valeur de temps réel en provenance du GPS si ledit écart est inférieur à un écart prédéterminé. L’invention concerne également tout dispositif de réglage d’une horloge embarquée sur un véhicule automobile, ladite horloge fournissant un temps réel à des fonctions véhicules, ledit dispositif comprenant des moyens de communication sans fil avec un serveur, ledit dispositif étant remarquable en ce qu’il comprend en outre : des moyens de réception de valeurs de temps réel émises par le serveur de manière consécutive et séparées chacune entres elles par un intervalle de temps fixe (x), lesdites valeurs reçues étant décalées par un temps de vol inconnu et variable entre l’émission et la réception, des premiers moyens de calcul d’une différence entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, des seconds moyens de calcul d’un délai entre ladite différence ainsi calculée et l’intervalle de temps fixe, des moyens de calcul d’un écart cumulé consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, et des moyens de réglage de l’horloge embarquée en fonction dudit écart. Préférentiellement, les moyens de réglage comprennent en outre des moyens de détermination d’une valeur minimum des délais calculés pour chaque valeur de temps réel reçue et de la valeur du temps réel reçu correspondante. L’invention concerne aussi un serveur de données communiquant sans fil avec un véhicule automobile, remarquable en ce qu’il est adapté pour envoyer une séquence de valeurs de temps réel de manière consécutive, séparées chacune par un intervalle de temps fixe. Préférentiellement, l’émission de ladite séquence est répétée à une fréquence prédéterminée. Finalement, l’invention s’applique à tout véhicule automobile communiquant sans fil avec un serveur de données, comprenant un dispositif de réglage selon l’une quelconque des caractéristiques énumérées ci-dessus. D’autres caractéristiques et avantages de l’invention apparaîtront encore à la lecture de la description qui va suivre. Celle-ci est purement illustrative et doit être lue en regard des dessins annexés sur lesquels : : la figure 1, représente schématiquement le véhicule, connecté à un serveur de données, et comprenant le dispositif de réglage de l’horloge embarquée sur le véhicule, selon l’invention. : la figure 2, est un logigramme représentant les différentes étapes du procédé de réglage de l’horloge embarquée sur le véhicule selon l’invention. A la figure 1, est représenté un véhicule automobile V, connecté via une liaison sans fil, du type Wifi, Bluetooth, ou de type liaison téléphonique/internet 3G, 4G, 5G à un serveur de données S. Les protocoles de communication sans fil sont connus de l’art antérieur et ne seront pas plus détaillés ici. Selon l’invention, le serveur de données S est adapté pour envoyer de manière sans fil une séquence de valeurs de temps réel, de manière consécutives et décalées entre elles chacune par un intervalle de temps fixe x. Dans ce but, il possède des moyens d’émission 100, se présentant par exemple sous forme logiciels. En d’autres termes, le serveur de données envoie à un premier instant, une valeur représentative de l‘heure réelle, par exemple T0=10 :00 :00, puis envoie à un deuxième instant consécutif au premier, une deuxième valeur représentative de l’heure réelle, mais décalée d’un intervalle de temps fixe x, par exemple x=30s, on a donc T1=T0+x=10 :00 :30. Le procédé se répète pour un nombre prédéterminé N de valeurs, par exemple la séquence comporte 5 valeurs de temps réel, N=5, on a donc la séquence d’émissions suivante : Valeurs de Temps réel emises T0 T1 T2 T3 T4 10:00:00 10:00:30 10:01:00 10:01:30 10:02:00 De manière préférentielle, le serveur de données S envoie la dite séquence à une fréquence prédéterminée, par exemple mais de manière non limitative, une fois par jour. Le véhicule V comprend des moyens (non représentés) de communication sans fil avec le serveur de données S, ceci est connu de l’homme de l’art. Le véhicule V comprend également une horloge H embarquée, fournissant un temps réel, nécessaire à la mise en œuvre de fonctions du véhicule. Selon l’invention, le véhicule V comprend également un dispositif de réglage D de l’horloge embarquée sur le véhicule V. Ledit dispositif de réglage D comprend des moyens de réception 10, de valeurs de temps réel envoyées par le serveur. Le dispositif comprend également : des premiers moyens de calcul d’une différence M1 entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, des seconds moyens de calcul M2 d’un délai entre ladite différence ainsi calculée et l’intervalle de temps fixe, des moyens de calcul d’un écart cumulé M3, consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, des moyens de réglage M4 de l’horloge H en fonction du dit écart cumulé. Dans un mode de réalisation préférentiel de l’invention, les moyens de réglage M4 comprennent en outre en outre des moyens de détermination (non représentés) d’une valeur minimum des écarts calculés pour chaque valeur de temps réel reçue et de la valeur du temps réel reçue correspondante. Le procédé de réglage, illustré à la figure 2 va maintenant être décrit. Dans une étape préalable (non illustrée), on équipe le serveur de données S de moyens d’émission 100 et on équipe le véhicule du dispositif de réglage D décrits précédemment. Dans une première étape E1, le serveur de données S émet de manière sans fil, par une communication BLE, Wifi, ou autre une séquence de N valeurs consécutives de temps réel T0, T1, T2, T3, T4 séparées chacune par un intervalle fixe x, comme illustré à la Table 1. Le véhicule V plus particulièrement, les moyens de réception 10 reçoivent dans un deuxième étape E2, les valeurs de temps réel, que l’on nommera T0’, T1’, T2’, T3, T4’. Cependant ces valeurs de temps reçues sont décalées par rapport aux valeurs de temps émises, en effet le temps de vol entre le serveur et le véhicule, c’est à dire entre l’émission et la réception des dites valeurs est inconnu et variable. Ainsi on a : Avec : T0, T1, T2, T3, T4 : valeurs de temps réel émises par le serveur S, T0’, T1’, T2’, T3’, T4’ : valeurs de temps réel reçues par le véhicule V, Par exemple, Valeurs de Temps réel emises T0 T1 T2 T3 T4 10:00:00 10:00:30 10:01:00 10:01:30 10:02:00 Valeurs de temps réel reçues T0' T1' T2' T3' T4' 10:00:09 10:00:35 10:01:05 10:01:32 10:02:09 Dans une troisième étape E3, il est calculé, pour chaque valeur de temps réel reçue, une différence ΔT(i+1)’ entre la valeur de temps réel reçue à un instant (i+1) et la valeur de temps réel reçue à un instant précédent (i), soit : Soit : Ceci est calculé pour chaque valeur de temps réel reçue. A la quatrième étape E4, on calcule un délai entre la différence ainsi calculée précédemment et l’intervalle fixe x, pour chaque valeur de temps réel reçue soit : Soit : On obtient donc le tableau suivant : Valeurs de Temps réel emises T0 T1 T2 T3 T4 10:00:00 10:00:30 10:01:00 10:01:30 10:02:00 Valeurs de temps réel reçues T0' T1' T2' T3' T4' 10:00:09 10:00:35 10:01:05 10:01:32 10:02:09 ΔT(i+1)' ΔT0' ΔT1' ΔT2' ΔT3' ΔT4' 0 00:00:26 00:00:30 00:00:27 00:00:37 Δ(i+1)' Δ0 Δ1 Δ2 Δ3 Δ4 -4 0 -3 7 A l’étape suivante (étape E5), pour chaque valeur de temps réel reçue, on détermine un écart cumulé ε(i+1), en additionnant le délai ainsi calculé à un instant (i+1), avec le délai calculé pour la valeur de temps réel reçue à l’instant précédent (i), soit : Soit : Puis on détermine la valeur du temps réel à utiliser pour régler l’horloge embarquée H du véhicule V, parmi toutes les valeurs de temps réel reçues. Ceci est réalisé en prenant la valeur du temps réel reçue, présentant le plus faible écart cumulé (étape E6), soit la valeur minimum des écarts cumulés, min(ε(i+1)). On obtient donc le tableau suivant : Valeurs de Temps réel emises T0 T1 T2 T3 T4 10:00:00 10:00:30 10:01:00 10:01:30 10:02:00 Valeurs de temps réel reçues T0' T1' T2' T3' T4' 10:00:09 10:00:35 10:01:05 10:01:32 10:02:09 ΔT(i+1)' ΔT0' ΔT1' ΔT2' ΔT3' ΔT4' 0 00:00:26 00:00:30 00:00:27 00:00:37 Δ(i+1)' Δ0 Δ1 Δ2 Δ3 Δ4 -4 0 -3 7 ε(i+1) ε0 ε1 ε2 ε3 ε4 -4 -4 -7 0 min(ε(i+1)) -7 Dans cet exemple, la valeur du temps réel reçue à utiliser pour régler l’horloge (étape E7), présentant le plus faible temps de vol et donc la meilleure précision par rapport à la valeur de temps réel émise par le serveur de données S est T égal à T3 soit égal à 10:01:32, en effet cette valeur de temps réel reçue présente le plus faible écart cumulé ε(3) égal à -7 et on constate que la temps réel T3 ne présente que deux secondes de retard par rapport à la valeur de temps réel émise par le serveur de données S. Bien sûr, chaque valeur de temps réel reçue est mise à jour, c'est-à-dire incrémentée, avec une base de temps, par l’intermédiaire de l’horloge H embarquée sur le véhicule V, pendant les calculs décrits ci dessus, jusqu’à temps que la valeur de temps réel à utiliser soit déterminée par le procédé de réglage selon l’invention. Dans un deuxième mode de réalisation du procédé selon l’invention (non représenté), le véhicule V comprend un système GPS (« global positionning system ») ou système de géolocalisation et le procédé de réglage comprend une étape additionnelle dans laquelle, le dispositif de réglage D reçoit une valeur de temps réel en provenance du GPS, la compare à la valeur de temps réel obtenue à la dernière étape du procédé selon l’invention. Si un écart entre ces deux valeurs est inférieur à un écart prédéterminé, alors le dispositif de réglage D utilise la valeur du temps réel envoyé par le GPS afin de régler l’horloge H embarquée dans le véhicule, car cette valeur de temps réel est plus précise. En effet, il est alors considéré que la valeur du temps réel en provenance du GPS n’a pas pu être piratée. L’invention permet donc de manière judicieuse et peu onéreuse, de régler précisément une horloge embarquée sur un véhicule de manière sécurisée. Le procédé de réglage selon l’invention permet en autres : d’éviter que le véhicule V n’ait à envoyer une requête au serveur pour mettre à jour son horloge, de recevoir sur le véhicule V une valeur de temps réel qui ne soit pas impacté par deux temps de vols, celui de la requête du véhicule au serveur et celui de la réponse du serveur au véhicule, De régler l’horloge quotidiennement sur le véhicule de manière sécurisée. Procédé de réglage d’une horloge embarquée (H) dans un véhicule automobile (V), ladite horloge fournissant un temps réel (T) pour des fonctions du véhicule, ledit véhicule (V) étant relié par une communication sans fil à un serveur de données (S), ledit procédé étant caractérisé en ce qu’il comprend les étapes suivantes : Emission par le serveur (S) d’une séquence de valeurs consécutives (T1, T1, T2, T3, T4) de temps réel, séparées chacune entre elles par un intervalle de temps fixe (x), Réception par le véhicule des valeurs de temps réel décalées (T0’, T1’, T2’, T3’, T4’) par un temps de vol inconnu et variable entre l’émission et la réception, Pour chaque valeur de temps réel reçue : calcul d’une différence (ΔT1’, ΔT2’, ΔT3’, ΔT4’) entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, calcul d’un délai (Δ1, Δ2, Δ3, Δ4) entre ladite différence ainsi calculée et l’intervalle de temps fixe (x), calcul d’un écart cumulé (ε1, ε2, ε3, ε4), consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, détermination du temps réel (T) pour régler l’horloge embarquée (H) en fonction dudit écart. Procédé de réglage selon la revendication précédente, caractérisé en ce que la séquence comporte un nombre prédéterminé (N) de valeurs consécutives de temps réel. Procédé de réglage, selon la revendication 1 ou 2, caractérisé en ce que le temps réel pour régler l’horloge est la valeur de temps réel reçue correspondant à l’écart cumulé minimum (min(ε(i+1)) calculé. Procédé de réglage selon l’une quelconque des revendications 1 à 3, caractérisé en ce que l’émission par le serveur de la séquence de valeurs consécutives est répétée à une fréquence prédéterminée. Procédé de réglage selon l’une quelconque des revendications précédentes, caractérisé en que, le véhicule (V) comprenant un système de géolocalisation, le procédé comprend en outre une étape additionnelle, de réception d’une valeur de temps réel en provenance du système de géolocalisation, de calcul d’un écart entre ladite valeur et le temps réel déterminé, le temps réel choisi pour régler l’horloge étant la valeur de temps réel en provenance du GPS si ledit écart est inférieur à un écart prédéterminé. Dispositif de réglage (D) d’une horloge embarquée (H) sur un véhicule (V) automobile, ladite horloge (H) fournissant un temps réel (T) à des fonctions véhicules, ledit dispositif (D) comprenant des moyens de communication sans fil avec un serveur, ledit dispositif étant caractérisé en ce qu’il comprend en outre : des moyens de réception(10) de valeurs de temps réel émises (T1, T1, T2, T3, T4) par le serveur de manière consécutive et séparées chacune entres elles par un intervalle de temps fixe (x), lesdites valeurs reçues (T0’, T1’, T2’, T3’, T4’) étant décalées par un temps de vol inconnu et variable entre l’émission et la réception, des premiers moyens de calcul d’une différence (M1) entre une valeur de temps réel reçue à un instant donné, et une valeur de temps réel reçue à un instant précédent, des seconds moyens de calcul d’un délai (M2) entre ladite différence ainsi calculée et l’intervalle de temps fixe (x), des moyens de calcul d’un écart cumulé (M3) consistant en la somme du délai calculé pour une valeur de temps reçue à un instant et une valeur de temps reçue à l’instant précédent, et des moyens de réglage (M4) de l’horloge embarquée (H) en fonction dudit écart. Dispositif (D) selon la revendication précédente, caractérisé en ce que les moyens de réglage (M4) comprennent en outre des moyens de détermination d’une valeur minimum des délais calculés pour chaque valeur de temps réel reçue et de la valeur du temps réel reçu correspondante. Serveur de données (S) communiquant sans fil avec un véhicule automobile (V), caractérisé en ce qu’il est adapté pour mettre en œuvre le procédé de réglage d’une horloge embarquée (H) dans un véhicule automobile (V), selon l’une quelconque des revendications 1 à 5. Serveur de données (S), selon la revendication précédente, caractérisé en qu’il est adapté pour envoyer une séquence de valeurs de temps réel de manière consécutive, séparées chacune par un intervalle de temps fixe (x) et en ce que l’émission de ladite séquence est répétée à une fréquence prédéterminée. Véhicule automobile (V) communiquant sans fil avec un serveur de données (S), caractérisé en ce qu’il comprend un dispositif de réglage (D) selon l’une quelconque des revendications 6 ou 7.