FR 3047567 A1 20170811 FR 1600214 A 20160209 1 Procédé de détection d'une fausse synchronisation d'un récepteur avec un satellite, récepteur et produit programme d'ordinateur associés La présente invention concerne un procédé de détection d'une fausse synchronisation d'un récepteur avec un satellite lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite. Un tel satellite fait partie d'un système global de positionnement par satellites connu également sous le sigle anglais GNSS (pour « Global Navigation Satellite System »). De manière générale, un système GNSS est composé d'une pluralité de satellites permettant à un récepteur mobile de déterminer sa position dans un repère terrestre, sa vitesse et l'heure. 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 GAULE() dont la mise en service est prévue prochainement. Les satellites d'un tel système GNSS sont aptes à émettre des signaux électromagnétiques comprenant notamment une information 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 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 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. Pour déterminer sa position, sa vitesse et l'heure, 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 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. 3047567 2 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 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 5 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 valeur appelée valeur de retard. Puis, le récepteur effectue une recherche d'un pic des corrélations entre le signal 10 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, 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 15 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. À l'issue de la phase d'acquisition, il est considéré que le récepteur s'est synchronisé avec le satellite ou encore s'est « accroché » au satellite. 20 Ceci signifie en particulier que le récepteur a pu trouver les valeurs de Doppler et de retard relatives à ce satellite pour initier la phase de poursuite. 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 distance erronée, et donc potentiellement à un positionnement faux. 25 Dans ce cas, il s'agit d'une fausse synchronisation ou d'un faux « accrochage ». Cela se produit par exemple lorsque la corrélation entre le signal local et le signal reçu du satellite recherché donne moins d'énergie que la corrélation avec le signal reçu d'un autre satellite, à cause d'un écart de puissance reçue élevé. Il existe dans l'état de l'art différentes méthodes permettant d'éviter une telle 30 fausse synchronisation. 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 l'information de navigation et celle calculée à partir de l'almanach, contenant les identifiants des satellites, contrairement aux éphémérides. L'incohérence entre ces 35 valeurs signifie donc une fausse synchronisation. 3047567 3 Toutefois, cette méthode n'est pas complètement satisfaisante. En particulier, elle nécessite de recueillir la totalité des éphémérides contenues dans l'information de navigation ce qui est relativement long. En pratique, cela peut prendre jusqu'à deux minutes. 5 On conçoit alors que cela pénalise le fonctionnement du récepteur, notamment suite à un masquage du satellite, et ne permet pas d'assurer une continuité de service. La présente invention a pour but de remédier à cet inconvénient. À cet effet, l'invention a pour un objet un procédé de détection d'une fausse synchronisation d'un récepteur avec un satellite lors d'une phase d'acquisition d'un signal 10 de navigation issu de ce satellite, le satellite faisant partie d'un système global de positionnement par satellites, le signal de navigation étant de type simple ou de type complexe ; le signal de chaque type comprenant une voie de données comportant une information de navigation modulée par un code d'étalement de données propre à ce satellite et portée par une onde porteuse. Le signal de type complexe comprenant en 15 outre une voie pilote comportant un code d'étalement pilote propre à ce satellite et portée par une onde porteuse ; lors de la phase d'acquisition, le récepteur étant apte à recevoir le signal de navigation émis par le satellite, à générer une image locale du code d'étalement de données et une image locale de l'onde porteuse pour un signal de type simple ou complexe, et à générer en outre une image locale du code d'étalement pilote 20 pour un signal de type complexe. Le procédé est mis en oeuvre après la phase d'acquisition pendant une phase de convergence et comprenant les étapes suivantes : - générer un premier signal de test comprenant l'image locale de l'onde porteuse et un premier code d'étalement de test, et un deuxième signal de test comprenant l'image 25 locale de l'onde porteuse et un deuxième code d'étalement de test ; pour un signal de type simple, le premier et le deuxième codes d'étalement de test étant des codes dont la somme correspond à l'image locale du code d'étalement de données ; pour un signal de type complexe, le premier et le deuxième codes d'étalement de test correspondant aux images locales respectivement du code d'étalement de données et du code d'étalement 30 pilote ; - pour chaque intervalle de corrélation d'une pluralité d'intervalles de corrélation, déterminer un premier corrélateur ponctuel correspondant à la valeur de corrélation entre le signal reçu et le premier signal de test, et un deuxième corrélateur ponctuel correspondant à la valeur de corrélation entre le signal reçu et le deuxième signal de test ; 3047567 4 - déterminer une première et une deuxième valeurs d'énergie correspondant à l'énergie respectivement des premiers et des deuxièmes corrélateurs sur l'ensemble des intervalles de corrélation ; - déterminer un indicateur de fausse synchronisation en fonction de la différence 5 de la première et de la deuxième valeurs d'énergie ; - détecter une fausse synchronisation lorsque l'indicateur de fausse synchronisation est supérieur à un seuil prédéterminé. Suivant d'autres aspects avantageux de l'invention, le procédé de détection comprend une ou plusieurs des caractéristiques suivantes, prise(s) isolément ou suivant 10 toutes les combinaisons techniquement possibles : - l'indicateur de fausse synchronisation est déterminé par l'expression suivante : Ind =1E2 - I E2 où E1 est la première valeur d'énergie ; et E2 est la deuxième valeur d'énergie ; 15 - la première valeur d'énergie correspond à la somme des carrés de normes des premiers corrélateurs sur l'ensemble des intervalles de corrélation, et la deuxième valeur d'énergie correspond à la somme des carrés de normes des deuxième corrélateurs sur l'ensemble des intervalles de corrélation ; - le premier et le deuxième codes d'étalement de test sont décorrélés ; 20 - l'image locale du code d'étalement de données et le premier et le deuxième codes d'étalement de test définissent chacun une période de code formée d'une pluralité chips, chaque chip prenant une valeur d'un état discrétisé parmi un ensemble d'états discrétisés, l'un de ces états, dit état zéro, correspondant à la valeur zéro de ce code ; - pour un signal de type simple, la période du premier code d'étalement de test est 25 formée de chips d'ordre pair de l'image locale du code d'étalement de données, chaque couple desdits chips étant espacé par un chip dont l'état discrétisé correspond à l'état zéro ; et la période du deuxième code d'étalement de test est formée de chips d'ordre impair de l'image locale du code d'étalement de données, chaque couple desdits chips étant espacé par un chip dont l'état discrétisé correspond à l'état zéro ; et 30 - pour un signal de type simple, la première moitié de la période du premier code d'étalement de test est formée de chips correspondant de l'image locale du code d'étalement de données, et la deuxième moitié est formée de chips dont l'état discrétisé correspond à l'état zéro et la première moitié de la période du deuxième code d'étalement de test est formée de chips dont l'état discrétisé correspond à l'état zéro, et la deuxième 3047567 5 moitié est formée de chips correspondant de l'image locale du code d'étalement de données. L'invention a également pour objet un produit programme d'ordinateur comportant des instructions logicielles qui, lorsque mises en oeuvre par un équipement informatique, 5 mettent en oeuvre un procédé tel que défini ci-dessus. L'invention a également pour objet un récepteur mettant en oeuvre le précédé tel que défini précédemment. Ces caractéristiques et avantages de l'invention apparaitront à la lecture de la description qui va suivre, donnée uniquement à titre d'exemple non limitatif, et faite en 10 référence aux dessins annexés, sur lesquels : - la figure 1 est une vue schématique d'un système global de positionnement par satellites et d'un récepteur selon l'invention ; - la figure 2 est une vue schématique d'une fonction d'autocorrélation utilisée lors du fonctionnement du système de la figure 1 ; 15 - la figure 3 est une vue schématique d'une fonction d'inter-corrélation utilisée lors du fonctionnement du système de la figure 1 ; - la figure 4 est une vue détaillée du récepteur de la figure 1 ; - la figure 5 est un organigramme d'un procédé de détection mis en oeuvre par le récepteur de la figure 4 ; 20 - les figures 6 et 7 sont des vues schématiques illustrant des codes d'étalement utilisés lors de la mise en oeuvre du procédé de la figure 5 pour un signal de type simple ; et - les figures 8 et 9 sont des vues schématiques illustrant des codes d'étalement utilisés lors de la mise en oeuvre du procédé de la figure 5 pour un signal de type 25 complexe. Dans la suite de la description, l'expression « sensiblement égal à » s'entend comme une relation d'égalité à plus ou moins 10 %. On a en effet représenté sur la figure 1, un système global 10 de positionnement par satellites du type GNSS (de l'anglais « Global Navigation Satellite System »). 30 En référence à cette figure 1, le système de positionnement 10 comporte une pluralité de satellites Satn disposés sur des orbites différentes autour de la Terre pour laquelle le système de positionnement 10 est mis en place. Le nombre total des satellites Satn est par exemple égal à 30. L'indice n correspond à un identifiant de chaque satellite Satn et varie par exemple 35 entre 1 et 30. 3047567 6 Chaque satellite Satn est apte à émettre des signaux électromagnétiques S vers une partie de la surface terrestre 14 qu'il est en train de survoler. En particulier, les satellites Satn sont disposés de telle sorte qu'au moins quatre satellites Satn sont aptes à émettre des signaux électromagnétiques de navigation S vers 5 sensiblement chaque point de la surface terrestre 14. La position courante de chaque satellite Satn est caractérisée par les éphémérides relatives à ce satellite ou par l'almanach de celui-ci. Comme cela est connu en soi, les éphémérides permettent de déterminer la position exacte du satellite Satn alors que l'almanach donne une position grossière. 10 Chaque signal S émis par chacun des satellites Satn comprend une voie de données comportant une information de navigation. En particulier, un tel signal S comprend une information de navigation modulée par un code d'étalement de données Ce (0) propre au satellite Satn ayant émis ce signal. L'information de navigation modulée est portée par une onde porteuse 15 exp(-j0p) selon une technique connue en soi. Un signal S comprenant uniquement une voie de données est désigné par la suite par le terme « signal de type simple ». Le signal S émis par au moins certains des satellites Satn comprend en outre une voie pilote comportant un code d'étalement pilote C/,;, (Oc) propre au satellite Satn ayant 20 émis ce signal. Un tel signal S comprenant en outre une voie pilote est désigné par la suite par le terme « signal de type complexe ». Chaque information de navigation comprend notamment le temps d'émission du signal correspondant, les éphémérides et l'almanach du satellite Satn au moment de 25 l'émission du signal S. Chaque code d'étalement de données C,d, (Oc) ou pilote C77.:(0) présente un code binaire du type pseudo-aléatoire, connu également dans l'état de l'art sous le sigle anglais PRN (pour « Pseudo Random Noise »). Chaque code d'étalement de données Ce (4) ou pilote C(/),) est un code 30 périodique avec une période de code dénotée 1,, et exprimée en un nombre entier d'unités de référence. L'unité de référence est par exemple un chip dont la durée est dénotée Tchip et exprimée en secondes. On entend par « chip », une unité de référence correspondant à un créneau d'un 35 code du type pseudo-aléatoire. 3047567 7 Chaque chip prend une valeur d'un état discrétisé parmi un ensemble d'états discrétisés, l'un de ces états, dit état zéro, correspondant à la valeur zéro de ce code. Les codes d'étalement de données ceoc) ou pilote CC(4c) sont caractérisés par ses fonctions d'autocorrélation Rn,n déterminées respectivement par les formules 5 suivantes : L, 1 R','(r) = - (u) ce (, + r)du, Lc Lc 1 R',' (r) = - f Cn (u) Cn (u + z) du. Notamment, dans le point r = 0, dit point de référence, la fonction d'autocorrélation Rnn prend sa valeur maximale Vmax. Pour T -Tcnip et Tchip, la fonction d'autocorrélation Rn,n prend des valeurs V très petites devant Vmax, c'est-à-dire, V Vmax. 10 Un exemple d'une telle fonction d'autocorrélation Rn,, d'un code d'étalement de données Ce((/),) est illustré schématiquement sur la figure 2. Les codes d'étalement de données 0(0,) ou pilote Clâtpc) correspondant aux satellites Satn différents, sont quasi-perpendiculaires. Autrement dit, la fonction d'inter-corrélation Rn,i entre chaque couple de codes d'étalement différents Ce (&) et Cf/(0c) ou 15 CiP, (Oc) et Cr(cpc) prend des valeurs V négligeables devant Vmax, les fonction d'inter- corrélation Rn J pour ces codes étant déterminées respectivement par les formules suivantes : Lc 1 Rn jet) = - f Cd (u) Cd (u + r)du ,Lc o n L, 1 = f Cln:(u) (u + z)du o Un exemple d'une telle fonction d'inter-corrélation Rmi pour des codes d'étalement de données ce (oc) différents est illustré schématiquement sur la figure 3. 20 Chaque code d'étalement de données Ce(pc) permet de moduler l'information de navigation émise par le satellite Satn. Lorsqu'un satellite Satn émet uniquement des signaux de type simple, ces signaux sont démodulés en utilisant une image locale Ce(cpc1') du code d'étalement de données Ce (Oc) correspondant à ce satellite. 3047567 8 Lorsqu'un satellite Satn émet des signaux de type complexe, chacun des deux signaux est démodulé en utilisant un code d'étalement qui est l'image locale C7/(0,1') du code d'étalement de données Ce (0) ou l'image localeC,P, (0,/') du code d'étalement pilote Cf, (Oc) correspondant à ce satellite. 5 Ces signaux sont démodulés selon différentes techniques d'émission des signaux de type complexe connues en soi. Ainsi, par exemple, selon la technique connue sous le terme « Multiplexage TDMA » (de l'anglais « Time Division Multiple Access » ou « accès multiple à répartition dans le temps » en français), les chips d'ordre impair du code d'étalement composite 10 correspondent au code d'étalement de données Ce (0,) correspondant, et les chips d'ordre pair du code d'étalement composite correspondent au code d'étalement pilote CnP (Oc) correspondant. Selon la technique connue sous le terme « Multiplexage CDMA » (de l'anglais « Code Division Multiple Access » ou « accès multiple à répartition en code » en français), 15 chaque signal complexe est transmis via deux ondes porteuses à la même fréquence et de manière synchrone. Dans ce cas, le code d'étalement composite correspond à la somme des codes d'étalement de données Ce (Oc) et pilote Cf, (Oc) correspondants. Selon l'exemple de réalisation décrit ci-après, le système de positionnement 10 est le système GPS (de l'anglais « Global Positioning System »). 20 Bien entendu, d'autres exemples de réalisation sont également possibles. Les signaux S émis au moins par certains des satellites Satn sont reçus par un récepteur 20. Le récepteur 20 est par exemple un dispositif électronique portable. Le récepteur 20 est apte par exemple à se déplacer sur la surface terrestre 14 ou 25 à la proximité de celle-ci avec une vitesse variable. Le récepteur 20 est apte à recevoir des signaux S issus des satellites Satn, et à extraire de ces signaux S les informations de navigation pour déduire sa position courante, sa vitesse courante et l'heure comme ceci sera expliqué par la suite. Le récepteur 20 est illustré plus en détail sur la figure 4. 30 Ainsi, en référence à cette figure 4, le récepteur 20 comporte une antenne 22, un module d'acquisition 24, un module de poursuite 26, un module de détection 28 selon l'invention, un module de commande 30 et des ressources matérielles. Les modules 24, 26, 28 et 30 se présentent par exemple sous la forme des logiciels qui sont mis en oeuvre par les ressources matérielles prévues à cet effet, telles 35 qu'un processeur, une mémoire vive, une mémoire morte, etc. Les ressources matérielles sont par exemple alimentées par une batterie. 3047567 9 En particulier, la mémoire morte du récepteur 20 est apte à stocker des images des codes d'étalement de données Cetpc) et éventuellement pilote dr:(0,) de chaque satellite Satn. L'antenne 22 est apte à recevoir des signaux Sr électromagnétiques 5 correspondant aux signaux S émis par les satellites Satn lorsque ceux-ci se trouvent dans un domaine de sa visibilité. Le module de commande 30 est apte à piloter le fonctionnement des modules 24, 26 et 28. Le module d'acquisition 24 est apte à mettre en oeuvre une phase d'acquisition 10 des signaux Sr selon des techniques connues en soi. Le module de poursuite 26 est apte à mettre en oeuvre une phase de poursuite des signaux Sr selon des techniques connues en soi. Finalement, le module de détection 28 est apte à mettre en oeuvre une phase de convergence, transitoire entre la phase d'acquisition et la phase de poursuite. La phase 15 de convergence comprend notamment un procédé 100 de détection d'une fausse synchronisation selon l'invention. Ce procédé sera décrit en détail par la suite. Le fonctionnement du récepteur 20 va désormais être expliqué. À chaque démarrage du récepteur 20, le module de commande 30 initie une pluralité de canaux d'acquisition pour l'ensemble des satellites Satn. Chacun de ces 20 canaux permet d'acquérir l'information de navigation issue du satellite Satn auquel il est associée, lorsque ce satellite Satn est dans le domaine de visibilité de l'antenne 22. Le fonctionnement du récepteur 20 sur chaque canal d'acquisition est sensiblement analogue. Ainsi, seul le fonctionnement du récepteur 20 sur un canal sera expliqué ci-après. 25 Ce canal est associé par exemple au satellite Satn, dit par la suite satellite recherché. Il est supposé en outre que le satellite Satn est situé dans le domaine de visibilité de l'antenne 22 et que ce satellite est apte à émettre des signaux de type simple et de type complexe. Pour un signal de type simple, le récepteur 20 génère un signal local de données 30 Sidoc comportant une onde porteuse locale exp(-icbploc et un code d'étalement local de J données C(Oc1') correspondant à une image locale du code d'étalement de données Cicil(&) du satellite recherché. Le signal local de données Sidoc en fonction du temps t s'écrit alors sous la forme suivante : Sîloc (t) = exP (-ickpioc (0) (Ocloc(t)), 3047567 10 avec j2 = -1. Pour un signal de type complexe, le récepteur 20 génère en outre un signal local pilote Sr' comportant une onde porteuse locale exp(-jeppi') et un code d'étalement local pilote Ci:(0,1') correspondant à une image locale du code d'étalement de pilote 5 Cf, (Oc) du satellite recherché. Puis, le module de commande 30 lance l'exécution de la phase d'acquisition qui est alors mise en oeuvre par le module d'acquisition 24. En particulier, lors de la phase d'acquisition, le module d'acquisition 24 détermine une valeur de Doppler et une valeur de retard du signal reçu Sr par rapport au signal local 10 de données Sid' ou pilote S. La valeur de Doppler correspond au décalage en fréquence de l'onde porteuse locale exp(-jd)ploc )par rapport à l'onde porteuse exp(-jcpp) du signal Sr reçu. Dans l'exemple décrit, pour un signal de type simple, la valeur de retard correspond au retard du code d'étalement de données cecpc) de ce signal reçu par 15 rapport au code d'étalement local de données Ce(cpct'). Pour un signal de type complexe, la valeur de retard correspond au retard du code d'étalement pilote d: (0c) de ce signal reçu par rapport au code d'étalement local pilote cf,(ocioc) Dans les deux cas, les valeurs de retard sont déterminées selon des techniques 20 connues qui comprennent notamment le calcul de corrélations de trois types. Un premier type de corrélations, dit ponctuel, consiste à calculer des corrélations entre le signal reçu Sr et le signal local de données Sid' ou pilote S. Un deuxième type de corrélations, dit d'avance, consiste à calculer des corrélations entre le signal reçu Sr et un signal correspondant au signal local de données 25 se,, ou pilote Sr' dans lequel le code d'étalement local Ce(0,10, + d) ou Cl: (Ocioc + d) est décalé en avance d'une valeur d comprise entre 0 et Tchip. Un troisième type de corrélations, dit de retard, consiste à calculer des corrélations entre le signal reçu Sr et un signal correspondant au signal local de données Sici' ou pilote Sr' dans lequel le code d'étalement local Ce (0,1' - d) ou C,P, (d),-ctoc d) est décalé en 30 retard de la même valeur d. À l'issue de la phase d'acquisition, le récepteur 20 synchronise le signal local de données Sid' ou pilote Sr' avec le signal S émis par le satellite Satn recherché en utilisant les valeurs de Doppler et de retard déterminées. 3047567 11 Puis, le module de commande 30 lance l'exécution de la phase de convergence et notamment du procédé de détection 100 d'une fausse synchronisation. Ce procédé est notamment mis en oeuvre par le module de détection 28. La phase de convergence réalise un asservissement de la valeur de retard du 5 code d'étalement local Cecpc1') ou Clâtp,1') et de la valeur de Doppler de l'onde porteuse locale exp(- je.pi'), sur le signal reçu Sr, grâce à des boucles de poursuite de code et de porteuse, grâce notamment aux trois types de corrélation précités. Cette phase transitoire permet de faire coïncider précisément le code d'étalement local Ce0c10c) ou C(0c1oc) et l'onde porteuse locale exP(7i0pioc) avec le code 10 d'étalement Ce (&) ou g (o) et l'onde porteuse exp(-jcbp) du signal satellite reçu Sr. En outre, le procédé de détection 100 mis en oeuvre pendant cette phase permet de détecter une fausse synchronisation du canal d'acquisition correspondant avec un satellite Satp autre que le satellite recherché Satn. En particulier, le procédé de détection 100 permet de détecter éventuellement une 15 fausse synchronisation à valeur de Doppler non-nulle en déterminant l'incohérence entre la fréquence du code d'étalement local CeOcu,c) ou Cf, (0,10) et la fréquence de la porteuse locale exp(-jOpioc). Si une telle fausse synchronisation n'est pas détectée, le procédé de détection 100 permet de détecter une fausse synchronisation à valeur de Doppler nulle comme ceci 20 sera expliqué par la suite. Notamment, lors d'une fausse synchronisation, les valeurs de Doppler et de retard déterminées par le module d'acquisition 24, correspondent au signal S émis par un satellite Satp autre que le satellite Satn recherché. On conçoit alors que dans ce cas, les signaux Sido, ou SIL. et S ne peuvent pas être 25 synchronisés correctement. Il s'agit donc d'une fausse synchronisation et d'un faux accrochage. Lorsque le module de détection 28 détecte une fausse synchronisation, le module de commande 30 lance à nouveau la phase d'acquisition. Lorsque le module de détection 28 ne détecte pas de fausse synchronisation, le 30 module de commande 30 lance la phase de poursuite qui est alors mise en oeuvre par le module de poursuite 26. En particulier, lors de la phase de poursuite, le module de poursuite 26 met à jour régulièrement les valeurs de Doppler et de retard ce qui lui permet de démoduler le signal reçu Sr et d'en extraire l'information de navigation correspondante. Il transmet par la suite 35 cette information au module de commande 30. 3047567 12 Finalement, le module de commande 30 consolide l'ensemble des informations acquises par l'ensemble des voies d'acquisition et en déduit la position du récepteur 20, sa vitesse et l'heure. Le procédé de détection d'une fausse synchronisation va désormais être expliqué 5 en détail en référence à la figure 5 présentant un organigramme de ses étapes. Lors de l'étape 110 initiale, le module de détection 28 génère un premier signal de test Sî., et un deuxième signal de test S. Le premier signal de test Sî., comprend l'onde porteuse locale exp(-id5 r ploc) et un premier code d'étalement de test Cili(Ocio,), et est déterminé selon la relation suivante : ST t) = exp (- iOptoc (0) . Crii(Ocioc (0). 10 Le deuxième signal de test S;- comprend l'onde porteuse locale exp(-jOpioc) et un deuxième code d'étalement de test C71(0c1'), et est déterminé selon la relation suivante : Sî, (t) = exp (- ido () .? (dr (t)1 r ploct .) - - C cloc j- Lorsque le signal reçu Sr est de type simple, le premier et le deuxième codes d'étalement de test sont des codes décorrélés dont la somme correspond au code d'étalement local de données Ce(010), c'est-à-dire : C71/ (Octoc) + C/2/ (Octoc) - (Ocioc)- 15 Selon une variante de réalisation, la période L, du premier code d'étalement de test Cili(0,10c) est formée de chips d'ordre pair du code d'étalement local de données cn (ocloc), correspond à l'état zéro. Selon la même variante de réalisation, la période L, du deuxième code 20 d'étalement de test CTÎ(Oc10c) est formée de chips d'ordre impair du code d'étalement local de données C(/),10c), chaque couple desdits chips étant espacé par un chip dont l'état discrétisé correspond à l'état zéro. Un exemple de ces trois codes d'étalement Gli(Oc1,c), C,Î(Oc10c), Ce(Oc10c) est illustré sur la figure 6. 25 Selon une autre variante de réalisation, la première moitié de la période L, du premier code d'étalement de test C'71-(e.cioc) est formée de chips correspondant du code d'étalement local de données Cid, (Ocioc), et la deuxième moitié est formée de chips dont l'état discrétisé correspond à l'état zéro. Selon la même variante de réalisation, la première moitié de la période L, du 30 deuxième code d'étalement de test Cil (0,10c) est formée de chips dont l'état discrétisé chaque couple desdits chips étant espacé par un chip dont l'état discrétisé 3047567 13 correspond à l'état zéro, et la deuxième moitié est formée de chips correspondant du code d'étalement local de données Ce (0,1'). Un exemple des trois codes d'étalement Cil(0,1'), Cil(0,1'), Cn (0,1') selon cette variante de réalisation est illustré sur la figure 7. 5 Lorsque le signal reçu Sr est de type complexe, le premier et le deuxième codes d'étalement de test C71,-(0,1'), Cr1((kcloc) correspondent aux codes d'étalement locaux respectivement de données Ce(Och,c) et pilote Cin3:(0,1'). La figure 8 illustre un exemple des codes d'étalement de test Cil(Ocioc), (0c10c) et d'un code d'étalement composite Ci.,(0c10c) correspondant à la somme de ces codes 10 pour un signal de type complexe transmis selon la technique TDMA. La figure 9 illustre un exemple des codes d'étalement de test C71(0,/'), C,î(cpc1') et d'un code d'étalement composite er,(0,10) correspondant à la somme de ces codes pour un signal de type complexe transmis selon la technique CDMA. Les étapes 115 et 120 suivantes sont mises en oeuvre de manière parallèle, 15 pendant la phase de convergence. Les étapes 135, 140, 150 et 160 sont mises en oeuvre de manière consécutive à la fin de la phase de convergence. Lors de l'étape 115, le module de détection 28 détermine une pluralité d'intervalles de corrélation. Chaque intervalle de corrélation est identifié par la suite par l'indice k variant entre 20 1 et Kmax, Kmax étant le nombre total d'intervalles de corrélation sur la durée de la phase de convergence. Les intervalles de corrélation ont par exemple sensiblement la même durée T qui est égale par exemple à 20 ms. Lors de l'étape 120, pour chaque intervalle de corrélation k, le module de détection 25 28 détermine un premier corrélateur ponctuel 4(k) et un deuxième corrélateur ponctuel n(k). En particulier, le premier corrélateur ponctuel n(k) correspond à la valeur de corrélation entre le signal reçu Sr et le premier signal de test SI, dans l'intervalle de corrélation k, cette valeur de corrélation est déterminée par la formule suivante : (k+1)T 4-,(k) = f Sr(t)S,T(t)dt. kT 30 Le deuxième corrélateur ponctuel n(k) correspond à la valeur de corrélation entre le signal reçu Sr et le deuxième signal de test S?, dans l'intervalle de corrélation k, cette valeur de corrélation est déterminée par la formule suivante : 3047567 14 (k+1)T n(k) = Sr(t)Sî(t)dt. kT Lors de l'étape 135 mise en oeuvre à la fin de la phase de convergence, le module de détection 28 détermine s'il s'agit d'une fausse synchronisation à valeur de Doppler non-nulle. Pour ce faire, le module de détection 28 détermine une valeur d'incohérence Vi' 5 entre la fréquence du code d'étalement local de données Cid, (cpc10) ou pilote C7P, (0,/') et la fréquence de la porteuse locale exp(-j4o ploc)- La valeur d'incohérence Vi' est déterminée par l'expression suivante : Fcloc Fploc Vin c =CrFcnoin FPnome où F'doc = (Ocloc(t + Octoc(t))/At est la fréquence du code d'étalement local ; 10 Fpwc = (07,10c(t + At) - Oploc (0) /2 TC/ At est la fréquence de la porteuse locale; Fcnom et Fpnom sont des valeurs nominales prédéterminées respectivement de la fréquence du code d'étalement local de données Ce(cpci') ou pilote C,P,(cpcioc) et de la fréquence de la porteuse locale exp('-i(kploc) ; et c est la vitesse de la lumière. 15 Dans l'exemple de réalisation décrit, correspondant au signal GPS L1 C/A, les valeurs nominales Fcnom et Fpnom sont choisies comme suit : Fcnom = 1,023 MHz, Fpnom = 1575,42 MHz. Puis, le module de détection 28 compare la valeur d'incohérence Vinc avec un seuil d'incohérence prédéterminé. Lorsque la valeur d'incohérence est supérieur au seuil d'incohérence, le module 20 de détection 28 détermine qu'il s'agit d'une fausse synchronisation à valeur de Doppler non-nulle. Dans ce cas, le module de commande 30 lance à nouveau la phase d'acquisition. Dans le cas contraire, le module de détection 28 détermine s'il s'agit d'une fausse synchronisation à valeur de Doppler nulle, grâce aux étapes suivantes. 25 En particulier, lors de l'étape 140, le module de détection 28 détermine un indicateur Ind de fausse synchronisation en fonction des corrélateurs déterminés. Lors de l'étape 140 suivante, le module de détection 28 détermine une première et une deuxième valeurs d'énergie E1 et E2 correspondant à l'énergie respectivement des 3047567 15 premiers et des deuxièmes corrélateurs 4(k) et Z120(k) sur l'ensemble des intervalles de corrélation. Les valeurs d'énergie El et E2 sont déterminées en utilisant les formules suivantes : E1 = iln(k)112 E1= IIZ I2) (k)II2 , k=1,.-,Kmax k=1,...,Krnax 5 où la notation 11*11 signifie une norme. Lors de l'étape 150 suivante, le module de détection 28 détermine un indicateur Ind de fausse synchronisation en fonction de la différence de la première et de la deuxième valeurs d'énergie E1 et E2, en utilisant la formule suivante : Ind 1E2 - E11 E2 Lors de l'étape 160 suivante, le module de détection compare l'indicateur Ind avec 10 un seuil prédéterminé E et détecte une fausse synchronisation lorsque cet indicateur Ind est supérieur au seuil E. Dans ce cas, le module de commande 30 lance à nouveau la phase d'acquisition. Dans le cas contraire, le module de détection 28 détermine qu'il ne s'agit pas d'une fausse synchronisation et le module de commande 30 lance la phase de poursuite. 15 On conçoit alors que la présente invention présente un certain nombre d'avantages. Ainsi, le procédé selon l'invention permet de détecter une fausse synchronisation très rapidement, juste après la phase d'acquisition. Ceci permet alors d'éviter la nécessité d'acquisition des éphémérides contenues 20 dans l'information de navigation et de diminuer ainsi le temps de détection d'une fausse synchronisation. L'utilisation du procédé est particulièrement avantageuse lors des masquages des satellites car le procédé permet d'assurer la continuité de service. L'avantage particulier de l'invention réside dans le fait que pour détecter une 25 fausse synchronisation, il n'est pas nécessaire de connaitre la forme particulière des codes d'étalement utilisés par les satellites. En effet, le procédé de détection peut être appliqué à tout type de code d'étalement sans qu'une adaptation particulière soit nécessaire. Bien entendu, de nombreux autres exemples de réalisation de l'invention sont 30 également possibles. REVENDICATIONS1.- Procédé (100) de détection d'une fausse synchronisation d'un récepteur (20) avec un satellite (Satu) lors d'une phase d'acquisition d'un signal de navigation issu de ce satellite (Satu), le satellite (Satu) faisant partie d'un système (10) global de positionnement par satellites, le signal de navigation étant de type simple ou de type complexe ; le signal de chaque type comprenant une voie de données comportant une information de navigation modulée par un code d'étalement de données (C'e((pc)) propre à ce satellite (Satu) et portée par une onde porteuse (exp(-j0p)); le signal de type complexe comprenant en outre une voie pilote comportant un code d'étalement pilote (Cf;(0,)) propre à ce satellite (Satu) et portée par une onde porteuse (exp(-jcpp)) ; lors de la phase d'acquisition, le récepteur (20) étant apte à recevoir le signal de navigation émis par le satellite (Satu), à générer une image locale du code d'étalement de données (C'e(pc1')) et une image locale de l'onde porteuse (exp(-iffiploc j 1) pour un signal r de type simple ou complexe, et à générer en outre une image locale du code d'étalement pilote (C17.:(0,1')) pour un signal de type complexe ; le procédé (100) étant mis en oeuvre après la phase d'acquisition pendant une phase de convergence et comprenant les étapes suivantes : - générer (110) un premier signal de test (ST) comprenant l'image locale de l'onde porteuse (exp(-icb 1 et un premier code d'étalement es J ploc .1 t i d d'étl t de test cloc)), et un deuxième signal de test (ST) comprenant l'image locale de l'onde porteuse (exp(-jOninc)) et un deuxième code d'étalement de test pour un signal de type simple, le premier et le deuxième codes d'étalement de test (Crii (Ocioc), Ciï((pck,c)) étant des codes dont la somme correspond à l'image locale du code d'étalement de données (Ce(Oc10c)) ; pour un signal de type complexe, le premier et le deuxième codes d'étalement de test1(d1 2( 'Cn'-rc/oci, Cn^CPc/oc)) correspondant aux images locales respectivement du code d'étalement de données (C'e(Oc10c)) et du code d'étalement pilote (0a0c)) ; - pour chaque intervalle de corrélation (k) d'une pluralité d'intervalles de corrélation, déterminer (120) un premier corrélateur ponctuel (4(k)) correspondant à la valeur de corrélation entre le signal reçu (Sr) et le premier signal de test (ST), et un deuxième corrélateur ponctuel (4(k)) correspondant à la valeur de corrélation entre le signal reçu (Sr) et le deuxième signal de test (ST) ; (crî (Ocioc)) ; 3047567 17 - déterminer (140) une première et une deuxième valeurs d'énergie (El, E2) correspondant à l'énergie respectivement des premiers et des deuxièmes corrélateurs (n (k), 4(k)) sur l'ensemble des intervalles de corrélation ; - déterminer (150) un indicateur de fausse synchronisation (Ind) en fonction de la différence de la première et de la deuxième valeurs d'énergie (E1,E2) ; - détecter (160) une fausse synchronisation lorsque l'indicateur de fausse synchronisation (Ind) est supérieur à un seuil prédéterminé (E). 2.- Procédé (100) selon la revendication 1, dans lequel l'indicateur de fausse 10 synchronisation (Ind) est déterminé par l'expression suivante : 1 Ind =E2 - où E1 est la première valeur d'énergie ; et E2 est la deuxième valeur d'énergie. 15 3.- Procédé (100) selon la revendication 1 ou 2, dans lequel la première valeur d'énergie (E1) correspond à la somme des carrés de normes des premiers corrélateurs (4(k)) sur l'ensemble des intervalles de corrélation, et la deuxième valeur d'énergie (E2) correspond à la somme des carrés de normes des deuxième corrélateurs (4(k)) sur l'ensemble des intervalles de corrélation. 20 4.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel le premier et le deuxième codes d'étalement de test (CTI(Ocloc), (0,10 )) sont décorrélés. 25 5.- Procédé (100) selon l'une quelconque des revendications précédentes, dans lequel l'image locale du code d'étalement de données (C(45c10c)) et le premier et le deuxième codes d'étalement de test (C71(4),10 ), c,;,(0,10 )) définissent chacun une période de code (Le) formée d'une pluralité chips, chaque chip prenant une valeur d'un état discrétisé parmi un ensemble d'états discrétisés, l'un de ces états, dit état zéro, 30 correspondant à la valeur zéro de ce code. 6.- Procédé (100) selon la revendication 5, dans lequel, pour un signal de type simple : E2 3047567 18 - la période (Le) du premier code d'étalement de test (C',1(cpc10)) est formée de chips d'ordre pair de l'image locale du code d'étalement de données (C(0,1')), chaque couple desdits chips étant espacé par un chip dont l'état discrétisé correspond à l'état zéro ; et 5 - la période (Le) du deuxième code d'étalement de test (C1(0,1')) est formée de chips d'ordre impair de l'image locale du code d'étalement de données (C,c1 (45c10c)), chaque couple desdits chips étant espacé par un chip dont l'état discrétisé correspond à l'état zéro. 10 7.- Procédé (100) selon la revendication 5, dans lequel, pour un signal de type simple : - la première moitié de la période du premier code d'étalement de test (Crl,(0c10c)) est formée de chips correspondant de l'image locale du code d'étalement de données (C,c (0,10)), et la deuxième moitié est formée de chips dont l'état discrétisé correspond à 15 l'état zéro ; - la première moitié de la période du deuxième code d'étalement de test (Ocioc)) est formée de chips dont l'état discrétisé correspond à l'état zéro, et la deuxième moitié est formée de chips correspondant de l'image locale du code d'étalement de données (C(Odoc)). 20 8.- Produit programme d'ordinateur comportant des instructions logicielles qui, lorsque mises en oeuvre par un équipement informatique, mettent en oeuvre le procédé (100) selon l'une quelconque des revendications précédentes. 25 9.- Récepteur (20) mettant en oeuvre le procédé selon l'une quelconque des revendications 1 à 7.