FR 2949852 A1 20110311 FR 0956070 A 20090907 1 Le domaine de l'invention est celui de l'intégrité d'un système de navigation d'un porteur. Par intégrité on entend la mesure de confiance dans les états de navigation (positions, vitesses, attitudes) du porteur estimés par le système de navigation, exprimée comme la probabilité que l'erreur entre la valeur estimée et la valeur réelle d'un état de navigation dépasse une limite de protection. L'invention concerne un procédé et un système de détermination d'une ou plusieurs limites de protection associées à un ou plusieurs états de navigation d'un porteur, et vise plus précisément à fournir des limites de protection temporellement cohérentes des états de navigation à protéger. Classiquement, la localisation d'un porteur, tel qu'un aéronef, est réalisée à partir, d'une part, de données fournies par une centrale de mesure embarquée (incluant par exemple une centrale inertielle et un baroaltimètre) et, d'autre part, de données issues de signaux satellitaires GNSS (Global Navigation Satellite System) provenant d'une constellation de satellites en orbite autour de la Terre. Le traitement combiné de ces données, par exemple au moyen d'un filtre de Kalman, permet de déterminer l'état de l'aéronef, c'est-à-dire notamment une position, une vitesse et une attitude précises proches de l'état réel de l'aéronef. Entre les réceptions de signaux satellitaires, les états de navigation de l'aéronef sont extrapolés ou estimés à partir des données inertielles appliquées aux derniers états calculés. Les états ainsi déterminés sont périodiquement recalés à chaque réception de signaux satellitaires. La précision des états de navigation calculés est toutefois fortement sensible à une défaillance de la constellation de satellites, c'est-à-dire en cas d'une défaillance d'un satellite qui affecterait l'exactitude des données transmises et qui ne serait pas détectée, ou en cas d'une défaillance simultanée ou de défaillances consécutives de deux satellites de la constellation (le risque de défaillance simultanée de trois satellites est tellement faible qu'il est en général négligé). Il est pour cette raison habituel de fournir au pilote de l'aéronef une limite ou un volume, dit de protection, centré sur la position calculée et représentatif de la précision de cette position en tenant compte du risque de défaillance d'un ou deux satellites. Le volume global de protection est un cylindre d'axe vertical défini par son rayon et sa demie-hauteur usuellement nommés HPL (Horizontal Protection Limit) et VPL (Vertical Protection Limit). La position réelle de l'aéronef, si elle ne coïncide pas exactement avec la position calculée, a une probabilité au plus égale à un seuil de sécurité acceptable (ou risque d'intégrité) de se trouver hors du volume global de 1 o protection. Cette notion de limite de protection s'étend facilement aux autres états de navigation (vitesses et attitudes). L'intégrité mesure ainsi la confiance dans les estimées des états de navigation (positions, vitesses, attitudes). Pour un état de navigation de l'aéronef donné, si la valeur réelle ne coïncide pas exactement avec la valeur 15 estimée par le système de navigation, elle a une probabilité au plus égale au risque d'intégrité (typiquement 10-' par heure de vol) de se trouver au-delà de la limite de protection associée (valeur positive homogène à l'état de navigation considéré). Les calculs d'intégrité, basés sur la combinaison de modèles 20 statistiques et bien connus de l'homme du métier, sont généralement établis à partir de l'architecture haut-niveau représentée en figure 1. Sur cette figure 1, on a représenté la fonction d'estimation FE (généralement mise en oeuvre par filtrage de Kalman) qui permet à partir de mesures satellitaires GNSS, de mesures ADR (Air Data Reference) issues 25 par exemple d'un baro-altimètre et de mesures IRS (Inertial Reference System) issues d'une centrale inertielle, ainsi que des modèles d'erreur associés à ces mesures, de produire les estimées de états de navigation (positions, vitesses, attitudes) ainsi qu'un modèle des erreurs d'estimation (typiquement via une matrice de covariance). On a également représenté sur 30 la figure 1 la fonction d'intégrité FI qui permet de calculer les limites de protection PL qui bornent les erreurs d'estimation. Plusieurs méthodes de calcul des limites de protection existent et on pourra en trouver un exemple dans le document US 5,760,737. Le traitement des informations nécessaires et le calcul des limites de protection sont cependant relativement longs de sorte que le volume de protection calculé est fourni avec un certain retard à l'utilisateur. En outre, pour des raisons de charge de calcul, le calcul du volume de protection et la réactualisation peuvent être réalisés à une fréquence plus basse que la fréquence de calcul des états de navigation associés. Ce choix entraîne un retard entre l'instant de validité du volume de protection et l'instant de l'utilisation du volume de protection par l'utilisateur. Il en résulte que le volume de protection fourni à l'utilisateur n'est en fait pas valide compte tenu de ce retard qu'il convient donc de réduire au minimum sans toutefois pouvoir l'éliminer. Ainsi, alors que d'un point de vue opérationnel les estimées des états de navigation et les limites de protection associées devraient correspondre au même instant de validité, les contraintes temps-réel affectent la validité des limites de protection (celles-ci peuvent souffrir d'un retard allant jusqu'à un cycle de calcul de la fonction d'estimation). La validité des limites de protection peut également être affectée du fait de l'asynchronisme entre les différents systèmes de navigation (généralement trois) embarqués au sein du porteur. Pour répondre aux contraintes de validité temporelle liées aux asynchronismes inter-systèmes de navigation, il est envisagé d'extrapoler les limites de protection de manière à calculer une borne de l'erreur d'estimation qui soit temporellement cohérente des états de navigation à protéger. A cet égard, il a été proposé dans le document EP 2 006 707 de réaliser une extrapolation en sortie de la fonction d'intégrité afin de compenser les retards de calcul et satisfaire ainsi une contrainte de validité temps réel. On a représenté sur la figure 2 un schéma de la solution préconisée dans ce document. Sur cette figure 2, le bloc 1 illustre la compensation des retards réalisée selon ce document sur la base des limites 4 de protection PL(t) déterminées par la fonction d'intégrité FI et valables à un instant t pour fournir (� extrapoler �) une limite de protection PL(t+dt) valable à un instant futur t+dt. Cette solution n'est toutefois pas totalement satisfaisante dans la mesure où elle requiert une répartition du risque d'intégrité entre les états de navigation qui consomme un pourcentage non nul de ce risque: l'allocation préconisée est ainsi de 80% du risque pour les limites de protection de position et 10% du risque pour les limites de protection de vitesse. Par ailleurs, cette solution repose sur un raisonnement purement combinatoire en faisant abstraction des modèles d'erreurs qui sont pourtant connus. Une solution tenant compte des modèles d'erreurs est représentée sur la figure 3 où le bloc 2 met en oeuvre une extrapolation des matrices de covariance issues de la fonction d'estimation FE en utilisant l'équation de Ricatti. Par similitude avec la phase de prédiction de l'algorithme du filtrage de Kalman, il est effectivement immédiat de trouver une formule pour extrapoler la matrice de covariance. A titre d'exemple, on peut utiliser la matrice de transition courante calculée à partir de la dynamique précédente du porteur. La matrice de covariance extrapolée à l'instant futur est ensuite utilisée par la fonction d'intégrité FI pour calculer les limites de protection. Cette seconde solution présente toutefois les limitations suivantes. En premier lieu, l'extrapolation n'est pas intègre dans la mesure où l'implémentation temps-réel induit l'utilisation d'une matrice calculée avec la dynamique passée du porteur. Par ailleurs, la charge de calcul associée peut s'avérer limitante, notamment dans un contexte multi-navigation mettant en oeuvre une banque de filtres d'estimation (chaque filtre excluant une mesure satellitaire). L'invention a pour objectif de répondre à la contrainte de validité temporelle des limites de protection en mettant en oeuvre une extrapolation intègre des limites de protection qui s'affranchisse des inconvénients des techniques présentées ci-dessus. A cet effet, l'invention propose selon un premier aspect un procédé de détermination de limites de protection à un instant futur associées à des états de navigation d'un porteur, comprenant les étapes consistant à : - estimer des états de navigation du porteur à l'instant présent, - élaborer un modèle statistique des erreurs d'estimation des états de navigation du porteur à l'instant présent sous la forme d'une matrice de covariance, - extrapoler à un instant futur le modèle statistique des erreurs d'estimation, - calculer des limites de protection à l'instant futur à partir du modèle statistique extrapolé, caractérisé en ce que l'extrapolation du modèle statistique des erreurs d'estimation met en oeuvre l'application d'une matrice de transition constante et positive à un vecteur d'écart-type construit à partir des racines carrées des éléments de la diagonale de la matrice de covariance pour propager à l'instant futur les écarts-types des états de navigation élaborés à l'instant présent. Certains aspects préférés, mais non limitatifs, de ce procédé sont les suivants : ù les coefficients de la matrice de transition sont déterminés en fonction d'hypothèses de dynamique du porteur considérées sur un horizon temporel ; ù les hypothèses de dynamique du porteur comprennent au moins l'un des éléments suivants : vitesse sol, vitesse verticale, taux de rotation, facteur de charge horizontal et vertical ; ù on élabore une matrice de transition visant à compenser le retard de validité de la limite de protection vis-à vis des estimées des états de navigation ; o les coefficients de la matrice de transition sont déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel correspondant à un cycle de calcul des estimées des états de navigation ; on élabore une matrice de transition visant à compenser le retard de validité de la limite de protection lié à l'asynchronisme entre différents systèmes de navigation embarqués au sein du porteur ; o les coefficients de la matrice de transition sont déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel correspondant au maximum de la période d'émission des limites de protection ; ù on réalise l'extrapolation pour compenser le retard de validité lié à l'asynchronisme entre les différents systèmes de navigation sur la base des écarts-types déjà préalablement propagés à l'instant futur pour compenser le retard de validité de la limite de protection vis-à vis des estimées des états de navigation ; ù on élabore une matrice de transition visant à permettre le calcul de limites de protection prédictives à l'issue d'une mission spécifique du porteur ; ù les coefficients de la matrice de transition sont déterminés en fonction de la dynamique spécifique du porteur lors de la mission sur un horizon temporel correspondant à la durée de la mission. Selon un second aspect, l'invention propose un système de navigation d'un porteur, comprenant : un module d'estimation fournissant des estimées d'états de navigation du porteur à l'instant présent et un modèle statistique des erreurs d'estimation des états de navigation du porteur à l'instant présent sous la forme d'une matrice de covariance, un module de calcul de limites de protection fournissant des limites de protection à partir des estimées d'états de navigation et du modèle statistique des erreurs d'estimation, caractérisé en ce qu'il comporte un module d'extrapolation du modèle statistique des erreurs d'estimation configuré pour appliquer une matrice de transition constante et positive à un vecteur d'écarts-types construit à partir des racines carrées des éléments de la diagonale de la matrice de covariance pour propager à l'instant futur les écarts-types des états de navigation élaborés à l'instant présent, de sorte que le module de calcul de limites de protection calcule des limites de protection à l'instant futur à partir du modèle statistique extrapolé. D'autres aspects, buts et avantages de la présente invention apparaîtront mieux à la lecture de la description détaillée suivante de formes de réalisation préférées de celle-ci, donnée à titre d'exemple non limitatif, et faite en référence aux dessins annexés sur lesquels, outre les figures 1 à 3 déjà discutées précédemment, les figures 4 et 5 sont des schémas illustrant différents modes de réalisation possible du procédé selon le premier aspect de l'invention. L'invention concerne selon un premier aspect un procédé de détermination de limites de protection à un instant futur autour d'une position d'un porteur. On comprendra que l'invention s'étend également à un système de navigation d'un porteur configuré de manière à mettre en oeuvre le procédé selon le premier aspect de l'invention. Par ailleurs, si la vitesse du porteur est ici prise en exemple, on comprendra que l'invention s'étend également aux autres états de navigation du porteur (vitesses, attitudes) et on rappelle à ce propos que l'on associe classiquement une limite de protection à chacun des états de navigation du porteur Dans le cadre de l'invention, et en référence aux figures 4 et 5, une fonction d'estimation FE (mise en oeuvre par un module d'estimation, typiquement un filtre de Kalman) estime des états de navigation du porteur à l'instant présent (positions, vitesses, attitudes) et élabore un modèle statistique des erreurs d'estimation des états de navigation du porteur à l'instant présent sous la forme d'une matrice de covariance. Comme déjà discuté précédemment, la fonction d'estimation FE utilise pour cela différentes mesures (GNSS, ADR et IRS) ainsi que des modèles d'erreur de ces mesures. L'invention propose d'extrapoler à un instant futur le modèle statistique des erreurs d'estimation via un module d'extrapolation 3-6, et de calculer des limites de protection à l'instant futur à partir du modèle statistique extrapolé via un module de calcul de limites de protection mettant en oeuvre la fonction d'intégrité FI déjà présentée précédemment. Afin d'extrapoler le modèle statistique des erreurs d'estimation à un instant futur, l'invention propose d'appliquer une matrice de transition constante et positive (matrice dite � majorante �) à un vecteur d'écarts-types construit à partir des racines carrées des éléments de la diagonale de la 1 o matrice de covariance pour propager à l'instant futur les écarts-types des états de navigation élaborés à l'instant présent. On rappelle effectivement que la diagonale de la matrice de covariance est constituée de la variance de chacun des états de navigation, c'est-à-dire du carré de l'écart-type de chacun des états de navigation. 15 L'invention permet de répondre à différentes contraintes de validité temporelle dans la mesure où la matrice de transition est paramétrable selon l'horizon temporel considéré et la dynamique du porteur sur cet horizon. Selon un mode de réalisation possible de l'invention, les coefficients de la matrice de transition sont ainsi déterminés en fonction d'hypothèses de 20 dynamique du porteur considérées sur un horizon temporel. La matrice de transition est dérivée de la matrice de transition du filtre de Kalman mais ses coefficients sont positifs et maxima (au sens d'un jeu d'hypothèses de dynamique du porteur). La valeur des coefficients peut notamment dépendre des hypothèses de dynamiques suivantes : 25 • Vitesse sol (éventuellement maximale), vitesse verticale (éventuellement maximale) ; • Taux de rotation (éventuellement maximal); • Facteur de charge horizontal et vertical (éventuellement maximaux) ; • Et la durée d'extrapolation considérée. 3o On relèvera qu'en appliquant une extrapolation aux entrées de la fonction d'intégrité FI, l'invention n'implique pas, au contraire de la solution de la figure 1 qui propose une extrapolation des sorties de la fonction d'intégrité, d'allocation spécifique du risque d'intégrité entre les états de navigation. Ce qui permet (à contrainte d'extrapolation fixe) de réduire la taille des limites de protection et par conséquent d'augmenter la disponibilité par rapport à des limites d'alerte données. Par ailleurs, en utilisant une matrice de transition constante et positive (� majorante �), l'extrapolation réalisée dans le cadre de l'invention est intègre au sens du jeu d'hypothèses de dynamique porteur donné (par exemple, dynamique maximale du porteur). En particulier, et au contraire de la solution de la figure 2, l'extrapolation selon l'invention n'utilise pas les données de dynamique du porteur du cycle de calcul précédent et est ainsi indépendante de la dynamique passée du porteur. Enfin, en s'appliquant uniquement à un vecteur d'écarts-types construit à partir des racines carrées des éléments de la diagonale de la matrice de covariance, l'invention présente une complexité algorithmique optimisée (par rapport notamment au double produit matriciel de l'extrapolation utilisant l'équation de Riccati). La figure 5 illustre un mode de réalisation possible de l'invention dans lequel l'extrapolation intègre des écart-types pour le calcul des limites de protection est réalisée plusieurs fois pour répondre à différentes contraintes de validité temporelle. On comprendra cependant que chacune des extrapolations présentées par la suite peuvent être mises en oeuvre de manière indépendante, ou en complément d'autres types d'extrapolation. Une première extrapolation est réalisée par un module d'extrapolation 4 à l'aide d'une matrice de transition élaborée de manière à compenser le retard de validité des limites de protection vis-à vis des estimées des états de navigation. Ce retard induit par l'implémentation temps-réel de l'algorithme de filtrage de Kalman introduit généralement un cycle de Kalman de retard dans la validité de la matrice de covariance et par conséquent dans la validité des limites de protection construites à partir de cette matrice de covariance. Les coefficients de la matrice de transition sont plus précisément déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel T_cycle correspondant à un cycle de calcul des estimées des états de navigation. Les écarts-types à l'instant t sont ainsi extrapolés (vieillis) à l'instant futur t+ L cycle en considérant que dans l'intervalle le porteur a nécessairement une dynamique bornée par sa dynamique maximale. Une seconde extrapolation est réalisée par un module d'extrapolation 5 à l'aide d'une matrice de transition élaborée de manière à compenser le retard de validité des limites de protection lié à l'asynchronisme entre 1 o différents systèmes de navigation embarqués au sein du porteur. Sur la figure 5, cette seconde extrapolation est réalisée sur la base des écarts-types extrapolés par le module d'extrapolation 5 compensant les retards temps-réel de calcul. On comprendra cependant que la compensation des asynchronismes inter-systèmes de navigation peut être mise en oeuvre 15 indépendamment de la compensation des retards temps-réel de calcul, sur la base des écarts-types directement en sortie de la fonction d'estimation FE. Le calcul des limites de protection consolidées entre des systèmes de navigation asynchrones engendre un retard de validité égal au maximum à la période d'émission des limites de protection. Les coefficients de la matrice de 20 transition sont ainsi déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel T_emit correspondant à la période d'émission des limites de protection. Les écarts-types à l'instant t sont ainsi extrapolés (vieillis) à l'instant futur (t+ T emit) en considérant que dans l'intervalle le porteur a une dynamique nécessairement bornée par sa 25 dynamique maximale. Une troisième extrapolation est réalisée par un module d'extrapolation 6 à l'aide d'une matrice de transition élaborée de manière à permettre le calcul de limites de protection prédictives à l'issue d'une mission spécifique du porteur. 30 L'aviation moderne requiert effectivement le calcul de limites de protection prédictives dans le cadre de mission spécifique (par exemple demi-tour). Les coefficients de la matrice de transition sont ainsi déterminés en fonction de la dynamique spécifique du porteur lors de la mission (la dynamique étant typiquement spécifiée par l'avionneur, par exemple un taux de roulis maximal lors d'un demi-tour) sur un horizon temporel T_mission correspondant à la durée de la mission (réalisation du demi-tour par exemple). Les écarts-types à l'instant t sont ainsi extrapolés (vieillis) à l'instant futur (t+ T_mission) en considérant que dans l'intervalle le porteur a une dynamique bornée par ladite dynamique spécifique.10 REVENDICATIONS1. Procédé de détermination de limites de protection à un instant futur associées à des états de navigation d'un porteur, comprenant les étapes consistant à : - estimer des états de navigation du porteur à l'instant présent, - élaborer un modèle statistique des erreurs d'estimation des états de navigation du porteur à l'instant présent sous la forme d'une matrice de covariance, - extrapoler à un instant futur le modèle statistique des erreurs d'estimation, - calculer une limite de protection à l'instant futur à partir du modèle statistique extrapolé, caractérisé en ce que l'extrapolation du modèle statistique des erreurs d'estimation met en oeuvre l'application d'une matrice de transition constante et positive à un vecteur d'écart-type construit à partir des racines carrées des éléments de la diagonale de la matrice de covariance pour propager à l'instant futur les écarts-types des états de navigation élaborés à l'instant présent. 2. Procédé selon la revendication 1, dans lequel les coefficients de la matrice de transition sont déterminés en fonction d'hypothèses de dynamique du porteur considérées sur un horizon temporel. 3. Procédé selon la revendication 2, dans lequel les hypothèses de dynamique du porteur comprennent au moins l'un des éléments suivants : vitesse sol, vitesse verticale, taux de rotation, facteur de charge horizontal et vertical. 30 13 4. Procédé selon l'une des revendications 1 à 3, comprenant l'élaboration d'une matrice de transition visant à compenser le retard de validité des limites de protection vis-à vis des estimées des états de navigation. 5. Procédé selon la revendication 4, dans lequel les coefficients de la matrice de transition sont déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel correspondant à un cycle de calcul des estimées des états de navigation. 6. Procédé selon l'une des revendications 1 à 3, comprenant l'élaboration d'une matrice de transition visant à compenser le retard de validité des limites de protection lié à l'asynchronisme entre différents systèmes de navigation embarqués au sein du porteur. 7. Procédé selon la revendication 6, dans lequel les coefficients de la matrice de transition sont déterminés en fonction de la dynamique maximale du porteur sur un horizon temporel correspondant au maximum de la période d'émission des limites de protection. 8. Procédé selon l'une des revendications 6 ou 7, dans lequel on réalise l'extrapolation pour compenser le retard de validité lié à l'asynchronisme entre les différents systèmes de navigation sur la base des écarts-types déjà préalablement propagés à l'instant futur conformément à l'une des revendications 4 ou 5 pour compenser le retard de validité de la limite de protection vis-à vis des estimées des états de navigation. 9. Procédé selon l'une des revendications 1 à 3, comprenant l'élaboration d'une matrice de transition visant à permettre le calcul de limites de protection prédictives à l'issue d'une mission spécifique du porteur.30 10. Procédé selon la revendication 9, dans lequel les coefficients de la matrice de transition sont déterminés en fonction de la dynamique spécifique du porteur lors de la mission sur un horizon temporel correspondant à la durée de la mission. 11. Système de navigation d'un porteur, comprenant : un module d'estimation (FE) fournissant des estimées d'états de navigation du porteur à l'instant présent et un modèle statistique des erreurs d'estimation des états de navigation du porteur à l'instant présent sous la forme d'une matrice de covariance, un module de calcul de limites de protection (FI) fournissant des limites de protection à partir des estimées d'états de navigation et du modèle statistique des erreurs d'estimation, caractérisé en ce qu'il comporte un module d'extrapolation du modèle statistique des erreurs d'estimation (3-6) configuré pour appliquer une matrice de transition constante et positive à un vecteur d'écarts-types construit à partir des racines carrées des éléments de la diagonale de la matrice de covariance pour propager à l'instant futur les écarts-types des états de navigation élaborés à l'instant présent, de sorte que le module de calcul de limites de protection calcule des limites de protection à l'instant futur à partir du modèle statistique extrapolé.