FR 3045167 A1 20170616 FR 1502575 A 20151211 1 Procédés et dispositifs de validation de synchronisation entre un récepteur de géolocalisation et un satellite émetteur La présente invention concerne un procédé de validation de synchronisation entre un récepteur de géolocalisation et un satellite émetteur lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite, et un récepteur de géolocalisation associé. L'invention concerne également un procédé de validation de synchronisation entre un récepteur de géolocalisation et un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation pour un système de géolocalisation par satellite prédéterminé, et un récepteur de géolocalisation associé. L'invention se situe dans le domaine des systèmes de géolocalisation par satellite, connus sous l'acronyme GNSS (pour « Global Navigation Satellite System »). De manière générale, un système GNSS est composé d'une pluralité de satellites, ou constellation de satellites, permettant à un récepteur de géolocalisation portable de déterminer des informations de positionnement, dans un repère terrestre, également appelées informations de position, vitesse et temps (PVT). Il existe actuellement plusieurs systèmes GNSS parmi lesquels on peut notamment citer le système GPS, le système GLONASS ou encore le système GALILEO dont la mise en service est prévue prochainement. Les satellites d'un tel système GNSS sont aptes à émettre des signaux radioélectriques comprenant notamment des informations de navigation. Chaque information de navigation comprend généralement des données relatives au temps d'émission par le satellite du signal correspondant et à la position courante du satellite. En particulier, les données relatives à la position courante du satellite contiennent généralement l'almanach donnant une position grossière du satellite et les éphémérides donnant la position courante exacte du satellite. L'information de navigation est portée par une onde porteuse et modulée par un code d'étalement propre à chaque satellite. Ainsi, les signaux sont émis par les satellites en utilisant une technique d'étalement de spectre. Le récepteur de géolocalisation appelé également récepteur GNSS, est apte à recevoir les signaux émis par les satellites et à en extraire l'information de navigation pour notamment déterminer la distance jusqu'au satellite émetteur ayant émis le signal correspondant. Cette distance, appelée également pseudo-distance, est déterminée en analysant le temps de propagation du signal correspondant. 3045167 2 Pour déterminer les informations de positionnement PVT, le récepteur met en oeuvre un traitement numérique des informations de navigation issues d'au moins trois satellites différents. En pratique, pour avoir une position plus précise, le récepteur a besoin 5 d'informations de navigation issues d'au moins quatre satellites différents. Plus précisément, pour acquérir l'information de navigation d'un satellite donné, le récepteur met en oeuvre deux phases traitant les signaux issus de ce satellite. Lors d'une phase initiale, appelée dans l'état de l'art, phase d'acquisition, le récepteur génère un signal local contenant notamment un code d'étalement local 10 présentant l'image du code d'étalement du satellite. Comme initialement le récepteur ne connait pas sa position, le signal local n'est pas synchronisé avec le signal reçu. Ceci signifie en particulier que le signal local est décalé en fréquence de porteuse du signal reçu d'une valeur appelée valeur de Doppler, et que le code d'étalement du signal reçu est retardé du code d'étalement local d'une 15 valeur appelée valeur de retard. Puis, le récepteur effectue une recherche d'un pic des corrélations entre le signal local et le signal reçu en essayant différentes valeurs de Doppler et de retard. Lorsqu'un pic est détecté, le récepteur détermine les valeurs de Doppler et de retard correspondant à ce pic et à partir de ces valeurs, lance une phase suivante, 20 appelée dans l'état de l'art, phase de poursuite. Lors de la phase de poursuite, le récepteur met à jour régulièrement les valeurs de Doppler et de retard, et extrait l'information de navigation du signal émis par le satellite en utilisant notamment le code d'étalement local et les valeurs de Doppler et de retard déterminées. 25 À l'issue de la phase d'acquisition, il est considéré que le récepteur s'est synchronisé avec le satellite émetteur ou encore s'est « accroché » à ce satellite, grâce à la détection du pic de corrélation. Il arrive parfois que le récepteur synchronise son signal local correspondant au satellite recherché sur le signal reçu d'un autre satellite, ce qui conduit à une mesure de 30 distance erronée, et donc potentiellement à un positionnement faux. Dans ce cas, il s'agit d'une fausse synchronisation ou d'un faux « accrochage », qu'on appelle également corrélation croisée. Dans ce cas, le calcul des informations de positionnement du récepteur est faussé. En particulier, l'erreur de corrélation croisée se présente lorsque les satellites émettent des signaux GNSS à code périodique court, par exemple les signaux GPS Ll 3045167 3 C/A (acronyme de « coarse acquisition), correspondant à une fréquence de 1 575,42 MHz, SBAS L1 C/A et GAULE() L1 BC. Un phénomène analogue se présente également lorsque le signal reçu provient d'un satellite émetteur d'informations de correction de position, dans un système 5 d'augmentation spatiale, appelé système SBAS. Il existe dans l'état de l'art différentes méthodes permettant d'éviter une telle fausse synchronisation ou corrélation croisée. Ainsi, une méthode, utilisée de manière conventionnelle, consiste à vérifier la cohérence entre la position du satellite calculée à partir des éphémérides contenues dans 10 l'information de navigation et celle calculée à partir des almanachs décodés. Les almanachs contiennent les identifiants de l'ensemble des satellites émetteurs de la constellation, contrairement aux éphémérides. L'incohérence entre ces valeurs signifie donc une fausse synchronisation. En effet, les données d'éphémérides d'un satellite permettent d'estimer avec une 15 précision de quelques mètres la position de ce satellite, mais ne sont transmises que par le satellite lui-même et ont une durée de validité limitée à quelques heures. Les données d'almanachs pour l'ensemble de la constellation de satellites permettent d'estimer la position de chacun des satellites grossièrement, à quelques centaines de kilomètres près, mais sont transmises par l'ensemble des satellites de la 20 constellation et ont une durée de validité de plusieurs jours. Ainsi, si la différence entre la position calculée à partir des éphémérides et la position calculée à partir des almanachs est supérieure à la distance moyenne entre satellites émetteurs, on estime qu'il y a une erreur, donc une corrélation croisée. Afin d'éviter une fausse détection de corrélation croisée et de garantir l'intégrité 25 des informations de positionnement calculées par un récepteur GNSS, le standard aéronautique RTCA (« Radio Technical Commission for Aeronautics) DO-229 « Minimum Operational Performance Standards for Global Positionning System » impose un décodage complet de l'ensembles des données d'éphémérides reçues deux fois et une comparaison avec les données d'almanach décodées pour l'ensemble des satellites. 30 Pour un satellite émetteur donné, un ensemble complet de données d'éphéméride est formé d'un nombre donné de mots d'éphéméride, chacun ayant un rang associé et codant des informations relatives au satellite émetteur, ces informations permettant de calculer la position du satellite émetteur. Les données d'éphémérides sont retransmises périodiquement, et renouvelées à une fréquence donnée, par exemple toutes les deux 35 heures pour les satellites GPS. 3045167 4 Les mots d'éphémérides sont transmis dans des sous-trames du signal émis, la transmission de la totalité des mots d'une éphéméride nécessitant une pluralité de sous-trames. Ainsi, la méthode classique de validation d'absence de corrélation croisée prend 5 un temps relativement long, qui est de 48 secondes à 60 secondes pour le système GPS et de plusieurs minutes pour le système SBAS. La présente invention a pour but de remédier à cet inconvénient. A cet effet, selon un premier aspect, l'invention propose un procédé de validation de synchronisation entre un récepteur de géolocalisation avec un satellite émetteur lors 10 d'une phase d'acquisition d'un signal de navigation issu de ce satellite, ledit récepteur étant apte à recevoir un signal radioélectrique composite comportant une pluralité de signaux de navigation émis chacun par un satellite émetteur faisant partie d'une constellation de satellites, et à mettre en oeuvre une phase d'acquisition de signal de navigation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un 15 satellite émetteur d'un signal de navigation correspondant dans une étape de synchronisation, chaque satellite émetteur transmettant en outre des ensembles d'éphémérides composées d'une pluralité de mots, chacun ayant un rang associé, codant des informations relatives audit satellite émetteur et permettant de calculer une position dudit satellite émetteur dans un référentiel donné. 20 Le procédé est mis en oeuvre par ledit récepteur et comporte, pour chaque satellite émetteur identifié, la mise en oeuvre d'un test de validation, comprenant : -l'extraction de mots d'éphéméride du signal de navigation associé au satellite identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal de navigation, 25 -la comparaison d'au moins une partie desdits mots d'éphéméride extraits à au moins un mot d'éphéméride de même rang mémorisé pour ledit satellite émetteur identifié et/ou pour au moins un autre des satellites émetteurs, et, en fonction du résultat de la comparaison, la validation ou non de la synchronisation avec ledit satellite émetteur identifié, dès que les comparaisons effectuées permettent d'atteindre une probabilité de 30 fausse alarme et/ou une probabilité de non-détection prédéterminée. Avantageusement, l'invention permet de valider la synchronisation du récepteur avec un satellite émetteur à partir d'une partie des mots d'éphémérides reçus uniquement, et par conséquent de réduire considérablement le temps de confirmation d'absence ou de présence de fausse synchronisation. 3045167 5 Le procédé de validation de synchronisation selon l'invention peut également présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou en combinaison selon toutes les combinaisons techniquement possibles. Le procédé comporte, après l'étape d'extraction, une étape de vérification d'un 5 code de protection associé à un ou plusieurs desdits mots d'éphéméride extraits, la comparaison étant effectuée sur les mots d'éphéméride extraits pour lesquels la vérification est positive. Le procédé comporte une mémorisation de mots d'éphéméride préalablement validés pour ledit satellite émetteur, et la comparaison d'un mot d'éphéméride reçu avec 10 le mot d'éphéméride mémorisé de même rang pour ledit satellite émetteur. Il comporte en outre une étape préalable d'estimation d'une probabilité, pour chaque mot d'éphéméride de l'ensemble d'éphémérides, qu'un mot d'éphéméride, ayant un rang associé et émis par un satellite émetteur donné, ait une même valeur qu'un mot d'éphéméride émis de même rang émis par un autre satellite de la constellation de 15 satellites. Il comporte un calcul d'ensembles de rangs de mots d'éphémérides, chaque dit ensemble de rangs désignant des rangs de mots d'éphémérides permettant une validation du satellite émetteur associé avec une probabilité de non-détection correspondante. 20 Le procédé comporte une étape de mémorisation d'au moins un ensemble d'ensembles de rangs d'éphémérides calculés correspondant à une probabilité de non-détection prédéterminée. Il comporte, en cas de comparaison positive d'un mot d'éphéméride reçu avec un mot d'éphéméride préalablement validés et mémorisé pour ledit satellite émetteur, une 25 validation en fonction de l'appartenance du rang dudit mot d'éphéméride reçu à au moins un desdits ensembles de rangs d'éphémérides calculés. Le procédé comporte comparaison d'un mot d'éphéméride extrait avec un mot d'éphéméride de même rang mémorisé pour ledit satellite émetteur identifié, et avec un mot d'éphéméride de même rang reçu pour chacun d'une pluralité d'autres satellites 30 émetteurs. Si le mot d'éphéméride extrait est identique au mot d'éphéméride de même rang mémorisé pour ledit satellite émetteur identifié, et différent de chacun des mots d'éphéméride de même rang reçus pour un autre satellite émetteur, un compteur de validité est incrémenté. 3045167 6 Si le mot d'éphéméride extrait est différent du mot d'éphéméride de même rang mémorisé pour ledit satellite identifié, et identique à au moins un des mots de même rang reçus pour un autre satellite émetteur, un compteur d'invalidité est incrémenté. La validation ou invalidation de la synchronisation est effectuée en fonction de la 5 comparaison du compteur de validité ou du compteur d'invalidité à un nombre de comparaisons à prendre en considération, ledit nombre de comparaisons à prendre en considération étant dépendant de la probabilité de fausse alarme et/ou de la probabilité de non-détection prédéterminées. Selon un autre aspect, l'invention concerne un procédé de validation de 10 synchronisation entre un récepteur de géolocalisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation pour un système de géolocalisation par satellite prédéterminé, ledit signal d'augmentation étant fourni par un fournisseur de services, ledit récepteur étant apte à recevoir une pluralité de signaux d'augmentation en provenance de 15 divers satellites émetteurs associés à au moins un fournisseur de services, et à mettre en oeuvre une phase d'acquisition de signal d'augmentation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal d'augmentation correspondant dans une étape de synchronisation. Le procédé est mis en oeuvre par ledit récepteur, et comporte, pour chaque 20 satellite émetteur identifié, la mise en oeuvre d'un test de validation, comprenant : -l'extraction de mots reçus du signal d'augmentation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal, -la comparaison d'un mot reçu à au moins un mot reçu de même type reçu pour au moins un autre des satellites émetteurs, et, en fonction du résultat de la comparaison, 25 la validation ou non de la synchronisation avec ledit satellite émetteur identifié, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. Ce procédé de validation de synchronisation entre un récepteur de géolocalisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation 30 comprenant des données de correction et d'intégrité de géolocalisation selon l'invention peut également présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou en combinaison selon toutes les combinaisons techniquement possibles. Il comporte, après l'étape d'extraction, une étape de vérification d'un code de 35 protection associé audit mot reçu extrait du signal d'augmentation, la comparaison étant effectuée sur les mots reçus extraits pour lesquels la vérification est positive. 3045167 7 Le procédé comporte, dans le cas où ledit mot reçu extrait associé à un premier satellite émetteur est identique à un mot reçu extrait associé à un deuxième satellite émetteur, une étape de vérification consistant à vérifier si ledit premier satellite et ledit deuxième satellite sont associés à un même fournisseur de services, et en cas de 5 vérification positive, la réception d'un mot contenant des éphémérides pour chacun desdits premier et deuxième satellites et la comparaison des éphémérides reçus à des données d'almanach associées audit fournisseur de services. Il comporte l'incrémentation d'un compteur d'invalidité, et la non validation de la synchronisation lorsque ledit compteur d'invalidité atteint une valeur prédéterminée. 10 Il comporte, dans le cas où ledit mot reçu extrait associé à un premier satellite émetteur est différent de chacun des mots reçus associés aux autres satellites émetteurs, l'incrémentation d'un compteur de validité, et la validation de la synchronisation lorsque ledit compteur de validité atteint une valeur prédéterminée. Ladite valeur prédéterminée est fonction de ladite probabilité de fausse alarme 15 et/ou de ladite probabilité de non-détection. Selon un autre aspect, l'invention concerne un récepteur de géolocalisation mettant en oeuvre une synchronisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite, ledit récepteur étant apte à recevoir un signal radioélectrique composite comportant une pluralité de signaux de 20 navigation émis chacun par un satellite émetteur faisant partie d'une constellation de satellites, et à mettre en oeuvre une phase d'acquisition de signal de navigation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal de navigation correspondant dans une étape de synchronisation, chaque satellite émetteur transmettant en outre des ensembles d'éphémérides composées d'une pluralité 25 de mots, chacun ayant un rang associé, codant des informations relatives audit satellite émetteur et permettant de calculer une position dudit satellite émetteur dans un référentiel donné. Ce récepteur comporte des modules de mise en oeuvre d'un test de validation pour chaque satellite émetteur identifié, comprenant : 30 -un module d'extraction de mots d'éphéméride du signal de navigation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal de navigation, -un module de comparaison d'au moins une partie desdits mots d'éphéméride extraits à au moins un mot d'éphéméride de même rang mémorisé pour ledit satellite 35 émetteur identifié et/ou pour au moins un autre des satellites émetteurs, et 3045167 8 - un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. 5 Selon un autre aspect, l'invention concerne un récepteur de géolocalisation mettant en oeuvre une validation de synchronisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation pour un système de géolocalisation par satellite prédéterminé, ledit signal d'augmentation étant fourni un fournisseurs de services, le 10 récepteur étant apte à recevoir une pluralité de signaux d'augmentation en provenance de divers satellites émetteurs associés à au moins un fournisseur de services, et à mettre en oeuvre une phase d'acquisition de signal d'augmentation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal d'augmentation correspondant dans une étape de synchronisation. 15 Ce récepteur comporte des modules de mise en oeuvre d'un test de validation pour chaque satellite émetteur identifié, comprenant : - un module d'extraction de mots reçus du signal d'augmentation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal, 20 - un module de comparaison d'un mot reçu à au moins un mot reçu de même type reçu pour au moins un autre des satellites émetteurs, et, un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité 25 de non-détection prédéterminée. 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 30 figures annexées, parmi lesquelles : la figure 1 est une illustration schématique d'un système de géolocalisation ; la figure 2 est un synoptique des principales étapes d'un procédé de validation de synchronisation selon un premier mode réalisation de l'invention ; 35 la figure 3 est un synoptique des principales étapes d'un procédé de validation de synchronisation selon un deuxième mode réalisation de l'invention ; 3045167 9 la figure 4 est un synoptique des principales étapes d'un procédé de validation de synchronisation selon un troisième mode réalisation de l'invention. 5 La figure 1 illustre un système de géolocalisation 1 adapté à mettre en oeuvre l'invention, dans le contexte de l'aide à la navigation d'un porteur mobile 2, qui est dans l'exemple de la figure 1 un aéronef. Bien entendu, l'invention ne se limite pas à ce mode de réalisation, et s'applique plus généralement pour la géolocalisation de tout porteur mobile. 10 Le porteur mobile 2 est équipé d'un récepteur de géolocalisation 12, ou récepteur GNSS, apte à recevoir des signaux radioélectriques de navigation en provenance d'une pluralité de satellites émetteurs 4, 6, 8, faisant partie d'une constellation de satellites d'un système de géolocalisation GNSS. Dans un premier mode de réalisation, il s'agit d'une constellation de satellites du 15 système GPS. En variante, il s'agit d'une constellation de satellites du système GALILEO, ou de tout autre système GNSS. De manière générale, le porteur mobile 2 est apte à recevoir des signaux radioélectriques en provenance d'un système de géolocalisation GNSS, susceptible 20 d'émettre dans des bandes de fréquences prédéfinies. Chacun des satellites transmet des signaux de radionavigation, comprenant également des données d'éphéméride constituées d'une pluralité de mots d'éphéméride, permettant de calculer une position du satellite émetteur dans un référentiel terrestre donné, avec une précision donnée, par exemple une précision de quelques mètres. De 25 plus, les données d'éphéméride contiennent des informations sur l'horloge interne du satellite émetteur. De manière connue, les satellites sont susceptibles d'émettre des signaux sur plusieurs fréquences d'émission, les signaux émis ayant un code périodique associé. Par exemple, dans le cas du système GPS, les signaux GPS L1 C/A sont émis à 30 une fréquence de 1 575,42 MHz avec un code périodique d'étalement de 1023 éléments. Les codes C/A sont accessibles à tous et largement utilisés dans les applications de radionavigation. Ces satellites sont également susceptibles d'émettre sur d'autres fréquences, par exemple 1 227,60 MHz (signaux L2) ou 1176.45 MHz (signaux L5). 3045167 10 Notamment, des données d'éphémérides peuvent être émises dans des signaux L5, avec un code périodique de 10230 éléments, permettant une bien plus grande immunité aux corrélations croisées que les signaux L1. De plus, en variante, des données de correction et d'intégrité d'un ou plusieurs 5 satellites 10 d'une constellation de satellites géostationnaires, selon le système d'augmentation de précision spatiale utilisant des satellites géostationnaires, appelé SBAS (pour « satellite-based augmentation system »), qui sont également transmises dans ces signaux radioélectriques émis dans les mêmes bandes de fréquence prédéfinies. 10 Le récepteur 12 comporte plusieurs canaux de réception pour la réception de signaux d'augmentation de précision spatiale en provenance de plusieurs satellites. Le récepteur GNSS 12 comporte notamment un dispositif de calcul, comportant un ou plusieurs processeurs de calcul 14, aptes à exécuter des calculs et des instructions de code de programme d'ordinateurs lorsqu'ils sont mis sous tension. Le dispositif de calcul 15 comprend également une ou des mémoires de stockage 16, aptes à stocker des instructions de code exécutable permettant la mise en oeuvre de programmes comportant des instructions de code aptes à mettre en oeuvre les procédés selon l'invention. Dans un mode de réalisation, le dispositif de calcul est un ordinateur. En variante, le dispositif de calcul est un dispositif électronique de type circuit 20 logique programmable, par exemple une ou plusieurs des cartes électroniques à base de FPGA ou ASIC. Notamment, des données d'almanachs et des données d'éphémérides relatives à chacun des satellites 4, 6, 8, 10 considérés sont mémorisées dans la mémoire 16. Le processeur de calcul 14 met en oeuvre des modules de mise en oeuvre d'un 25 test de validation de synchronisation pour chaque satellite émetteur identifié, non représentés sur la figure, comprenant : -un module d'extraction de mots d'éphéméride du signal de navigation associé au satellite identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal de navigation, 30 -un module de comparaison d'au moins une partie desdits mots d'éphéméride extraits à au moins un mot d'éphéméride de même rang mémorisé pour ledit satellite identifié et/ou pour au moins un autre des satellites émetteurs, et -un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées 35 permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non- détection prédéterminée. 3045167 11 En outre, le processeur de calcul 14 met en oeuvre des modules de mise en oeuvre d'un test de validation pour chaque satellite 10 émetteur d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation, comprenant : 5 - un module d'extraction de mots reçus du signal d'augmentation associé au satellite identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal, - un module de comparaison d'un mot reçu à au moins un mot reçu de même type reçu pour au moins un autre des satellites émetteurs, 10 et, un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. La figure 2 est un synoptique des principales étapes d'un procédé de validation de 15 synchronisation selon un premier mode de réalisation de l'invention, mis en oeuvre par un récepteur GNSS 12. Ce premier mode de réalisation s'applique en particulier avec le système GPS, dans le cadre d'une ré-acquisition de signal de navigation pour un satellite Si donné de la constellation, après une perte ou un masquage du signal de navigation préalablement 20 acquis, sur un canal associé. On suppose dans ce mode de réalisation qu'on dispose d'éphémérides contrôlées et mémorisées dans la mémoire 16 pour le satellite Si, ou, en d'autres termes, d'éphémérides valides et non obsolètes. Une éphéméride est constituée de données ou mots d'éphéméride, chaque mot 25 d'éphéméride ayant un rang associé. Par exemple, dans un système GPS, il y a 20 mots d'éphéméride définis, de rangs (ou indices) allant de 1 à 20. On note m(i) le mot d'éphéméride de rang i. Le mot d'éphéméride m(i) transmis par un satellite donné à un instant donné a une valeur associée. Les signaux GPS sont émis périodiquement et sont constitués de pages, chaque 30 page étant constituée de sous-trames, chaque sous-trame étant constituée d'un nombre donné de mots, chaque mot étant codé sur un nombre donné de bits, émis à une fréquence donnée. Les mots sont protégés par un code de protection ou code de détection d'erreur, par exemple une parité, permettant de détecter facilement d'éventuelles pertes ou erreur au niveau de la transmission. 35 Les mots d'éphéméride de rangs donnés sont répartis dans diverses sous-trames des signaux GPS. 3045167 12 Dans ce premier mode de réalisation, le procédé comporte une première étape préalable 20 d'obtention d'une valeur de, probabilité de non-détection Pnd, paramètre défini par un opérateur ou en fonction de contraintes de sécurité d'une application visée. Ensuite on met en oeuvre une étape 22 d'obtention et de mémorisation de 5 probabilités pour qu'à un instant donné, un mot d'éphéméride de même rang soit identique pour deux satellites Si et Sj distincts. Soit X(i) l'événement associé au fait que le mot m(i) soit identique dans les éphémérides transmises par deux ou plus de satellites distincts. On dénombre autant d'événements X(i) que de mots d'éphémérides distincts. 10 Dans l'étape préalable 20, on récupère une estimation de la probabilité P(X(i))de chaque événement X(i), ainsi que de l'ensemble des probabilités P nX(i) e A '/ Ac S2GPS les événements X(i) n'étant pas indépendants. De préférence, cette estimation est effectuée à partir de bases de données archivant les éphémérides existantes pour la constellation considérée. 15 Le calcul des probabilités est fait de préférence par un ordinateur autre que le récepteur de géolocalisation 12, et les valeurs des probabilités calculées sont fournies au récepteur et mémorisées par celui-ci. L'estimation a priori des probabilités peut être refaite à tout moment pour prendre en compte toute évolution du système GNSS considéré. 20 Pour le système GPS, dont l'éphéméride est constituée de 20 mots distincts, des calculs sur un long historique d'éphémérides mémorisées ont montré que les probabilités des événements X(i) sont différentes pour des mots d'éphémérides différents. De plus, on estime a priori, par estimation des probabilités conjointes, l'ensemble S2p,id des ensembles A de mots d'éphémérides, désignés par leurs rangs respectifs, pour 25 le système GNSS considéré, permettant d'assurer avec une probabilité de non détection Pnd de valeur donnée, que ces mots ne peuvent pas provenir de multiples satellites. Mathématiquement on écrit : Pnd = tAl A ç X(0) REVENDICATIONS1.- Procédé de validation de synchronisation d'un récepteur de géolocalisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite, ledit récepteur étant apte à recevoir un signal radioélectrique composite comportant une pluralité de signaux de navigation émis chacun par un satellite émetteur faisant partie d'une constellation de satellites, et à mettre en oeuvre une phase d'acquisition de signal de navigation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal de navigation correspondant dans une étape de synchronisation, chaque satellite émetteur transmettant en outre des ensembles d'éphémérides composées d'une pluralité de mots, chacun ayant un rang associé, codant des informations relatives audit satellite émetteur et permettant de calculer une position dudit satellite émetteur dans un référentiel donné, le procédé étant mis en oeuvre par ledit récepteur, caractérisé en ce qu'il comporte : -pour chaque satellite émetteur identifié, mise en oeuvre d'un test de validation, comprenant : -l'extraction (26, 42) de mots d'éphéméride du signal de navigation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal de navigation, -la comparaison (30, 50) d'au moins une partie desdits mots d'éphéméride extraits à au moins un mot d'éphéméride de même rang mémorisé pour ledit satellite émetteur identifié et/ou pour au moins un autre des satellites émetteurs, et, en fonction du résultat de la comparaison, validation ou non (32-34, 52-56) de la synchronisation avec ledit satellite émetteur identifié, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. 2.- Procédé selon la revendication 1, caractérisé en ce qu'il comporte, après l'étape d'extraction, une étape de vérification (28, 44) d'un code de protection associé à un ou plusieurs desdits mots d'éphéméride extraits, et en ce que la comparaison (30, 50) est effectuée sur les mots d'éphéméride extraits pour lesquels la vérification est positive. 3045167 25 3.- Procédé selon l'une des revendications 1 ou 2, caractérisé en ce qu'il comporte, une mémorisation (24) de mots d'éphéméride préalablement validés pour ledit satellite émetteur, et la comparaison (30) d'un mot d'éphéméride reçu avec le mot d'éphéméride mémorisé de même rang pour ledit satellite émetteur. 5 4.- Procédé selon l'une quelconque des revendications 2 ou 3, caractérisé en ce qu'il comporte une étape préalable d'estimation (20, 22) d'une probabilité, pour chaque mot d'éphéméride de l'ensemble d'éphémérides, qu'un mot d'éphéméride, ayant un rang associé et émis par un satellite émetteur donné, ait une même valeur qu'un mot 10 d'éphéméride émis de même rang émis par un autre satellite de la constellation de satellites. 5.- Procédé selon la revendication 4, caractérisé en ce qu'il comporte un calcul (22) d'ensembles de rangs de mots d'éphémérides, chaque dit ensemble de rangs 15 comportant des rangs de mots d'éphémérides permettant une validation du satellite émetteur associé avec une probabilité de non-détection correspondante. 6.- Procédé selon la revendication 5, caractérisé en ce qu'il comporte une étape de mémorisation (22) d'au moins un ensemble d'ensembles de rangs d'éphémérides 20 calculés correspondant à une probabilité de non-détection prédéterminée. 7.- Procédé selon la revendication 6, caractérisé en ce qu'il comporte, en cas de comparaison positive d'un mot d'éphéméride reçu avec un mot d'éphéméride préalablement validé et mémorisé pour ledit satellite émetteur, une validation (34) en 25 fonction de l'appartenance du rang dudit mot d'éphéméride reçu à au moins un desdits ensembles de rangs d'éphémérides calculés. 8.- Procédé selon l'une des revendications 1 ou 2, caractérisé en ce qu'il comporte une comparaison (50) d'un mot d'éphéméride extrait avec un mot d'éphéméride de même 30 rang mémorisé pour ledit satellite émetteur identifié, et avec un mot d'éphéméride de même rang reçu pour chacun d'une pluralité d'autres satellites émetteurs. 9.- Procédé selon la revendication 8, caractérisé en ce que, si le mot d'éphéméride extrait est identique au mot d'éphéméride de même rang mémorisé pour 35 ledit satellite émetteur identifié, et différent de chacun des mots d'éphéméride de même rang reçus pour un autre satellite émetteur, un compteur de validité est incrémenté (54). 3045167 26 10.- Procédé selon la revendication 8, caractérisé en ce que, si le mot d'éphéméride extrait est différent du mot d'éphéméride de même rang mémorisé pour ledit satellite identifié, et identique à au moins un des mots d'éphéméride de même rang 5 reçus pour un autre satellite émetteur, un compteur d'invalidité est incrémenté (54). 11.- Procédé selon l'une des revendications 9 ou 10, caractérisé en ce qu'une validation ou invalidation de la synchronisation est effectuée en fonction de la comparaison (56) du compteur de validité ou du compteur d'invalidité à un nombre de 10 comparaisons à prendre en considération, ledit nombre de comparaisons à prendre en considération étant dépendant de la probabilité de fausse alarme et/ou de la probabilité de non-détection prédéterminées. 12.- Procédé de validation de synchronisation d'un récepteur de géolocalisation 15 avec un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation pour un système de géolocalisation par satellite prédéterminé, ledit signal d'augmentation étant fourni par un fournisseur de services, ledit récepteur étant apte à recevoir une pluralité de signaux d'augmentation en provenance de divers satellites émetteurs associés à au moins un 20 fournisseur de services, et à mettre en oeuvre une phase d'acquisition de signal d'augmentation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal d'augmentation correspondant dans une étape de synchronisation, le procédé étant mis en oeuvre par ledit récepteur, 25 caractérisé en ce qu'il comporte : -pour chaque satellite émetteur identifié, mise en oeuvre d'un test de validation, comprenant : -l'extraction (62) de mots reçus du signal d'augmentation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit 30 signal, -la comparaison (66) d'un mot reçu à au moins un mot reçu de même type reçu pour au moins un autre des satellites émetteurs, et, en fonction du résultat de la comparaison, validation ou non de la synchronisation avec ledit satellite émetteur identifié, dès que les comparaisons 35 effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. 3045167 27 13.- Procédé selon la revendication 12, caractérisé en ce qu'il comporte, après l'étape d'extraction (62), une étape de vérification (64) d'un code de protection associé audit mot reçu extrait du signal d'augmentation, et en ce que la comparaison (66) est 5 effectuée sur les mots reçus extraits pour lesquels la vérification est positive. 14.- Procédé de validation de synchronisation selon l'une des revendications 12 ou 13, caractérisé en ce qu'il comporte, dans le cas où ledit mot reçu extrait associé à un premier satellite émetteur est identique à un mot reçu extrait associé à un deuxième 10 satellite émetteur, une étape de vérification (68) consistant à vérifier si ledit premier satellite et ledit deuxième satellite sont associés à un même fournisseur de services, et en cas de vérification positive, la réception d'un mot contenant des éphémérides pour chacun desdits premier et deuxième satellites et la comparaison (70) des éphémérides reçus à des données d'almanach associées audit fournisseur de services. 15 15.- Procédé de validation de synchronisation selon la revendication 14, caractérisé en ce qu'en cas de vérification (68) négative, il comporte l'incrémentation d'un compteur d'invalidité, et la non validation de la synchronisation (74) lorsque ledit compteur d'invalidité atteint une valeur prédéterminée. 20 16.- Procédé de validation de synchronisation selon l'une des revendications 12 ou 13, caractérisé en ce qu'il comporte, dans le cas où ledit mot reçu extrait associé à un premier satellite émetteur est différent de chacun des mots reçus associés aux autres satellites émetteurs, l'incrémentation (72) d'un compteur de validité, et la validation de la 25 synchronisation (74) lorsque ledit compteur de validité atteint une valeur prédéterminée. 17.- Procédé de validation de synchronisation selon l'une des revendications 15 ou 16, caractérisé en ce que ladite valeur prédéterminée est fonction de ladite probabilité de fausse alarme et/ou de ladite probabilité de non-détection. 30 18.- Récepteur de géolocalisation mettant en oeuvre une synchronisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite, ledit récepteur étant apte à recevoir un signal radioélectrique composite comportant une pluralité de signaux de navigation émis chacun par un satellite émetteur 35 faisant partie d'une constellation de satellites, et à mettre en oeuvre une phase d'acquisition de signal de navigation de chacun des satellites émetteurs, dans laquelle le 3045167 28 récepteur détermine un satellite émetteur d'un signal de navigation correspondant dans une étape de synchronisation, chaque satellite émetteur transmettant en outre des ensembles d'éphémérides composées d'une pluralité de mots, chacun ayant un rang associé, codant des 5 informations relatives audit satellite émetteur et permettant de calculer une position dudit satellite émetteur dans un référentiel donné, caractérisé en ce qu'il comporte des modules de mise en oeuvre d'un test de validation pour chaque satellite émetteur identifié, comprenant : -un module d'extraction de mots d'éphéméride du signal de navigation associé au 10 satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal de navigation, -un module de comparaison d'au moins une partie desdits mots d'éphéméride extraits à au moins un mot d'éphéméride de même rang mémorisé pour ledit satellite émetteur identifié et/ou pour au moins un autre des satellites émetteurs, et 15 - un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. 20 19.- Récepteur de géolocalisation mettant en oeuvre une validation de synchronisation avec un satellite émetteur lors d'une phase d'acquisition d'un signal d'augmentation comprenant des données de correction et d'intégrité de géolocalisation pour un système de géolocalisation par satellite prédéterminé, ledit signal d'augmentation étant fourni un fournisseurs de services, le récepteur étant apte à recevoir une pluralité de 25 signaux d'augmentation en provenance de divers satellites émetteurs associés à au moins un fournisseur de services, et à mettre en oeuvre une phase d'acquisition de signal d'augmentation de chacun des satellites émetteurs, dans laquelle le récepteur détermine un satellite émetteur d'un signal d'augmentation correspondant dans une étape de synchronisation, 30 caractérisé en ce qu'il comporte des modules de mise en oeuvre d'un test de validation pour chaque satellite émetteur identifié, comprenant : - un module d'extraction de mots reçus du signal d'augmentation associé au satellite émetteur identifié dans la phase d'acquisition, au fur et à mesure de la réception dudit signal, 35 - un module de comparaison d'un mot reçu à au moins un mot reçu de même type reçu pour au moins un autre des satellites émetteurs, 3045167 29 et, un module de validation ou non de la synchronisation avec ledit satellite émetteur identifié, en fonction du résultat de la comparaison, dès que les comparaisons effectuées permettent d'atteindre une probabilité de fausse alarme et/ou une probabilité de non-détection prédéterminée. 5