FR 3135542 A1 20231117 FR 2204389 A 20220510 L’invention concerne un procédé de détection d’une anomalie dans un système (110) d’un aéronef (100), comportant : - une obtention d’une série de mesures courante d’une ou plusieurs grandeurs physiques (PT1, PT2) du système (110), pendant une période de temps où le système (110) fonctionne ; - à partir de la série courante de mesures, une fourniture par un encodeur/décodeur (126) d’une série reconstruite courante ; et - une comparaison de la série courante reconstruite avec la série courante de mesures afin d’obtenir une série d’anomalies courante. Le procédé comporte en outre : - un calcul d’une fonction de répartition courante de la série courante d’anomalies ; - un calcul d’une aire séparant la fonction de répartition courante d’une fonction de répartition de référence ; et - une comparaison de l’aire avec un seuil prédéfini. Figure pour l’abrégé : Fig. 1 PROCÉDÉ DE DÉTECTION D’UNE ANOMALIE DANS UN SYSTÈME D’UN AERONEF Domaine technique de l’invention La présente invention concerne un procédé de détection d’une anomalie dans un système d’un aéronef, un programme d’ordinateur correspondant et un dispositif de surveillance. Arrière-plan technologique Il est connu d’utiliser un procédé de détection d’une anomalie dans un dispositif d’un aéronef, comportant : une obtention d’une série de mesures dite courante d’une ou plusieurs grandeurs physiques du dispositif, pendant une période de temps où le dispositif fonctionne ; à partir de la série courante de mesures, une fourniture par un réseau de neurones de type encodeur/décodeur d’une série reconstruite dite courante ; et une comparaison de la série courante reconstruite avec la série courante de mesures afin d’obtenir une série d’anomalies dite courante. Plus précisément, il est connu d’utiliser ce procédé pour une turbomachine d’un aéronef, en comparant chaque score d’anomalie de la série d’anomalie à un seuil prédéfini. Si le score d’anomalie est supérieur au seuil, une anomalie est détectée. Ce seuil est défini en maximisant un score F (de l’anglais « F-score ») sur plusieurs séries de mesures labellisées, certaines étant normales et d’autre anormales. Cependant, les inventeurs ont constaté que ce procédé connu ne donnait pas de bons résultats pour certains dispositifs d’un aéronef, comme par exemple pour des vannes d’un canal d’acheminement d’air chaud d’un système de dégivrage d’une lèvre d’entrée d’air. Il peut ainsi être souhaité de prévoir un procédé de détection d’une anomalie qui permette de s’affranchir d’au moins une partie des problèmes et contraintes précités. Il est proposé un procédé de détection d’une anomalie dans un système d’un aéronef, comportant : une obtention d’une série de mesures dite courante d’une ou plusieurs grandeurs physiques du système, pendant une période de temps où le système fonctionne ; à partir de la série courante de mesures, une fourniture par un encodeur/décodeur d’une série reconstruite dite courante ; et une comparaison de la série courante reconstruite avec la série courante de mesures afin d’obtenir une série d’anomalies dite courante. caractérisé par : un calcul d’une fonction de répartition dite courante de la série courante d’anomalies ; un calcul d’une aire séparant la fonction de répartition courante d’une fonction de répartition de référence ; et une comparaison de l’aire avec un seuil prédéfini. En effet, les inventeurs ont trouvé qu’une anomalie dans certains systèmes d’un aéronef, comme par exemple les vannes du système de dégivrage, entraînait une faible dérive dans leur série d’anomalie, qui ne peut pas être détectée par un seuil, en particulier un F-score. En revanche, en utilisant une fonction de répartition et en comparant l’aire séparant cette fonction de répartition d’une fonction de répartition de référence représentative d’un fonctionnement normal, il est possible de détecter une telle dérive. L’invention peut en outre comporter l’une ou plusieurs des caractéristiques avantageuses suivantes, selon toute combinaison techniquement possible. De façon avantageuse, le système est conçu pour fonctionner dans plusieurs configurations de fonctionnement et le procédé comporte en outre : une sélection, parmi des encodeur/décodeur respectivement associé aux configurations de fonctionnement, de celui associé à la configuration de fonctionnement dans lequel se trouvait le dispositif pendant la série courante de mesures. De façon avantageuse également, l’encodeur/décodeur est un système à apprentissage préalablement entraîné pour reconstruire des séries de mesures acquises pendant un fonctionnement normal du système. De façon avantageuse également, l’encodeur/décodeur comporte un réseau de neurones encodeur et un réseau de neurones décodeur. De façon avantageuse également, les réseaux de neurones sont deux réseaux de neurones récurrents à mémoire court terme et long terme. De façon avantageuse également, le système est un système de dégivrage d’une lèvre d’entrée d’air, le système de dégivrage étant conçu pour prélever de l’air chaud d’une turbomachine, et comportant un canal d’acheminement de l’air chaud jusqu’à la lèvre d’entrée d’air et au moins une vanne sur le canal d’acheminement. De façon avantageuse également, le système de dégivrage comporte deux vannes en série sur le canal d’acheminement. Il est également proposé un programme d’ordinateur téléchargeable depuis un réseau de communication et/ou enregistré sur un support lisible par ordinateur, caractérisé en ce qu’il comprend des instructions pour l’exécution des étapes d’un procédé selon l’invention, lorsque ledit programme d’ordinateur est exécuté sur un ordinateur. Il est également proposé un dispositif de surveillance d’un système d’un aéronef, comportant : un module d’obtention d’une série de mesures dite courante d’une ou plusieurs grandeurs physiques du dispositif, pendant une période de temps où le dispositif fonctionne ; un module d’utilisation d’un encodeur/décodeur pour fournir une série reconstruite dite courante à partir de la série courante de mesures ; et un module de comparaison de la série courante reconstruite avec la série courante de mesures afin d’obtenir une série d’anomalies dite courante ; caractérisé par : un module de calcul d’une fonction de répartition dite courante de la série courante d’anomalies ; un module de calcul d’une aire séparant la fonction de répartition courante d’une fonction de répartition de référence ; et un module de comparaison de l’aire avec un seuil prédéfini. Brève description des figures L’invention sera mieux comprise à l’aide de la description qui va suivre, donnée uniquement à titre d’exemple et faite en se référant aux dessins annexés dans lesquels : la est une vue fonctionnelle schématique d’un exemple d’un aéronef dans lequel l’invention est mise en œuvre, la est une vue fonctionnelle d’un exemple d’encodeur/décodeur utilisé dans l’aéronef de la , la est une vue fonctionnelle d’un exemple d’un dispositif de surveillance d’un dispositif de dégivrage d’une lèvre d’entrée d’air de l’aéronef, la est un schéma-bloc d’un exemple d’un procédé de surveillance du dispositif de dégivrage, la est un schéma-bloc d’un procédé d’un procédé de configuration du dispositif de surveillance, et la est un graphique illustrant une fonction de répartition de référence et plusieurs fonction de répartition calculées par le dispositif de surveillance. Description détaillée de l’invention En référence à la , un exemple d’un aéronef 100 dans lequel l’invention est mise en œuvre, va à présent être décrit. L’aéronef 100 comporte tout d’abord une turbomachine 102. L’aéronef 100 comporte en outre une nacelle 104 entourant la turbomachine 102. La nacelle 104 présente en particulier une lèvre d’entrée d’air 106 délimitant une entrée d’air 108 pour la turbomachine 102. L’aéronef 100 comporte en outre un système 110 de dégivrage de la lèvre d’entrée d’air 106. Le système de dégivrage 110 est en particulier conçu pour prélever de l’air chaud de la turbomachine 102, et comporte un canal 112 d’acheminement de l’air chaud jusqu’à la lèvre d’entrée d’air 106. Le système de dégivrage 110 comporte par exemple, sur le canal d’acheminement 112, une première vanne 114 et une deuxième vanne 116 en série l’une de l’autre. Cette redondance permet d’assurer le bon fonctionnement du système de dégivrage 110 en cas de panne de l’une des deux vannes 114, 116. Chaque vanne 114, 116 est conçue pour être sélectivement dans un état ouvert, dans lequel la vanne 114, 116 est conçue pour réguler la pression aval de l’air chaud (en sortie de la vanne considérée) à une pression de régulation prédéfinie, et dans un état fermé, dans lequel la vanne 114, 116 est conçue pour empêcher la circulation de l’air chaud. L’aéronef 100 comporte en outre un dispositif 118 de commande des vannes 114, 116. Le système de dégivrage 110 est ainsi conçu pour fonctionner dans plusieurs configurations de fonctionnement, suivant les états dans lesquelles le dispositif de commande 118 place les vannes 114, 116. Dans la première configuration de fonctionnement, dite « ON », les deux vannes 114, 116 sont ouvertes. Dans la deuxième configuration de fonctionnement, dite « OFF », la vanne 114 est fermée, tandis que la deuxième vanne 116 est ouverte. Dans une troisième configuration de fonctionnement, dite « AUTOTEST », les vannes 114, 116 sont testées au début d’un vol de l’aéronef 100, lorsque la pression de l’air chaud en amont des vannes 114, 116 est basse. L’aéronef 100 comporte en outre un premier capteur 120 de la pression aval PT1 de la première vanne 114 et un deuxième capteur 122 de la pression aval PT2 de la deuxième vanne 116. L’aéronef 100 comporte en outre un dispositif 124 de surveillance des vannes 114, 116, à partir des pressions aval PT1, PT2. Le dispositif de surveillance 124 comporte en particulier au moins un réseau de neurones de type encodeur/décodeur 126. De préférence, un encodeur/décodeur 126 est prévu pour chaque configuration des vannes 114, 116. Chaque encodeur/décodeur 126 comporte une partie encodeur et une partie décodeur. La partie encodeur est conçue pour réaliser une compression de l’information qui lui est fournie en entrée afin de fournir une information intermédiaire incomplète du fait de la compression. La partie décodeur est conçue pour réaliser une décompression, c’est-à-dire pour reconstituer l’information fournie en entrée à partir de l’information intermédiaire incomplète. Dans l’exemple décrit, l’information d’entrée consiste en une série temporelle de mesures des pressions aval PT1, PT2. La partie décodeur est ainsi conçu pour fourni une série temporelle reconstruite. L’encodeur/décodeur 126 est conçu pour fonctionner avec des séries de mesures acquises pendant un fonctionnement supposé normal des vannes 114, 116, c’est-à-dire en l’absence d’anomalie. Cela signifie qu’il est conçu pour que la série reconstruite ressemble le plus possible à la série de mesures lorsque cette dernière est acquise pendant un fonctionnement supposé normal des vannes 114, 116. L’encodeur/décodeur 126 est par exemple un système à apprentissage. Dans ce cas, l’encodeur/décodeur 126 est préalablement entrainé à partir de plusieurs séries de mesures dites d’entraînement, toutes acquises pendant un fonctionnement supposé normal des vannes 114, 116. Pour obtenir ces séries d’entraînement, il est par exemple possible de prendre des séries de mesures obtenues pendant le fonctionnement des vannes 114, 116 pour lesquelles des instants de panne ou bien d’au moins une des vannes 114, 116 ou bien de maintenance des vannes 114, 116 sont connus. Ainsi, il est possible de considérer que les vannes 114, 116 fonctionnaient normalement suffisamment avant ces instants. Ainsi, les mesures antérieures à ces instants d’une durée prédéfinie, par exemple un mois, peuvent être considérée comme acquises pendant un fonctionnement normal des vannes 114, 116, et utilisées pour obtenir les séries d’entraînement. Un exemple d’encodeur/décodeur 126 sera décrit plus en détail en référence à la . Le dispositif de surveillance 124 comporte par exemple un système informatique comportant une unité 128 de traitement de données (telle qu’un microprocesseur) et une mémoire principale 130 (telle qu’une mémoire RAM, de l’anglais « Random Access Memory ») accessible par l’unité de traitement 128. Le système informatique comporte en outre par exemple une interface réseau et/ou un support lisible par ordinateur, comme par exemple un support local (tel qu’un disque dur local 132) ou bien un support distant (tel qu’un disque dur distant et accessible via par l’interface réseau au travers d’un réseau de communication) ou bien encore un support amovible (tel qu’une clé USB, de l’anglais « Universal Serial Bus », ou bien un CD, de l’anglais « Compact Disc » ou bien un DVD, de l’anglais « Digital Versatile Disc ») lisible au moyen d’un lecteur approprié du système informatique (tel qu’un port USB ou bien un lecteur de disque CD et/ou DVD). Un programme d'ordinateur 134 contenant des instructions pour l’unité de traitement 128 est enregistré sur le support 132 et/ou téléchargeable via l’interface réseau. Ce programme d’ordinateur 134 est par exemple destiné à être chargé dans la mémoire principale 130, afin que l’unité de traitement 128 exécute ses instructions. Pour faciliter la description du programme d’ordinateur 132, les instructions seront décrites par la suite comme organisées en modules logiciels. Cependant, cette présentation ne préjuge pas de la forme du programme d’ordinateur 132, qui peut être quelconque. En particulier, l’encodeur/décodeur 126 peut être implémenté sous la forme d’un module logiciel du programme d’ordinateur 132. Alternativement, tout ou partie de ces modules pourrait être implémenté sous forme de modules matériels, c'est-à-dire sous forme d'un circuit électronique, par exemple micro-câblé, ne faisant pas intervenir de programme d'ordinateur. En référence à la , un exemple de réalisation de l’encodeur/décodeur 126 va à présent être décrit. L’encodeur/décodeur 126 est conçu pour recevoir une série de mesures X regroupant P mesures x(1) … x(p) … x(P) prises à des instants de mesure respectifs repérés par l’indice p allant de 1 à P. Les mesures x(p) peuvent être unidimensionnelles (une seule grandeur physique mesurée à chaque instant de mesure) ou bien multidimensionnelles (plusieurs grandeurs physiques mesurées à chaque instant de mesure). Dans l’exemple décrit, chaque mesure x(p) regroupe une mesure de la pression aval PT1 et une mesure de la pression aval PT2 à l’instant de mesure considéré. Ainsi, la série de mesures X peut s’écrire : L’encodeur/décodeur 126 est conçu pour fournir une série reconstruite X’ à partir de la série de mesures X. Ainsi, dans l’exemple décrit, la série reconstruite X’ peut s’écrire : L’encodeur/décodeur 126 comporte par exemple un réseau de neurones encodeur 202 et un réseau de neurones décodeur 204 implémentant respectivement la partie encodeur et la partie décodeur. Les réseaux de neurones 202, 204 sont par exemple deux réseaux de neurones récurrents à mémoire court terme et long terme (de l’anglais « Long short-term memory », également désigné par l’acronyme LSTM). Dans ce cas, le réseau de neurones encodeur 202 peut comporter P unités 202-1 … 202-p … 202-P successives, chacune d’elle étant conçue pour calculer une valeur interne h E (1) … h E (p) … h E (P) à partir de l’une respective des mesures x(1) … x(p) … x(P), de la valeur interne de l’unité précédente et de paramètres de l’unité considérée. Chaque unité 202-p présente par exemple l’architecture décrite dans https://fr.wikipedia.org/wiki/Réseau_de_neurones_récurrents, de sorte que chaque valeur interne h E (p) est par exemple obtenue à partir des équations suivantes : où désigne le produit matriciel d’Hadamard, désigne la fonction sigmoïde, désigne la fonction tangente hyperbolique, désigne l’état d’activation de la porte d’oubli (« forget gate » en anglais) de l'encodeur, désigne l’état d’activation de la porte d’entrée (« input gate » en anglais) de l'encodeur, désigne l’état d’activation de la porte de sortie(« output gate » en anglais) de l'encodeur, désigne l’état d’activation de la cellule d’entrée de l'encodeur, et désigne l’état interne de la cellule de l'encodeur. Le réseau de neurones décodeur 204 comporte de manière similaire P unités 204-1 … 204-p … 204-P successives. Chacune d’elle est conçue pour calculer une valeur interne h D (1) … h D (p) … h D (P) et une valeur reconstruite x’(1) … x’(p) … x’(P) à partir de paramètres et, sauf pour la dernière unité 204-P, de la valeur interne h D ’(p+1) et de la valeur reconstruite x’(p+1) de l’unité suivante. Chaque unité 204-p présente par exemple l’architecture décrite dans https://fr.wikipedia.org/wiki/Réseau_de_neurones_récurrents, de sorte que chaque valeur interne h E (p) est par exemple obtenue à partir des équations suivantes : où désigne le produit matriciel d’Hadamard, désigne la fonction sigmoïde, désigne la fonction tangente hyperbolique, désigne l’état d’activation de la porte d’oubli (« forget gate » en anglais) du décodeur, désigne l’état d’activation de la porte d’entrée (« input gate » en anglais) du décodeur, désigne l’état d’activation de la porte de sortie (« output gate » en anglais) du décodeur, désigne l’état d’activation de la cellule d’entrée du décodeur, désigne l’état interne de la cellule du décodeur, et W,U et b désignent les matrices de poids et les paramètres de biais du décodeur. La valeur interne h D (P) pour la dernière unité 204-P du réseau de neurones décodeur 204 est prise égale à la valeur interne h E (P) de la dernière unité 202-P du réseau de neurones encodeur 202. Cette valeur interne h E (P) = h D (P) forme donc l’information intermédiaire compressée de l’encodeur/décodeur 126. En référence à la , un exemple de réalisation du programme d’ordinateur 132, va à présent être décrit. Le programme d’ordinateur 132 comporte un module 302 conçu pour obtenir une série de mesures dite courante X d’une ou plusieurs grandeurs physiques du système de dégivrage 110, pendant une période de temps où le système de dégivrage 110 fonctionne dans l’une de ses configurations de fonctionnement. Ainsi, une valeur de la ou de chacune des grandeurs physiques est obtenue pour chacun de plusieurs instants de mesure p successifs. Plus précisément, dans l’exemple illustré, les grandeurs physiques sont les pressions aval PT1, PT2 fournies par les capteurs 120, 122. Le programme d’ordinateur 132 comporte en outre un module 304 conçu pour sélectionner l’encodeur/décodeur 126 associé à la configuration de fonctionnement dite courante, dans laquelle se trouvait le système de dégivrage 110 pendant les instants de mesure p. Par exemple, le module 304 est conçu pour recevoir une indication de la configuration de fonctionnement de la part du dispositif de commande 118. Le programme d’ordinateur 132 comporte en outre un module 306 conçu pour utiliser l’encodeur/décodeur 126 sélectionné par le module 304, pour obtenir une série reconstruite dite courante X’ à partir de la série courante de mesures X. Le programme d’ordinateur 132 comporte en outre un module 308 conçu pour comparer la série courante reconstruite X’ avec la série courante de mesures X, afin d’obtenir une série d’anomalies dite courante A. Par exemple, le module 308 est conçu pour tout d’abord calculer, à chaque instant de mesure p, une erreur e(p) entre la mesure x(p) à cet instant de mesure p de la série courante de mesure X et la valeur reconstruite x’(p) à cet instant de mesure p de la série courante reconstruite X’, par exemple par : où |…| est la fonction valeur absolue. Le module 308 est en outre par exemple conçu pour calculer, à chaque instant de mesure p, une anomalie a(p) (également appelée « score d’anomalie ») à partir de l’erreur e(p) à cet instant de mesure p. Les anomalies a(p) ainsi calculée forment la série d’anomalies A. Par exemple, les erreurs e(p) sont supposées suivre une loi de probabilité prédéfinie, caractérisée par un ou bien plusieurs paramètres. Ces paramètres comportent par exemple une moyenne μ et/ou un écart type Σ. La loi de probabilité est par exemple une loi normale. Ainsi, les anomalies a(p) peuvent définir une distance par rapport à ce qui est attendue par la loi de probabilité, en utilisant le ou bien les paramètres de cette loi de probabilité. Par exemple, en particulier dans le cas de la loi normale, l’anomalie a(p) peut être calculée à partir de la moyenne μ et de l’écart type Σ de la loi de probabilité, par : Le programme d’ordinateur 132 comporte en outre un module 310 conçu pour calculer une fonction de distribution cumulative F des anomalies a(p). La fonction de distribution cumulative est également appelée fonction de répartition. Pour cela, le module 310 est de préférence conçu pour calculer un nombre prédéfini N (par exemple mille, de manière à avoir une approximation suffisamment précise) de valeurs d’anomalie a 1 … a n … a N équidistantes entre zéro et l’anomalie a(p) maximale. Le module 310 est alors conçu pour calculer le nombre de valeurs d’anomalies a n inférieure ou égales à a, pour plusieurs valeurs de a, par exemple par la formule suivante : où 1 [ - ∞, a] (a n ) vaut un lorsque a n est dans l’intervalle [-∞, a] et zéro autrement. Le programme d’ordinateur 132 comporte en outre un module 312 conçu pour calculer une aire A séparant la fonction de distribution cumulative F d’une fonction de distribution cumulative de référence F s , attendue en l’absence d’anomalie. Un exemple d’obtention de la fonction de distribution cumulative de référence F s sera décrit plus loin en référence à la . De préférence, une fonction de distribution de référence F s est prévue pour chaque configuration de fonctionnement, et la comparaison est faite avec celle associée à la configuration de fonctionnement courante. De préférence, le module 312 est en outre conçu pour normaliser l’aire A calculée. Par exemple, cette normalisation comporte la division de l’aire A par l’aire sous la fonction de distribution de référence F s (c’est-à-dire l’aire entre l’axe des abscisses et la fonction de distribution de référence F s ). Le programme d’ordinateur 132 comporte en outre un module 314 conçu pour détecter une anomalie en fonction de la comparaison. Plus précisément, l’aire calculée est comparée à un seuil prédéfini et, si l’aire est supérieure à ce seuil, une anomalie est détectée. Si l’aire est inférieure à ce seuil, aucune anomale n’est détectée. Il est également possible de prévoir plusieurs seuils pour distinguer une anomalie de niveau faible (aire supérieure au seuil le plus bas), d’une anomalie de niveau élevé (aire supérieure au seuil le plus haut). Une anomalie détectée est par exemple examinée par un ingénieur qui peut alors envoyer un rapport à la compagnie aérienne utilisant l’aéronef pour la prévenir. La compagnie aérienne peut alors réaliser une opération de maintenance sur les vannes 114, 116, pour réaliser une réparation ou bien un remplacement. En référence à la , un exemple d’un procédé 400 de surveillance du système de dégivrage 110 va à présent être décrit. Au cours d’une étape 402, le module 302 obtient une série courante de mesures X réalisées pendant que système de dégivrage 110 fonctionne dans l’une de ses configurations de fonctionnement, appelée configuration de fonctionnement courante. Au cours d’une étape 404, le module 304 sélectionne l’encodeur/décodeur 126 associé à la configuration de fonctionnement courante. Au cours d’une étape 406, le module 306 utilise l’encodeur/décodeur 126 sélectionné pour obtenir une série reconstruite courante X’ à partir de la série courante de mesures X. Au cours d’une étape 408, le module 308 compare la série courante reconstruite X’ avec la série courante de mesures X, afin d’obtenir une série d’anomalies courante A. Au cours d’une étape 410, le module 310 calcule la fonction de distribution cumulative F de la série d’anomalie courante A. Au cours d’une étape 412, le module 312 calcule l’aire A séparant la fonction de distribution cumulative F à la fonction de distribution cumulative de référence F s . Au cours d’une étape 414, le module 314 détecte une anomalie en comparant l’aire calculée au seuil prédéfini. En référence à la , un exemple d’un procédé 500 de configuration du dispositif de surveillance 124 va à présent être décrit. Les étapes suivantes sont par exemple réalisées pour chaque configuration de fonctionnement du système de dégivrage 110. Au cours d’une étape 502, plusieurs séries de mesures dites d’entraînement X* sont obtenues, pendant que le système de dégivrage 110 fonctionne normalement. Les séries d’entraînement X* comportent chacune par exemple P mesures. Au cours d’une étape 504, un encodeur/décodeur 126 est entraîné à partir des séries d’entraînement X*, afin de fournir des séries reconstruites X’* qui sont respectivement le plus proche possible des séries d’entraînement X*. Au cours d’une étape 506, plusieurs séries de mesures dites d’initialisation X° sont obtenues, pendant que le système de dégivrage 110 fonctionne normalement. De préférence, les séries d’initialisation X° sont différentes des séries d’entraînement X*. Les séries d’initialisation X° comportent chacune par exemple P mesures. Au cours d’une étape 508, l’encodeur/décodeur 126 entraîné est utilisé pour fournir des séries reconstruites X°’ à partir des séries d’initialisation X°. Au cours d’une étape 510, pour chaque série d’initialisation X°, il est calculé une série d’erreurs E° entre la série d’initialisation X° et la série reconstruite X°’ correspondante. Chaque série d’erreur E° comporte, pour chaque instant de mesure p, une erreur e°(p) entre la mesure x°(p) à cet instant de mesure p de la série d’initialisation X° et la valeur reconstruite x°’(p) à cet instant de mesure p de la série reconstruite X°’, par exemple par selon l’équation [Math. 3] précédente. Au cours d’une étape 512, à partir des séries d’erreurs E°, il est calculé un ou plusieurs paramètres d’une loi de probabilité que ces séries d’erreurs E° sont supposées suivre. Par exemple, il peut être considéré que les séries d’erreurs E° suivent la loi normale caractérisée par une moyenne μ et un écart type Σ. Ainsi, la moyenne μ et/ou l’écart type Σ peuvent être calculés à partir des séries d’erreurs E°. Pour cela, une estimation par maximum de vraisemblance (de l’anglais « Maximum Likelihood Etimation », également désignée par l’acronyme MLE) peut être utilisée. Au cours d’une étape 514, pour chaque série d’erreurs E°, une série d’anomalies A° est calculée à partir de la moyenne μ et de l’écart type Σ, par exemple selon la formule [Math. 4] précédente. Au cours d’une étape 516, pour chaque série d’anomalies A°, une fonction de répartition dite saine F° de la série d’anomalies A° considérée est calculée, par exemple selon la formule [Math. 5] précédente. Au cours d’une étape 518, la fonction de répartition de référence F s est calculée à partir des fonctions de répartition F°, par exemple en les moyennant. En référence à la , un exemple de fonction de répartition de référence F s et plusieurs exemples de fonction de répartition F1, F2, F3 sont illustrés. La fonction de répartition F1 correspond à un fonctionnement normal des vannes 114, 116 et est donc très proche de la fonction de répartition de référence F s , de sorte que l’aire les séparant est très faible. En revanche, la fonction de répartition F3 correspond à un fonctionnement anormal des vannes 114, 116 et est donc très éloignée de la fonction de répartition de référence F s , de sorte que l’aire les séparant est très élevée. La fonction de répartition F2 correspond à un fonctionnement normal des vannes 114, 116, mais avec de faibles erreurs (c’est-à-dire pour les petites valeurs de a). De telles faibles erreurs peuvent en effet se produire de manière discrète mais fréquemment à cause de l'environnement de l'aéronef qui peut être par moment très bruité. Du fait de considérer l’aire entre les courbes, il est possible de correctement classer le fonctionnement des vannes 114, 116 comme normal. Cela n’aurait peut-être pas été le cas si le critère avait par exemple été un critère classique de la plus grande différence verticale entre les courbes. Dans ce dernier cas, en effet, à cause des faibles erreurs, cette plus grande distance verticale (représentée par la flèche double sur la ) serait très élevée. En conclusion, on notera que l’invention n’est pas limitée aux modes de réalisation décrits précédemment. Il apparaîtra en effet à l'homme de l'art que diverses modifications peuvent être apportées aux modes de réalisation décrits ci-dessus, à la lumière de l'enseignement qui vient de lui être divulgué. Dans la présentation détaillée de l’invention qui est faite précédemment, les termes utilisés ne doivent pas être interprétés comme limitant l’invention aux modes de réalisation exposés dans la présente description, mais doivent être interprétés pour y inclure tous les équivalents dont la prévision est à la portée de l'homme de l'art en appliquant ses connaissances générales à la mise en œuvre de l'enseignement qui vient de lui être divulgué. Procédé (400) de détection d’une anomalie dans un système (110) d’un aéronef (100), comportant : une obtention (402) d’une série de mesures dite courante (X) d’une ou plusieurs grandeurs physiques (PT1, PT2) du système (110), pendant une période de temps où le système (110) fonctionne ; à partir de la série courante de mesures (X), une fourniture (406) par un encodeur/décodeur (126) d’une série reconstruite dite courante (X’) ; et une comparaison (408) de la série courante reconstruite (X’) avec la série courante de mesures (X) afin d’obtenir une série d’anomalies dite courante (A) ; caractérisé par : un calcul (410) d’une fonction de répartition dite courante (F) de la série courante d’anomalies (A) ; un calcul (412) d’une aire séparant la fonction de répartition courante (F) d’une fonction de répartition de référence (F s ) ; et une comparaison (414) de l’aire avec un seuil prédéfini. Procédé (400) selon la revendication 1, dans lequel le système (110) est conçu pour fonctionner dans plusieurs configurations de fonctionnement et comportant en outre : une sélection (404), parmi des encodeur/décodeur (126) respectivement associé aux configurations de fonctionnement, de celui associé à la configuration de fonctionnement dans lequel se trouvait le dispositif pendant la série courante de mesures (X). Procédé (400) selon la revendication 1 ou 2, dans lequel l’encodeur/décodeur (126) est un système à apprentissage préalablement entraîné pour reconstruire des séries de mesures acquises pendant un fonctionnement normal du système (110). Procédé (400) selon la revendication 3, dans lequel l’encodeur/décodeur (126) comporte un réseau de neurones encodeur (202) et un réseau de neurones décodeur (204). Procédé (400) selon la revendication 4, dans lequel les réseaux de neurones (202, 204) sont deux réseaux de neurones récurrents à mémoire court terme et long terme. Procédé (400) selon l’une quelconque des revendications 1 à 5, dans lequel le système (110) est un système de dégivrage d’une lèvre (106) d’entrée d’air, le système de dégivrage étant conçu pour prélever de l’air chaud d’une turbomachine (102), et comportant un canal (112) d’acheminement de l’air chaud jusqu’à la lèvre d’entrée d’air (106) et au moins une vanne (114, 116) sur le canal d’acheminement (112). Procédé (400) selon la revendication 6, dans lequel le système de dégivrage (110) comporte deux vannes (114, 116) en série sur le canal d’acheminement (112). Programme d’ordinateur (132) téléchargeable depuis un réseau de communication et/ou enregistré sur un support lisible par ordinateur, caractérisé en ce qu’il comprend des instructions pour l’exécution des étapes d’un procédé (400) selon l’une quelconque des revendications 1 à 7, lorsque ledit programme d’ordinateur (132) est exécuté sur un ordinateur. Dispositif (124) de surveillance d’un système (110) d’un aéronef (100), comportant : un module (302) d’obtention d’une série de mesures dite courante (X) d’une ou plusieurs grandeurs physiques (PT1, PT2) du dispositif, pendant une période de temps où le dispositif fonctionne ; un module (306) d’utilisation d’un encodeur/décodeur (126) pour fournir une série reconstruite dite courante (X’) à partir de la série courante de mesures (X) ; et un module (308) de comparaison de la série courante reconstruite (X’) avec la série courante de mesures (X) afin d’obtenir une série d’anomalies dite courante (A) ; caractérisé par : un module (310) de calcul d’une fonction de répartition dite courante (F) de la série courante d’anomalies (A) ; un module (312) de calcul d’une aire séparant la fonction de répartition courante (F) d’une fonction de répartition de référence (F s ) ; et un module (314) de comparaison de l’aire avec un seuil prédéfini.