Brevet FR3107598A1 — publié le 20210827

Méthode de détection d’une source de leurrage d’un signal de radionavigation par satellite, la méthode étant exécutée par un dispositif de réception de signaux de radionavigation par satellite comprenant deux récepteurs, la méthode comprenant les étapes de: Pour chaque signal reçu par le dispositif de réception et émis par un satellite différent, Estimer (211,212) la phase du signal reçu par chaque récepteur, Calculer (220) la différence des phases estimées pour chaque récepteur, Comparer (230) les différences de phases calculées pour plusieurs satellites différents et si au moins deux différences de phases calculées pour deux satellites différents sont sensiblement identiques, conclure à la présence d’une source de leurrage. Figure 2 Méthode de détection d’une source de leurrage dans un signal de radionavigation par satellite et dispositif de réception associé L’invention concerne le domaine des récepteurs de signaux de radionavigation par satellite, encore appelés signaux GNSS. Elle s’applique à tout système GNSS, par exemple le système GPS, GALILEO ou GLONASS. L’invention porte sur un dispositif de réception à double récepteur implémentant une méthode de détection d’une source de leurrage du signal de radionavigation par satellite. L’invention vise à fournir une solution au problème du leurrage de signaux GNSS par une source de leurrage unique localisée dans l’environnement d’un récepteur. Une telle source de leurrage fonctionne en réceptionnant les signaux GNSS réellement émis par les satellites puis en relayant ces signaux avec ou sans modification. Un objectif d’une source de leurrage est de fausser le calcul de positionnement réalisé par un récepteur GNSS. En effet, le récepteur risque de calculer une position qui correspond non pas à la sienne mais à celle de la source de leurrage ou plus généralement à une position erronée. La surveillance et la détection d’une source de leurrage ne constitue pas un traitement classique des récepteurs GNSS, même dans le cas de récepteurs dédiés aux applications à sécurité critique (telles que celles des transports, aéronautiques, synchronisation du temps, ….). Cependant, ce domaine génère maintenant un large intérêt après que plusieurs cas de leurrage volontaires ou involontaires aient été démontrés dans des situations opérationnelles réelles. Une première solution contre les attaques de leurrage est fournie par l’utilisation de signaux authentifiés dont l’accès et l’utilisation sont protégés par des clés connues des seuls utilisateurs autorisés. C’est notamment le cas des signaux GNSS militaires, distribués par la plupart des constellations, mais aussi pour certains signaux civils dits «Safety of Life» ou à vocation «commerciale», tels que par exemple les signaux Galileo OS NMA ou CS/E6B. Les méthodes utilisant des signaux authentifiés sont efficaces, mais nécessitent l’accès et le maintien de clés utilisateurs et une protection cryptographique au niveau des équipements. Par ailleurs, de tels services sont encore expérimentaux dans le domaine civil, la cryptologie restant pour l’instant réservée aux applications de défense, et présentent encore pas mal de difficultés pour en assurer la certification vis-à-vis des réglementations de sureté de fonctionnement. Une deuxième solution qui commence à être proposée pour certains récepteurs commerciaux consiste à mettre en place dans les récepteurs, des contrôles de cohérences sur les caractéristiques des signaux reçus. Ces caractéristiques concernent, par exemple, le niveau de puissance des signaux reçus, qui peut être évalué au travers des indicateurs de contrôle de gain et de rapport signal à bruit. En effet, un signal de leurrage domine généralement les signaux GNSS utiles, par conséquent un niveau de puissance élevé sur le signal reçu est un indicateur de la présence d’un leurre. Une autre caractéristique de la présence d’un leurre concerne la cohérence entre la phase de code et la phase de porteuse. En effet, il est difficile pour une source de leurrage d’assurer une évolution cohérente de l’évolution du retard (pseudo-distance) et de la phase de la porteuse (doppler intégré) des signaux GNSS, sans la présence de moyens lourds de poursuite du déplacement de la cible à leurrer. Ainsi, en absence de telles informations, la source de leurrage se contente le plus souvent de leurrer le retard de code des signaux et non la phase de la porteuse. Une autre méthode consiste à réaliser un test de cohérence de l’évolution du rapport signal à bruit pour l’ensemble des satellites. En effet, la simultanéité de l’évolution du rapport signal à bruit sur tous les satellites, en cas de mouvements non prédictibles du porteur, est révélatrice de la transmission de signaux à partir d’un seul émetteur ponctuel qui est donc susceptible d’être une station de leurrage. Les différentes méthodes connues de l’état de l’art nécessitent des aménagements spécifiques pour les récepteurs qui les rendent difficilement utilisables dans le cadre d’applications commerciales ou réglementées par des standards. Notamment, ces méthodes nécessitent des modules de cryptologie ou de gestion de clés ou plus généralement des équipements complémentaires qui nécessitent des modifications importantes des récepteurs. L’invention propose une méthode de détection de signaux de leurrage basée sur un traitement complémentaire réalisé à partir de mesures standards fournies par des récepteurs GNSS classiques, par exemple dans le cas d’architectures de type «Fail-Safe» implémentant deux chaines de réception redondantes. L’invention utilise un critère d’identification qui consiste à détecter une situation de leurrage lorsque la direction d’arrivée du signal reçu par un récepteur est la même pour plusieurs satellites. Cette situation correspond à une anomalie qui laisse supposer que tous les signaux sont émis depuis la même source de leurrage. L’invention présente notamment l’avantage de ne pas nécessiter de traitement spatial complexe de mise en cohérence des signaux reçus. L’invention a pour objet une méthode de détection d’une source de leurrage d’un signal de radionavigation par satellite, la méthode étant exécutée par un dispositif de réception de signaux de radionavigation par satellite comprenant deux récepteurs, la méthode comprenant les étapes de: Pour chaque signal reçu par le dispositif de réception et émis par un satellite différent, Estimer la phase du signal reçu par chaque récepteur, Calculer la différence des phases estimées pour chaque récepteur, Comparer les différences de phases calculées pour plusieurs satellites différents et si au moins deux différences de phases calculées pour deux satellites différents sont sensiblement identiques, conclure à la présence d’une source de leurrage. Selon un aspect particulier de l’invention, chaque récepteur comprend un corrélateur pour corréler le signal reçu avec un code local associé à un satellite et la phase du signal reçu par chaque récepteur est estimée en sortie de corrélateur. Selon un mode de réalisation particulier, la méthode selon l’invention comprend en outre les étapes de: Calculer, pour au moins un couple de satellites distincts, une double différence de phase égale à la différence entre les différences de phases estimées pour chaque récepteur et pour chaque satellite respectif du couple, Conclure à la présence d’une source de leurrage si au moins une double différence de phase calculée est sensiblement nulle. Selon un mode de réalisation particulier, la méthode selon l’invention comprend en outre les étapes de: Calculer la somme de plusieurs doubles différences de phase calculées pour différents couples de satellites distincts, Conclure à la présence d’une source de leurrage si la phase de la somme est sensiblement nulle. Selon un mode de réalisation particulier, la méthode selon l’invention comprend en outre les étapes préalables de, pour chaque signal reçu par le dispositif de réception et émis par un satellite différent: Calculer, pour chaque récepteur, une position de réception du signal, Déterminer, pour chaque récepteur, la position du satellite lors de l’émission du signal, Déterminer une estimée du déplacement apparent dans l’axe à vue du satellite entre les instants d’émission du signal par le satellite correspondant respectivement aux signaux reçus par chaque récepteur, Corriger les différences de phases calculées du déplacement apparent estimé. Selon un aspect particulier de l’invention, la position de réception du signal est calculée à partir des pseudo-distances calculées par le récepteur pour l’ensemble des satellites. Selon un aspect particulier de l’invention, la position du satellite lors de l’émission du signal est déterminée à partir d’une mesure de temps reçu associée à la pseudo-distance calculée et d’éphémérides. L’invention a aussi pour objet un dispositif de réception de signaux de radionavigation par satellite comprenant deux récepteurs distincts étant chacun apte à recevoir des signaux de radionavigation par satellite et une unité de calcul configurée pour exécuter les étapes de la méthode de détection d’une source de leurrage d’un signal de radionavigation par satellite selon l’invention. D’autres caractéristiques et avantages de la présente invention apparaîtront mieux à la lecture de la description qui suit en relation aux dessins annexés suivants: la représente un schéma d’un système de réception GNSS à deux récepteurs dans un environnement perturbé par une station de leurrage, la schématise, sur un organigramme, les principales étapes de mise en œuvre de la méthode de détection de leurrage selon un premier mode de réalisation de l’invention, la représente un schéma d’un dispositif de réception GNSS selon le premier mode de réalisation de l’invention, la schématise, sur un organigramme, les principales étapes de mise en œuvre de la méthode de détection de leurrage selon un deuxième mode de réalisation de l’invention, la représente un schéma d’un dispositif de réception GNSS selon le deuxième mode de réalisation de l’invention, la schématise, sur un organigramme, les principales étapes de mise en œuvre de la méthode de détection de leurrage selon un troisième mode de réalisation de l’invention, la représente un schéma d’un dispositif de réception GNSS selon le troisième mode de réalisation de l’invention. La illustre le contexte de mise en œuvre de l’invention. Une station de leurrage L reçoit des signaux de radionavigation par satellite SRi(t), SRi(t’), SRj(t), SRj(t’) provenant de différents satellites Sat_i, Sat_j en visibilité et à différents instants t,t’. la station de leurrage L retransmet les signaux vers un dispositif de réception DR qui comprend deux récepteurs distincts Rx1,Rx2 ayant chacun une antenne A1,A2 et un détecteur de leurrage DL configuré pour détecter le fait que les signaux reçus par le dispositif de réception DR proviennent d’une station de leurrage L et non des satellites Sat_i,Sat_j. La station de leurrage L agit soit comme un répéteur en retransmettant à l’identique les signaux GNSS reçus ou bien modifie les signaux avant de les retransmettre. Afin d’expliquer le fonctionnement de la méthode de détection de leurrage selon l’invention, on rappelle au préalable quelques notions concernant les signaux de radionavigation par satellite. Expression analytique d’un signal GNSS reçu par un récepteur On note S i e (t) le signal émis par un satellite référencé par l’indice i. A i (t) est le gain du signal, f 0 la fréquence du signal. Le signal reçu par un récepteur situé à une distance x i (t) du satellite i à l’instant t est donné par la relation suivante, avec c la vitesse du signal. Un récepteur synchronise le signal local estimé sur sa base de temps décalée de T 0 par rapport à celle de la constellation des satellites GNSS, en réalisant un filtrage adapté. Le filtrage adapté correspond au produit entre le signal reçu et une réplique locale du signal (défini par son code d’étalement) conjugué. Ce produit est réalisé au moyen d’un corrélateur qui réalise une corrélation entre un code d’étalement local et le signal reçu. Du fait de la périodicité T c des signaux d’amplitudes (code) et de la phase porteuse (1/f 0 ), on peut aussi écrire le signal local sous la forme: où mod() désigne la fonction modulo, est la pseudo-distance (biaisée) estimée, dans l’axe à vue du satellite i, est la phase porteuse estimée, dans l’axe à vue du satellite i, T 0 étant constant, on peut écrire aussi: La phase du signal reçu est mesurée sur le signal démodulé après désétalement, c'est-à-dire en sortie de corrélation avec le code local. Expression analytique de l’écart de phase entre un signal GNSS reçu respectivement par deux récepteurs A et B. Considérons maintenant la phase du signal reçu pour deux positions de réceptionP A et P B correspondant à deux récepteurs A et B et des distances satellite i-récepteur définies par Pour un même satellite i, les phases des signaux reçus estimées à la réception par les récepteurs A et B (dont les bases de temps sont décalées respectivement de T 0A et T 0B par rapport au temps système GNSS) s’écrivent: Les vecteurs de Fresnel représentant les phases estimées par les récepteurs A et B s’écrivent: La différence de phase entre les deux récepteurs pour le satellite i s’écrit: = où est l’angle en gisement d’arrivée du signal i sur l’axe AB des antennes Le terme lié à la désynchronisation de la base de temps des deux récepteurs s’élimine en calculant la double différence entre deux directions d’arrivées des signaux provenant de deux satellites i et j différents. Soit, De l’expression précédente de la double différence de phase, on constate que celle-ci ne dépend pas du biais de synchronisation entre les récepteurs A et B. Par ailleurs, en absence de source de leurrage, la double différence de phase est directement liée à la différence entre les angles d’arrivée des signaux provenant des satellites i et j sur l’axe AB entre les deux récepteurs. Si l’on connait l’attitude et le cap du bras de levier AB entre les deux récepteurs, il est possible de vérifier la correspondance entre les doubles différences de phase estimées et les doubles différences de phase attendues. Expression analytique d’un signal de leurrage simulant l’ensemble des satellites d’une constellation. On considère à présent le cas d’une station de leurrage L fonctionnant comme une source qui émet l’ensemble des signaux GNSS correspondant aux satellites visibles (comme explicité sur le schéma de la ). Les signaux GNSS reçus par la station de leurrage sont retransmis aux récepteurs Rx1,Rx2 après avoir modifié les retards de code et de phase de chacun des signaux satellites, pour les rendre cohérents de ceux qui devraient être reçus par un récepteur cible dont on souhaite leurrer la position et la vitesse. Tous les signaux sont envoyés sur la même porteuse depuis la source de leurrage vers le récepteur, ils subissent ensemble un retard de propagation égal à d LR /c avec d LR la distance entre la station de leurrage L et le récepteur DR. Les signaux subissent aussi un déphasage Doppler supplémentaire égal à f 0 .(v LR /c) supplémentaire que l’on suppose pris en compte et compensé pour ne pas alerter le récepteur cible. Avec de telles hypothèses, les signaux émis par la source de leurrage s’écrivent via la relation suivante: Avec la distance entre le satellite i et le récepteur cible du leurrage R Le signal de leurrage reçu par le récepteur DR s’écrit dans le cas d’une seule antenne de réception en position R: Expression analytique de l’écart de phase entre deux antennes A et B en réception d’un signal de leurrage Dans le cas de deux antennes A et B, les signaux reçus sur chacune d’elles s’écrivent: d LA et d LB sont les distances respectives entre la station de leurrage L et chaque antenne A,B. Le signal local adapté du récepteur DR (base de temps décalée de T 0 ) s’écrit, selon les notations précédentes: Les phases des signaux reçus sur les récepteurs A et B s’écrivent: Les vecteurs de Fresnel représentant les phases estimées par les récepteurs A et B s’écrivent: La différence de phase entre les deux antennes pour le signal i s’écrit: = où est l’angle en gisement d’arrivée du signal de leurrage L sur l’axe AB des antennes (et non plus l’angle associé aux satellites). On montre ainsi que le terme ne dépend pas de la direction satellite et reste uniquement lié à la direction d’arrivée du signal de leurrage. Un test de l’existence d’une source de leurrage ou d’un répéteur à source d’émission unique consiste alors à vérifier que le terme reste indépendant de la direction du satellite. L’invention est basée sur les principes décrits ci-dessus. La détaille les étapes de réalisation d’une méthode de détection de leurrage selon un premier mode de réalisation de l’invention. Les signaux GNSS émis par la station de leurrage L sont reçus 201,202 par chaque récepteur RX1,RX2. Chaque signal reçu est corrélé avec un code d’étalement local qui permet d’identifier le satellite émetteur i. Cette technique est bien connue du domaine des récepteurs GNSS et n’est pas détaillée ici. A partir des signaux reçus sur chaque récepteur pour le même satellite i, on estime 211,212 la phase des signaux , en sortie de corrélation. Ensuite, dans une étape 220 on calcule la différence des phases . Les étapes 201,202,211,212,220 sont itérées pour plusieurs satellites différents. Enfin, dans une dernière étape 230, on compare les valeurs des différences de phases calculées pour plusieurs satellites i. Si au moins deux valeurs sont sensiblement identiques pour deux satellites i, j différents, cela signifie que ces signaux ont été émis depuis la même source et donc qu’ils sont leurrés. L’étape de comparaison 230 est, par exemple, réalisée en comparant la différence en valeur absolue de deux différences de phases à un seuil prédéterminé. . Le seuil est fixé légèrement supérieur à 0 pour prendre en compte le bruit de calcul. Si le seuil est dépassé, cela signifie que les deux valeurs sont différentes et que les signaux ne proviennent pas de la même source. Dans le cas contraire, les signaux correspondants sont détectés comme étant leurrés. La schématise un exemple d’un premier mode de réalisation du dispositif de réception DR configuré pour mettre en œuvre la méthode de détection de leurrage décrite à la . Le dispositif DR comprend deux récepteurs RX1,RX2. Chaque récepteur comprend une antenne ANT1,ANT2 pour recevoir des signaux GNSS, une chaine de traitement radiofréquence RF1,RF2 (comprenant un ou plusieurs filtres et/ou un ou plusieurs amplificateurs), un module de traitement de signal TS1,TS2 un module de calcul de mesures brutes MB1,MB2, un module de calcul de position, vitesse et temps PVT1,PVT2, un premier module de synchronisation SYNC1,SYNC2 pour aligner en temps réel le temps local de chaque récepteur RX1,RX2 sur le temps de la constellation GNSS et un second module de synchronisation SYNC3,SYNC4. Le module de traitement de signal TS1,TS2 comprend au moins un convertisseur analogique numérique pour numériser le signal reçu, ainsi qu’un corrélateur pour corréler le signal numérique avec un code d’étalement généré localement. Le module de calcul de mesures brutes MB1,MB2 reçoit le signal démodulé par le module de traitement de signal et réalise les boucles de poursuite de code (ou DLL) et de phase (PLL) qui servent à extraire des mesures brutes de temps reçu et de Doppler. Dans ce qui suit, on appelle instant de prise de mesure, l’instant auquel est réalisé l’extraction des mesures brutes de temps et de Doppler. Le module de calcul PVT1,PVT2 détermine des informations de position, vitesse, temps à partir des mesures brutes. Le premier module de synchronisation SYNC1,SYNC2 réalise la synchronisation des bases de temps locales des deux récepteurs à partir d’un calcul de décalage de temps local estimé par le module PVT1,PVT2 à l’instant de prise de mesure. Le second module de synchronisation SYNC3,SYNC4 est utilisé pour synchroniser les instants de prise de mesure (de temps reçu et de phase de code) entre les deux récepteurs RX1,RX2, sur un même temps de référence (par exemple à chaque seconde) de la constellation GNSS. Le dispositif DR comprend en outre un module de détection de leurrage DL configuré pour exécuter les étapes 211,212,220,230 du procédé décrit à la . Le module DL comprend par exemple une unité de calcul DIFF pour calculer les différences de phases 220 et un organe de comparaison pour réaliser le test 230. Les figures 4 et 5 illustrent un deuxième mode de réalisation de l’invention dans lequel on prend l’hypothèse que les bases de temps locales des récepteurs RX1,RX2 ne sont pas synchronisées. Autrement dit, les modules de synchronisation SYNC1,SYNC2 du temps local des récepteurs sur le temps de la constellation de satellites GNSS ne sont pas présents dans les récepteurs RX1,RX2. Par contre, on suppose que les instants de prise de mesures brutes des deux récepteurs sont synchronisés sur un même temps grâce à un signal de synchronisation externe EXT (cad. unsignal physique permettant aux récepteurs de déclencher la prise de mesure au temps correspondant à ce signal). Ainsi, la synchronisation des instants de prise de mesure est réalisée par ce moyen externe EXT et les modules de synchronisation SYNC3,SYNC4 sont également supprimés. Dans ce cas, le terme dans l’expression de la différence de phase n’est plus forcément constant. Le deuxième mode de réalisation de l’invention permet de résoudre ce problème en ajoutant au procédé décrit à la une étape supplémentaire 401 de calcul de doubles différences de phases. En effet, le terme s’élimine en calculant la double différence entre les différences de phase complexes calculées pour deux satellites différents i et j. Soit Ainsi, la double différence de phase vaut 0 lorsque les signaux des satellites i et j proviennent de la même source de leurrage. L’étape 401 de la méthode décrite à la consiste ainsi à calculer plusieurs double différences de phase entre plusieurs couples de satellites (i,j). Ainsi, la méthode de détection de leurrage selon le deuxième mode de réalisation de l’invention comporte une étape 402 de test qui consiste à vérifier si au moins une double différence de phase est sensiblement nulle. Alternativement, une moyenne ou une somme de plusieurs doubles différences de phase peut être réalisée. L’étape 402 de test, consiste, par exemple, à comparer la valeur absolue de chaque double différence de phase calculée à un seuil légèrement supérieur à 0 comme pour l’étape 230. La schématise un exemple de dispositif de réception DR configuré pour mettre en œuvre la méthode de détection de leurrage selon le deuxième mode de réalisation de l’invention. Par rapport au schéma de la , chaque récepteur RX1,RX2 comporte les mêmes éléments déjà décrits à l’exception des modules de synchronisation SYNC1,SYNC2,SYNC3,SYNC4. Le dispositif de réception DR comprend par ailleurs un module externe EXT supplémentaire de synchronisation des instants de prise de mesure des deux récepteurs. Ainsi, les bases de temps locales des deux récepteurs ne sont plus synchronisées, mais les instants de prise de mesures restent synchrones sur un même temps de la constellation GNSS. Le module de détection de leurrage DL comporte une unité de calcul DD configurée pour exécuter les étapes 211,212,220,401 de la méthode décrite à la , ainsi qu’un comparateur T’ pour réaliser le test de l’étape 402. Les figures 6 et 7 décrivent un troisième mode de réalisation de l’invention dans lequel on considère que les instants d’échantillonnage des signaux reçus par les récepteurs RX1,RX2 ne sont pas synchronisés. Autrement dit, on considère que les récepteurs RX1,RX2 ne contiennent pas de modules de synchronisation SYNC3,SYNC4, internes ni de module externe EXT, des instants de prise de mesure. Si les instants d’échantillonnage ne sont pas synchronisés sur les deux récepteurs RX1,RX2, la distance apparente d’un même satellite pourra avoir évolué entre les deux instants de prélèvements, conduisant ainsi à biaiser l’estimation de la différence de chemin de propagation entre les deux récepteurs. En effet, si les instants de prise de mesure sont différents sur les deux récepteurs, les phases de code et porteuse des signaux GNSS reçus correspondront à des temps reçus GNSS différents, et donc aussi à des dates d’émission différentes de ces signaux. Pour un même satellite, la position du satellite correspondant à chacune de ces deux dates différentes est donc aussi différente. Par exemple un écart de 10ms seulement entre des dates de prise de mesures correspond à un déplacement de 40m d’un satellite se déplaçant à 4km/s. Il faut donc tenir compte du déplacement du satellite correspondant aux écarts de temps reçu GNSS aux deux instants de prise de mesure. Ainsi, dans ce cas, la double différence de phase est exprimée via la relation suivante: Du fait de la différence entre les deux instants d’échantillonnage t,t’ des deux récepteurs, la valeur de n’est plus égale à 0 lorsque les signaux émis par deux satellites i et j proviennent d’une même source de leurrage. Pour résoudre ce problème, un troisième mode de réalisation de l’invention est proposé dans lequel les différences de phases calculées aux étapes 211,212 par chaque récepteur sont, au préalable, corrigées d’un déphasage résultant du déplacement du satellite entre les deux instants de prise de mesure t et t’ de chaque récepteur. La détaille les étapes nécessaires pour réaliser cette correction. A partir du signal reçu, leurré, on calcule 601 les pseudo-distances estimées pour chaque récepteur RX1,RX2 qui permettent ensuite de déduire une position leurrée supposée voisine du dispositif de réception DR. A partir des mesures de temps reçus GNSS tr et tr’ associées à chaque pseudo-distance estimée, aux instants de prise de mesure t et t’, on calcule 602, à partir d’éphémérides, la position du satellite lors de l’émission du signal correspondant aux temps reçus tr et tr’. Ensuite, on estime 603 le déplacement du satellite entre la date d’émission tr du signal reçu par le premier récepteur RX1 à l’instant de prise de mesure t et la date d’émission tr’ du signal reçu par le second récepteur RX2 à l’instant de prise de mesure t’. On en déduit enfin 604, une correction à appliquer aux différences de phases pour compenser la différence de marche du signal entre les antennes des récepteurs Rx1 et Rx2 due au déplacement apparent dans l’axe à vue du satellite entre les deux instants tr et tr’. Autrement dit, on calcule la différence entre la distance apparente calculée entre la position du satellite au temps tr et la position leurrée d’une part et la distance apparente calculée entre la position du satellite au temps tr’ et la position leurrée. Les procédés décrits aux figures 2 et 4 s’appliquent ensuite à l’identique aux signaux corrigés. La schématise un exemple de dispositif de réception DR configuré pour exécuter la méthode de détection de leurrage selon le troisième mode de réalisation de l’invention. Par rapport au schéma de la , chaque récepteur RX1,RX2 comporte les mêmes éléments déjà décrits à l’exception des modules de synchronisation SYNC3,SYNC4, EXT interne ou externe, des instants de prise de mesure. Ainsi, les instants d’échantillonnage des deux récepteurs ne sont pas synchronisés. Le module de détection de leurrage DL comporte une unité de calcul COMP pour exécuter les étapes 601,602,603,604 de la méthode décrite à la et ainsi fournir des différences de phase corrigées qui sont ensuite transmises à l’unité de calcul de double différence de phase DD. L’invention s’applique notamment pour des dispositifs de réception de signaux GNSS embarqués dans des aéronefs. Chacun des éléments du récepteur selon l’invention peut être réalisé sous forme logicielle et/ou matérielle à partir d’un processeur et une mémoire. Le processeur peut être un processeur générique, un processeur spécifique, un circuit intégré propre à une application (connu aussi sous le nom anglais d’ASIC pour «Application-Specific Integrated Circuit») ou un réseau de portes programmables in situ (connu aussi sous le nom anglais de FPGA pour «Field-Programmable Gate Array»). Méthode de détection d’une source de leurrage d’un signal de radionavigation par satellite, la méthode étant exécutée par un dispositif de réception (DR) de signaux de radionavigation par satellite comprenant deux récepteurs (RX1,RX2), la méthode comprenant les étapes de: Pour chaque signal reçu par le dispositif de réception et émis par un satellite différent, Estimer (211,212) la phase du signal reçu par chaque récepteur, Calculer (220) la différence des phases estimées pour chaque récepteur, Comparer (230) les différences de phases calculées pour plusieurs satellites différents et si au moins deux différences de phases calculées pour deux satellites différents sont sensiblement identiques, conclure à la présence d’une source de leurrage, la méthode comprenant en outre les étapes préalables de, pour chaque signal reçu par le dispositif de réception et émis par un satellite différent: Calculer (601), pour chaque récepteur, une position de réception du signal, Déterminer (602), pour chaque récepteur, la position du satellite lors de l’émission du signal, Déterminer (603) une estimée du déplacement apparent dans l’axe à vue du satellite entre les instants d’émission du signal par le satellite correspondant respectivement aux signaux reçus par chaque récepteur, Corriger (604) les différences de phases calculées du déplacement apparent estimé. Méthode de détection d’une source de leurrage selon la revendication 1 dans laquelle chaque récepteur comprend un corrélateur pour corréler le signal reçu avec un code local associé à un satellite et la phase du signal reçu par chaque récepteur est estimée en sortie de corrélateur. Méthode de détection d’une source de leurrage selon l’une des revendications précédentes comprenant en outre les étapes de: Calculer (401), pour au moins un couple de satellites distincts, une double différence de phase égale à la différence entre les différences de phases estimées pour chaque récepteur et pour chaque satellite respectif du couple, Conclure (402) à la présence d’une source de leurrage si au moins une double différence de phase calculée est sensiblement nulle. Méthode de détection d’une source de leurrage selon la revendication 3 comprenant en outre les étapes de: Calculer (401) la somme de plusieurs doubles différences de phase calculées pour différents couples de satellites distincts, Conclure (402) à la présence d’une source de leurrage si la phase de la somme est sensiblement nulle. Méthode de détection d’une source de leurrage selon l’une quelconque des revendications précédentes dans laquelle la position de réception du signal est calculée (601) à partir des pseudo-distances calculées par le récepteur pour l’ensemble des satellites. Méthode de détection d’une source de leurrage selon l’une quelconque des revendications précédentes dans laquelle la position du satellite lors de l’émission du signal est déterminée (602) à partir d’une mesure de temps reçu associée à la pseudo-distance calculée et d’éphémérides. Dispositif de réception de signaux de radionavigation par satellite comprenant deux récepteurs distincts (RX1,RX2) étant chacun apte à recevoir des signaux de radionavigation par satellite et une unité de calcul (DL) configurée pour exécuter les étapes de la méthode de détection d’une source de leurrage d’un signal de radionavigation par satellite selon l’une quelconque des revendications 1 à 6.