Brevet FR3050351A1 (20171020)
REVENDICATIONS1.- Procédé de contrôle d'intégrité de l'avionique d'un aéronef (10) mise en oeuvre par plusieurs systèmes avioniques (12A,...,12N) embarqués, chaque système avionique (12A,...,12N) étant apte à fournir à un instant donné au moins une donnée de vol correspondant à la valeur d'une variable de vol relative au fonctionnement et/ou à l'exploitation de l'aéronef (10) ; le procédé comportant les étapes suivantes : - définir (110) une pluralité de périodes de contrôle (Pi) ; - pour chaque période de contrôle courante (Pi) : + collecter (120) des données de vol issues d'au moins deux systèmes avioniques distincts (12A,...,12N) et opérant de manière indépendante ; + analyser (130) la cohérence entre les données de vol collectées lors de la période de contrôle précédente (Po), et/ou entre les données de vol collectées lors de la période de contrôle précédente (P1.1) et des données de vol collectées lors d'au moins une période de contrôle antérieure (Pi-i-n), en vérifiant une pluralité de règles de cohérence prédéterminées, chaque règle reliant au moins certaines des variables de vol entre elles, la vérification de chaque règle étant effectuée en substituant les variables de vol associées à cette règle par les données de vol correspondant à ces variables ; + lorsqu'au moins une de ces règles n'est pas vérifiée, générer (140) une alerte relative à une perte d'intégrité de l'avionique. 2.- Procédé selon la revendication 1, dans lequel lors de l'étape d'analyse (130) de la cohérence, la vérification des règles est effectuée selon un ordre de vérification prédéterminé. 3.- Procédé selon la revendication 2, dans lequel l'ordre de vérification des règles de cohérence correspond à l'ordre croissant du nombre de variables de vol associées à ces règles. 4.- Procédé selon l'une quelconque des revendications précédentes, dans lequel l'étape de collecte (120) des données de vol consiste à acquérir des données de vol issues d'au moins deux systèmes avioniques distincts (12A,...,12N) et opérant de manière indépendante, et pour chaque nouvelle donnée de vol acquise, à figer les 3050351 12 données de vol déjà reçues qui correspondent à des variables de vol dont dépend la variable de vol correspondant à cette nouvelle donnée de vol. 5.- Procédé selon l'une quelconque des revendications précédentes, dans lequel 5 l'étape de collecte (120) des données de vol comprend les sous-étapes suivantes : - initialiser (121) l'étape de collecte (120) en déterminant une liste de données de vol attendues (A) et en associant à chaque donnée de vol de cette liste (A) un indicateur de réception avec un état négatif et un indicateur de modification avec un état positif lorsque la variable de vol correspondant à cette donnée de vol ne dépend d'aucune autre 10 variable de vol, et avec une un état négatif autrement ; - mettre (122) en oeuvre la réception des données de vol issues d'au moins deux systèmes avioniques distincts (12A,...,12N) et opérant de manière indépendante, et à l'acquisition de chaque nouvelle donnée de vol et lorsque l'état de l'indicateur de réception de cette donnée de vol est négatif ou lorsque l'état de l'indicateur de 15 modification de cette donnée est positif, faire comme suit : + déterminer une liste de dépendances (L) comportant une pluralité de données de vol dont chaque donnée de vol est choisie de sorte que la variable de vol correspondant à la nouvelle donnée de vol dépend de la variable de vol correspondant à cette donnée de vol choisie ; 20 + lorsque l'état de l'indicateur de réception de chaque donnée de la liste de dépendances (L) est positif, mémoriser la nouvelle donnée de vol, associer l'état positif pour l'indicateur de réception de la nouvelle donnée de vol et associer l'état négatif pour l'indicateur de modification de chaque données de vol de la liste de dépendances (L). 25 6.- Procédé selon la revendication 5, dans lequel l'étape d'analyse (130) des données de vol comprend les sous-étapes suivantes : - initialiser (131) l'étape d'analyse (130) des données de vol en associant à chaque variable de vol un indicateur d'intégrité avec un état positif ; 30 - parcourir (132) l'ensemble des règles de cohérence et pour chaque règle de cohérence, lorsque l'état de l'indicateur d'intégrité de chaque variable de vol associée à cette règle est positif et lorsque l'état de l'indicateur de réception de la donnée de vol correspondant à cette variable de vol est positif, faire comme suit : + vérifier la règle de cohérence en substituant chaque variable de cette 35 règle par la donnée de vol correspondante ; et 3050351 13 + si la règle n'est pas vérifiée, associer l'état négatif à l'indicateur d'intégrité de chaque variable de vol associée à cette règle de cohérence. 7.- Procédé selon la revendication 6, dans lequel l'étape de génération d'alerte 5 (140) lorsque au moins une règle de cohérence n'est pas vérifiée, comprend la communication de l'ensemble des variables de vol dont les indicateurs d'intégrité ont des états négatifs. 8.- Procédé selon l'une quelconque des revendications 5 à 7, dans lequel la 10 dépendance entre les variables de vol est déterminée en utilisant un arbre de dépendances prédéterminé. 9.- Produit programme d'ordinateur comportant des instructions logicielles qui, lorsque mis en oeuvre par un équipement informatique, met en oeuvre le procédé selon 15 l'une quelconque des revendications précédentes. 10.- Dispositif (14) de contrôle d'intégrité de l'avionique d'un aéronef (10) mise en oeuvre par plusieurs systèmes avioniques (12A,...,12N) embarqués, chaque système avionique (12A,...,12N) étant apte à fournir à un instant donné au moins une donnée de 20 vol correspondant à la valeur d'une variable de vol relative au fonctionnement et/ou à l'exploitation de l'aéronef (10) ; le dispositif (14) étant apte à : - définir une pluralité de périodes de contrôle (Pi) ; - pour chaque période de contrôle courante (Pi) : 25 + collecter des données de vol issues d'au moins deux systèmes avioniques distincts (12A,...,12N) et opérant de manière indépendante ; + analyser la cohérence entre les données de vol collectées lors de la période de contrôle précédente (Po), et/ou entre les données de vol collectées lors de la période de contrôle précédente (P1.1) et des données de vol 30 collectées lors d'au moins une période de contrôle antérieure en vérifiant une pluralité de règles de cohérence prédéterminées, chaque règle reliant au moins certaines des variables de vol entre elles, la vérification de chaque règle étant effectuée en substituant les variables de vol associées à cette règle par les données de vol correspondant à ces variables ; 35 + lorsqu'au moins une de ces règles n'est pas vérifiée, générer une alerte.