FR 2859025 A1 20050225 FR 0310093 A 20030822 PROCEDE DE VALIDATION DE LA DETECTION D'UN PIC DE CORRELATION PAR UN RECEPTEUR DE SYSTEME DE POSITIONNEMENT PAR SATELLITE La présente invention concerne un procédé de validation de la 5 détection d'un pic de corrélation par un récepteur de système de positionnement par satellite. Dans un système de positionnement par satellite utilisant des récepteurs du type RNSS (Radio Navigation Satellite System) tels qu'un récepteur GPS (Global Positioning System) ou GLONASS, les signaux de données permettant de calculer le positionnement du récepteur proviennent de différents satellites (quatre au minimum pour déterminer quatre inconnues x, y, z et t). Le signal GPS émis par chacun des satellites est basé sur une technique de spectre étalé. Ainsi, le signal est un signal de données binaires modulé par un signal étalé spectralement selon un procédé d'accès multiple à répartition par code COMA (Code Division Multiple Access). Autrement dit, chaque bit du signal de données est remplacé par une séquence d'étalement propre à chaque satellite. Les données sont transmises en mode série à 50 bits/s (50bits/s soit 0.02 s/bit). Une séquence d'étalement tel qu'une séquence pseudo aléatoire de type Gold est transmise à un rythme beaucoup plus élevé : une séquence de Gold peut être considérée comme une suite de bits, parcourue avec une période d'horloge bien définie; l'expression appelée moment de code ou plus fréquemment chip désigne un bit de la séquence et, par extension, la durée d'un tel bit. La séquence d'étalement est ainsi transmise à un rythme de 1,023 Mchips/s (un chip dure donc environ1 ts) et comporte 1023 chips (soit une durée de 1 ms) : il y a donc 20 répétitions de séquences par bit de données. La modulation par le signal étalé spectralement entraîne qu'un démodulateur normal verra le signal de réception comme du bruit. D:\DOCUME' 1\hedarchs\LOCALS 1\Temp\C. DATA. CON FIG. NOTES\projetbr4.doc De manière générale, la fonction de corrélation f(r) de deux signaux fi(t) et fj(t) est donnée par la relation: f (T) = f f (t).fj(t T).dt, où désigne un temps variable. Bien entendu, dans la pratique, l'intégration ne se fait pas de -cc à +co niais sur une période de temps finie, en divisant l'intégrale par la durée de ladite période. On parlera de fonction d'autocorrélation lorsque les fonctions f;(t) et fi(t) sont identiques et de fonction d'intercorrélation lorsque les fonctions fi(t) et fj(t) sont distinctes. Chaque satellite k possède son propre signal pseudo-aléatoire Ck(t). Chacun de ces signaux pseudo-aléatoires possède la propriété suivante: sa 10 fonction d'autocorrélation est nulle sauf au voisinage du décalage temporel nul où elle prend une allure triangulaire; autrement dit, l'intégrale f ck(t).ck(t T).dt est nulle lorsque i est non nul et est maximale +O lorsque est nul. En outre, les signaux associés chacun à un satellite différent sont 15 choisis de sorte que leur fonction d'intercorrélation soit nulle; autrement dit, l'intégrale f ck(t).ck,(t T).dt est nulle quel que soit lorsque k et k' sont différents. Les signaux étalés spectralement des satellites sont donc choisis de façon à être orthogonaux. Lorsque le récepteur cherche à acquérir les données d'un satellite particulier, le récepteur corrèle le signal reçu avec une réplique de la séquence pseudo-aléatoire du satellite recherché (la séquence du satellite lui est attribuée une fois pour toute et ne change durant toute la vie du satellite). Ainsi, le signal reçu S(t) est la somme de l'ensemble des signaux transmis par chaque satellite: S(t) _ ck (t).dk (t) , où n est le nombre de k=1 satellites, ck(t) désigne le signal étalé spectralement du satellite k et dk(t) désigne les données du satellite k. D: \DOCU M E' 1\heda rchs\LOCA LS' 1\Temp\C. DATA. CO N FIG. N OTES\projetbr4. doc Si on cherche à acquérir les données du satellite m, la réplique locale correspondra au signal cm(t). Ainsi, après corrélation et en supposant que les signaux d'étalement sont parfaitement orthogonaux, on élimine toutes les données des satellites non recherchés (les fonctions d'intercorrélation sont nulles) pour retrouver uniquement les données du satellite m. La corrélation est possible car la durée d'une séquence d'étalement est vingt fois plus petite que la durée d'un bit de données. La phase d'acquisition du signal consiste à calculer la corrélation du signal reçu avec la réplique locale du code satellite recherché et ce, sur un domaine temporel équivalent à la périodicité du code soit 1 ms, avec une profondeur (borne de l'intégrale) dépendant de la performance de détection que l'on veut atteindre. Toutefois, la mise en oeuvre d'une telle solution pose certaines difficultés. Ainsi, dans la pratique, les signaux étalés spectralement des satellites ne sont jamais parfaitement orthogonaux. Dès lors, les fonctions d'intercorrélation font apparaître des pics de corrélation. Ces pics de corrélation sont généralement plus faibles de -24 dB par rapport au pic d'autocorrélation. Cependant, lorsqu'un satellite non recherché présente une forte puissance d'émission (de l'ordre de 24 dB au dessus de celle du satellite recherché), il se peut qu'un pic secondaire présent sur la fonction d'intercorrélation soit plus élevé que le pic principal recherché de la fonction d'autocorrélation. Une telle situation peut notamment se produire dans des espaces où la propagation radioélectrique est perturbée (typiquement dans des zones urbaines ou à l'intérieur des bâtiments). Cette erreur de détection du pic de corrélation entraîne une erreur sur la détection (et donc sur l'instant de synchronisation), le pic de corrélation validé ne correspondant pas au satellite recherché. Une telle erreur a bien entendu un impact immédiat sur la précision de la localisation. La présente invention vise à fournir un procédé validation de. la détection d'un pic de corrélation permettant de confirmer ou d'infirmer la détection du pic de corrélation tout en conservant les signaux étalés D: \DOCUM E 1\hedarchs\LOCALS 1\Temp\C.DATA.CON FIG. NOTES\projetbr4. doc spectralement existants et, par suite, de relaxer les contraintes d'orthogonalité imposées sur le design de famille de ces signaux lors du design du système de navigation par satellite. La présente invention propose à cet effet un procédé de validation de 5 la détection d'un pic de corrélation entre: - un signal transmis par une pluralité de satellites de navigation et reçu par un récepteur de radionavigation satellitaire RNSS, ledit signal correspondant à une somme de signaux envoyés chacun par un satellite et modulés chacun par un signal étalé spectralement et caractéristique dudit satellite, - une réplique locale générée par ledit récepteur, ladite réplique étant la réplique d'un signal étalé spectralement et caractéristique d'un satellite recherché, ledit procédé comportant une étape de détermination de la fonction de 15 corrélation en fonction du temps entre ledit signal reçu et ladite réplique locale, ledit procédé étant caractérisé en ce qu'il comprend en outre une étape de comparaison de ladite fonction de corrélation avec la fonction d'autocorrélation théorique en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. Grâce à l'invention, une fois le pic principal détecté, une vérification est mise en place en comparant la fonction de corrélation obtenue à partir du signal reçu avec la fonction d'autocorrélation théorique. Le pic principal correspond au pic de plus fort niveau sur la fonction de corrélation calculée. En pratique, la détection du pic principal de la fonction de corrélation permet de déterminer un instant de synchronisation supposé. La fonction d'autocorrélation théorique est calculée pour avoir un pic principal centré sur cet instant de synchronisation. Les deux fonctions possèdent donc un pic principal autour de l'instant de synchronisation supposé. Ces deux fonctions possèdent également des pics ou lobes secondaires. En comparant ces pics secondaires, c'est à dire en vérifiant s'ils apparaissent ou non au même D:\DOCUME- 1\hedarchs\LOCALS 1\Temp\C.DATA. CONFIG.NOTES\projetbr4.doc moment, on peut donc en déduire si le pic principal détecté est bien associé au satellite recherché. En outre, le procédé selon l'invention permet d'influencer l'approche adoptée sur le design des séquences d'étalement dans les cadres des systèmes CDMA. Le design n'impose plus nécessairement de minimiser les fonctions d'intercorrélation entre les signaux étalés spectralement associés à des satellites différents. La contrainte peut être ici relaxée en faisant simplement en sorte que la fonction d'autocorrélation théorique et chacune desdites fonctions d'intercorrélation théoriques soient différentes. Avantageusement, le procédé selon l'invention comporte une étape de détermination de ladite fonction d'autocorrélation théorique en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. La fonction d'autocorrélation peut en effet soit être déjà mémorisée 15 soit déterminée à chaque mise en oeuvre du procédé selon l'invention. Avantageusement, ladite étape de comparaison de ladite fonction de corrélation avec la fonction d'autocorrélation théorique comprend une étape de comparaison des pics secondaires de chacune desdites fonctions. Avantageusement, ladite étape de comparaison comporte une étape 20 de calcul de la corrélation entre ladite fonction de corrélation et ladite fonction d'autocorrélation. De manière avantageuse, ledit signal étalé spectralement est un signal modulant ledit signal avec une séquence connue, dite séquence pseudo aléatoire, en remplacement de chaque bit dudit signal. Avantageusement, en cas de non validation de la détection dudit pic de corrélation, ledit procédé comporte les étapes suivantes: - une étape de détermination des fonctions d'intercorrélation théoriques en fonction du temps entre ledit signal étalé spectralement caractéristique dudit satellite recherché et chacun des satellites différents dudit satellite recherché, - une étape de comparaison de ladite fonction de corrélation avec chacune desdites fonctions d'intercorrélation théoriques. D:\DOCUME'1\hedarchs\LOCALS41\Temp\C.DATA.CONFIG. NOTES\projetbr4.doc Avantageusement, chacun desdits signaux étalés spectralement et associés à un satellite particulier est choisi de sorte que ladite fonction d'autocorrélation théorique et chacune desdites fonctions d'intercorrélation théoriques soient différentes. Avantageusement, chacun desdits signaux étalés spectralement et associés à un satellite particulier est choisi de sorte que chacune desdites fonctions d'intercorrélation théoriques soient décorrélées. La présente invention a également pour objet un dispositif pour la validation de la détection d'un pic de corrélation entre: - un signal transmis par une pluralité de satellites de navigation et reçu par un récepteur de radionavigation satellitaire RNSS, ledit signal correspondant à une somme de signaux envoyés chacun par un satellite et modulés chacun par un signal étalé spectralement et caractéristique dudit satellite, une réplique locale générée par ledit récepteur, ladite réplique étant la réplique d'un signal étalé spectralement et caractéristique d'un satellite recherché, ledit dispositif comportant des moyens de détermination de la fonction de corrélation (3) en fonction du temps entre ledit signal reçu et ladite 20 réplique locale, ledit dispositif étant caractérisé en ce qu'il comprend en outre des moyens de comparaison de ladite fonction de corrélation (3) avec la fonction d'autocorrélation théorique (2) en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. Ce dispositif de validation est intégré au récepteur de radionavigation satellitaire RNSS et les moyens de détermination de la fonction de corrélation et de comparaison sont par exemple réalisés à l'aide de moyens logiciels. D'autres caractéristiques et avantages de la présente invention 30 apparaîtront dans la description suivante d'un mode de réalisation de l'invention, donné à titre illustratif et nullement limitatif. Dans les figures suivantes: D:\DOCUME 1\hedarchs\LOCALS l\Temp\C.DATA. CONFIG.NOTES\projetbr4.doc - La figure 1 représente un premier graphe de corrélation illustrant le fonctionnement du procédé selon l'invention, La figure 2 représente un deuxième graphe de corrélation illustrant le fonctionnement du procédé selon l'invention. La figure 1 représente un premier graphe 1 illustrant le fonctionnement du procédé selon l'invention. Ce graphe 1 comporte une courbe 3 (en trait plein) représentant la fonction de corrélation, en fonction d'une variable de temps z, entre un signal reçu par un récepteur GPS de plusieurs satellites et une réplique locale du satellite sur lequel le récepteur cherche à se synchroniser. Cette courbe 3 présente: - un pic principal 6 centré sur un instant ro que l'on suppose être l'instant de synchronisation, - des pics secondaires 7. Le procédé selon l'invention permet de vérifier que cet instant -co est 15 bien l'instant de synchronisation. Pour cela, le graphe 1 comporte, également en fonction du temps T, une courbe 2 (en trait pointillé) représentant la fonction d'autocorrélation théorique du signal étalé spectralement caractéristique du satellite recherché et permettant de donner un pic principal 4 de corrélation centré sur -co. En d'autres termes, si cm(t) est le signal étalé spectralement du satellite m recherché, la courbe 2 représentant une fonction g(T), est donnée par la formule suivante: g(T) f c,,,(t 20)Éc,,, (t T).dt. La courbe 2 présente également des pics secondaires 5. On voit ici en comparant les courbes 2 et 3 que celles ci présentent exactement les mêmes pics secondaires 5 et 7. Ce résultat peut être confirmé en corrélant la fonction de corrélation de la courbe 3 avec la fonction d'autocorrélation de la courbe 2. Ainsi, dans le cas de la figure 1, la détection d'un pic de corrélation associé à l'instant de synchronisation To est bien validée par le procédé selon l'invention. D:\DOCUME- 1\hedarchs\LOCALS. 1\Temp\C. DATA.CON FIG. NOTES\projetbr4.doc De manière similaire, la figure 2 représente un deuxième graphe 10 illustrant également le procédé selon l'invention. Le graphe 10 comporte deux courbes 20 et 30 en fonction d'une variable de temps T. La courbe 30 (en trait plein) représente la fonction de corrélation, en fonction d'une variable de temps T, entre un signal reçu par un récepteur GPS de plusieurs satellites et une réplique locale du satellite sur lequel le récepteur cherche à se synchroniser. Comme la courbe 3 présentée en figure 1, la courbe 30 présente un pic principal centré sur un instant, noté TI, et des pics secondaires. La courbe 20 (en trait pointillé) représente la fonction d'autocorrélation théorique du signal étalé spectralement caractéristique du satellite recherché et permettant de donner un pic principal de corrélation centré également sur TI. Contrairement au cas de la figure 1, les courbes 20 et 30 présentent ici de nombreux pics secondaires différents et sont donc très peu corrélées entre elles. En conséquence, la détection du pic de corrélation associé à l'instant de synchronisation Ti, n'est pas validée. Le procédé selon l'invention permet de pointer une erreur de détection, le satellite recherché ne correspondant au pic de corrélation trouvé. Les pics sont ici signés. Ceci sous-entend une intégration cohérente (aucune élévation au carré de la fonction de corrélation). L'invention porte aussi sur une intégration non cohérente (élévation au carré de la fonction de corrélation). Le critère sera néanmoins moins discriminant car tous les pics secondaires seront de même signe et donc seule la différence de position des pics affectera la différence de ressemblance. Notons que l'on peut étendre le procédé afin de déterminer à quel satellite se rapporte le pic erroné. Il suffit pour cela de déterminer les fonctions d'intercorrélation théoriques, en fonction du temps i, entre le signal étalé spectralement caractéristique du satellite recherché et chacun des satellites différents du satellite recherché. On corrèle ensuite chacune des fonctions d'intercorrélation avec la fonction de corrélation de la courbe 30; la D:\DOCUM E4 1\hedarchs\LOCALS 1\Temp\C.DATA.CONFIG. NOTES\projetbr4. doc meilleure corrélation obtenue permet de déterminer le satellite correspondant. Bien entendu, l'invention n'est pas limitée au mode de réalisation qui vient d'être décrit. Notamment, l'invention a été décrite dans le cas d'un système GPS mais il peut s'agir d'un autre système RNSS tel q'un récepteur du type GLONASS ou GALILEO. D:\DOCUM E 1\hedarchs\LOCALS4 1\Temp\C. DATA. CON FIG. NOTES\projetbr4. doc REVENDICATIONS 1. Procédé de validation de la détection d'un pic de corrélation entre: un signal transmis par une pluralité de satellites de navigation et reçu par un récepteur de radionavigation satellitaire RNSS, ledit signal correspondant à une somme de signaux envoyés chacun par un satellite et modulés chacun par un signal étalé spectralement et caractéristique dudit satellite, - une réplique locale générée par ledit récepteur, ladite réplique étant la réplique d'un signal étalé spectralement et caractéristique d'un 10 satellite recherché, ledit procédé comportant une étape de détermination de la fonction de corrélation (3) en fonction du temps entre ledit signal reçu et ladite réplique locale, ledit procédé étant caractérisé en ce qu'il comprend en outre une étape de comparaison de ladite fonction de corrélation (3) avec la fonction d'autocorrélation théorique (2) en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. 2. Procédé de validation selon la revendication 1 caractérisé en ce qu'il comporte une étape de détermination de ladite fonction d'autocorrélation théorique en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. 3. Procédé de validation selon l'une des revendications précédentes caractérisé en ce que ladite étape de comparaison de ladite fonction de corrélation (3) avec la fonction d'autocorrélation théorique (2) comprend une étape de comparaison des pics secondaires (5, 7) de chacune desdites fonctions. 4. Procédé de validation selon la revendication 1 ou la revendication 2 caractérisé en ce que ladite étape de comparaison comporte une étape de calcul de la corrélation entre ladite fonction de corrélation et ladite fonction d'autocorrélation. D: \DOCU ME- 1\hedarchs\LOCALS. 1\Temp\C. DATA.CON FIG. NOTES\projetbr4. doc 5. Procédé de validation selon l'une des revendications 1 à 4 caractérisé en ce que ledit signal étalé spectralement est un signal modulant ledit signal avec une séquence connue, dite séquence pseudo aléatoire, en remplacement de chaque bit dudit signal. 6. Procédé de validation selon l'une des revendications précédentes caractérisé en ce que, en cas de non validation de la détection dudit pic de corrélation, ledit procédé comporte les étapes suivantes: - une étape de détermination des fonctions d'intercorrélation théoriques en fonction du temps entre ledit signal étalé spectralement caractéristique dudit satellite recherché et chacun des satellites différents dudit satellite recherché, - une étape de comparaison de ladite fonction de corrélation avec chacune desdites fonctions d'intercorrélation théoriques. 7. Procédé de validation selon la revendication précédente caractérisé en ce que chacun desdits signaux étalés spectralement et associés à un satellite particulier est choisi de sorte que ladite fonction d'autocorrélation théorique et chacune desdites fonctions d'intercorrélation théoriques soient différentes. 8. Procédé de validation selon l'une des revendications 6 ou 7 caractérisé en ce que chacun desdits signaux étalés spectralement et associés à un satellite particulier est choisi de sorte que chacune desdites fonctions d'intercorrélation théoriques soient décorrélées. 9. Dispositif pour la validation de la détection d'un pic de corrélation entre: - un signal transmis par une pluralité de satellites de navigation et reçu par un récepteur de radionavigation satellitaire RNSS, ledit signal correspondant à une somme de signaux envoyés chacun par un satellite et modulés chacun par un signal étalé spectralement et caractéristique dudit satellite, - une réplique locale générée par ledit récepteur, ladite réplique étant la 30 réplique d'un signal étalé spectralement et caractéristique d'un satellite recherché, D: \DOCU M E' 1 \hedarchs\LOCALS4 1 \Tem p\C. DATA. CON FIG. NOTES\projetbr4.doc ledit dispositif comportant des moyens de détermination de la fonction de corrélation (3) en fonction du temps entre ledit signal reçu et ladite réplique locale, ledit dispositif étant caractérisé en ce qu'il comprend en outre des moyens de comparaison dè ladite fonction de corrélation (3) avec la fonction d'autocorrélation théorique (2) en fonction du temps dudit signal étalé spectralement caractéristique dudit satellite recherché. D:\DOCUME 1\hedarchs\LOCALS41\Temp\C.DATA.CONFIG.NOTES\projetbr4.doc