FR 3164543 A1 20260116 FR 2407583 A 20240711 Contrôle de l’état de santé d’une réserve d’énergie d’un calculateur, notamment dans un aéronef Un aspect de l’invention concerne un procédé de détermination de l’état de santé d’une réserve d’énergie d’un calculateur embarqué. Figure pour l'abrégé : Figure 2 Contrôle de l’état de santé d’une réserve d’énergie d’un calculateur DOMAINE TECHNIQUE DE L’INVENTION Le domaine technique de l’invention est celui des systèmes embarqués, notamment dans un aéronef. La présente invention concerne un procédé de détermination de l’état de santé d’une réserve d’énergie d’un calculateur, un calculateur destiné à mettre en œuvre ce procédé et un aéronef comprenant ledit calculateur. ARRIERE-PLAN TECHNOLOGIQUE DE L’INVENTION L’embarquement de calculateurs dans un aéronef, typiquement un calculateur FADEC (de l’anglais « Full Authority Digital Engine Control »), est fortement restreint par des contraintes de compacité, notamment portant sur la taille, le poids et la consommation en énergie de ces calculateurs. L’enjeu principal est donc de réduire l’encombrement de ces équipements. Certains calculateurs sont connectés à une réserve d’énergie servant à alimenter le calculateur en cas de coupure de courant, que cette coupure soit accidentelle ou non. La réserve d’énergie est adaptée pour alimenter le calculateur durant un temps prédéfini et suffisamment long, dit « durée théorique de décharge ». Cette durée théorique de décharge correspond au temps de décharge totale de la réserve d’énergie lorsque celle-ci n’est pas sujette à une défaillance. La durée théorique de décharge comprend deux phases successives : une phase de transparence et une phase de sauvegarde, cette dernière étant déclenchée lorsque la phase de transparence est achevée. La phase de transparence, d’une durée dite « durée de transparence », permet au calculateur de poursuivre ses opérations jusqu’à la fin de la coupure de courant, lorsque celle-ci est d’une durée inférieure à la durée de transparence. Autrement dit, la phase de transparence permet au calculateur d’être transparent à la coupure de courant tant que celle-ci est plus courte que la durée de transparence. La phase de sauvegarde permet au calculateur, lorsque l’interruption est plus longue que la durée de transparence, de cesser ses opérations et de sauvegarder un ensemble données relatives à son fonctionnement, autrement appelé « contexte ». La phase de sauvegarde est d’une durée dite « durée de sauvegarde », laquelle se déclenche après la durée de transparence. La durée théorique de décharge est donc au moins aussi longue que la somme de la durée de transparence et de la durée de sauvegarde. A force d’utilisation, la capacité d’alimentation et/ou de stockage de la réserve d’énergie s’amenuise jusqu’à ne plus être en mesure d’alimenter le calculateur pour qu’il finalise la sauvegarde du contexte. La phase de sauvegarde ne respecte donc plus la durée de sauvegarde prévue. Par conséquent, il est nécessaire de régulièrement contrôler que la réserve d’énergie ne présente pas de défaillance, typiquement avant d’effectuer une mission avec l’aéronef. Il est connu de contrôler l’état de santé de la réserve d’énergie au moyen d’un dispositif externe. Ce dispositif applique des tests de charge, typiquement en courant et/ou tension, à la réserve d’énergie et évalue son état de santé en comparant les valeurs collectées durant ces tests à des données de référence. Ce type d’approches implique donc d’utiliser un équipement supplémentaire, ce qui est en contradiction avec les contraintes de compacités évoquées plus haut. Il existe donc un besoin d’un moyen de contrôle de l’état de santé de la réserve d’énergie d’un calculateur dans un système contraint en compacité. L’invention offre une solution aux problèmes évoqués précédemment, en permettant l’évaluation de l’état de santé de la réserve d’énergie par le calculateur lui-même, au lieu d’utiliser un dispositif additionnel. Un premier aspect de l’invention concerne un procédé, mis en œuvre par un calculateur, de détermination de l’état de santé d’une réserve d’énergie, la réserve d’énergie étant adaptée pour être activée lorsque le calculateur n’est plus alimenté par une alimentation et pour alimenter le calculateur pendant une durée prédéfinie, dite durée théorique de décharge, la durée théorique de décharge correspondant à la durée d’alimentation du calculateur par la réserve d’énergie en fonctionnement nominal, le procédé comprenant : Après remise en fonctionnement du calculateur suite à une décharge de la réserve d’énergie, obtenir une information relative à ladite décharge, l’information étant déterminée par le calculateur ; Comparer l’information obtenue avec une information de référence et : Lorsque l’information obtenue vérifie une règle basée sur l’information de référence, déterminer que la réserve d’énergie a un état de santé dit nominal ; Lorsque l’information obtenue ne vérifie pas une règle basée l’information de référence, déterminer que la réserve d’énergie a un état de santé dit défaillant. On entend par « réserve d’énergie » un ou plusieurs composants électroniques adaptés pour stocker de l’énergie électrique lorsque le calculateur est alimenté par une source d’énergie tierce, et pour alimenter le calculateur lorsque cette source d’énergie tierce est coupée. Typiquement, une réserve d’énergie comprend un ou plusieurs condensateurs qui restituent au calculateur l’énergie emmagasinée durant leur charge. La réserve d’énergie est adaptée pour alimenter le calculateur durant une durée théorique de décharge, laquelle est par exemple comprise entre 2 ms et 500 ms. On entend par « décharge » la transmission de l’énergie stockée dans la réserve d’énergie au calculateur en cas de coupure de courant. Le terme « décharge » fait ici référence à une décharge totale de la réserve d’énergie, c’est-à-dire que l’énergie stockée dans la réserve est, à la fin de la décharge, entièrement épuisée. Si la réserve d’énergie n’est pas épuisée par la décharge, il est question de « décharge partielle ». On entend par « état de santé » une caractéristique attribuée à la réserve d’énergie qui indique si elle est sujette à une anomalie, par exemple un dysfonctionnement d’un de ses composants, ayant pour conséquence qu’elle n’est pas en mesure d’alimenter suffisamment longtemps le calculateur en cas de coupure de courant pour que le calculateur ait le fonctionnement attendu. En d’autres termes, la défaillance de la réserve d’énergie conduit à une durée de décharge effective, i.e., la durée réellement tenue par la réserve lors de sa décharge, plus courte que la durée théorique de décharge. La réserve d’énergie est donc dans un état de santé dit nominal lorsque la réserve d’énergie se décharge en une durée supérieure ou égale à la durée théorique de décharge. Au contraire, la réserve d’énergie est dans un état de santé dit défaillant lorsque la réserve d’énergie se décharge en une durée inférieure à la durée théorique de décharge. On entend par « remise en fonctionnement » le fait de démarrer le calculateur alors que celui-ci était éteint. En particulier, la remise en fonctionnement est effectuée après la décharge de la réserve d’énergie, à la fin de laquelle le calculateur est donc éteint. La remise en fonctionnement permet de rallumer le calculateur après cette décharge. La décharge peut ici être provoquée par un incident, voulu ou accidentel, qui coupe l’alimentation du calculateur alors que le calculateur est en cours d’utilisation. Par exemple, la décharge peut être provoquée par l’arrêt du calculateur lorsqu’il n’est plus utile de l’utiliser. On entend par « information relative à la décharge » une donnée déterminée par le calculateur et qui caractérise la décharge de la réserve. En particulier, cette donnée indique si la décharge s’est effectuée normalement, c’est-à-dire que la durée de décharge effective a bien atteint la durée théorique de décharge, ou non. L’information est dans un format alphanumérique, typiquement un scalaire, une suite de caractères, un booléen, etc. On entend par « règle basée sur l’information de référence » une ou plusieurs conditions qui, lorsque l’information obtenue est comparée à l’information de référence, permettent de déterminer si l’état de santé est satisfaisant ou défaillant. Grâce à l’invention, il est possible de surveiller l’état de santé d’une réserve d’énergie sans faire appel à un système auxiliaire. La vérification de l’état de santé est directement effectuée par le calculateur dès que celui-ci est redémarré. Avantageusement, la vérification de l’état de santé peut être effectuée au moment du démarrage du calculateur pour une nouvelle utilisation alors que celui-ci a été volontairement arrêté à la fin de l’utilisation précédente. La décharge est alors volontairement provoquée par l’arrêt du calculateur par la fin de l’utilisation précédente. Typiquement, dans le cas où il s’agit d’un calculateur embarqué, par exemple dans un véhicule, tel un aéronef ou une voiture, il est possible de mettre en œuvre le procédé lorsque le véhicule est mis en service pour une nouvelle utilisation et que ce véhicule a été mis hors service à la fin de l’utilisation précédente, provoquant de fait la décharge de la réserve d’énergie. Outre les caractéristiques qui viennent d’être évoquées, le procédé selon le premier aspect de l’invention peut présenter une ou plusieurs caractéristiques complémentaires parmi les suivantes, considérées individuellement ou selon toutes les combinaisons techniquement possibles. Dans un mode de réalisation, le procédé selon le premier aspect comprend : Lorsque l’état de santé est défaillant, émettre une alerte comprenant une indication relative à l’état de santé défaillant. On entend par « alerte » un avertissement transmis vers un opérateur et/ou vers un système de surveillance afin d’alerter l’opérateur et/ou le système de surveillance que la réserve d’énergie a un état de santé défaillant qui ne lui permet plus d’assurer sa fonction durant l’intégralité de la durée théorique de décharge. L’alerte peut être un message vocal, visuel, une donnée alphanumérique transmise vers un mécanisme de déclenchement d’alerte, ou toute autre alerte. On entend par « indication relative à l’état de santé défaillant » une donnée comprise dans l’alerte et qui indique que la réserve d’énergie a un état de santé défaillant. Dans un mode de réalisation, l’information relative à la décharge de la réserve d’énergie est un compteur, une première valeur est assignée au compteur avant l’activation de la réserve d’énergie, le compteur est incrémenté depuis la première valeur jusqu’à une deuxième valeur lorsqu’un instant précédent la fin de la décharge de la réserve d’énergie est atteint, l’instant précédent étant dépendant de la durée théorique de décharge et d’un signal d’horloge, et la règle est que l’information obtenue est égale à l’information de référence, l’information de référence étant égale à la deuxième valeur. On entend par « compteur » un paramètre déterminé, et qui peut être incrémenté, par le calculateur lors de la mise en œuvre du procédé. Typiquement l’incrémentation permet d’indiquer que la décharge est normalement effectuée. Lorsque l’incrémentation n’est pas effectuée, la décharge n’est pas effectuée normalement. On entend par « signal d’horloge » un signal électrique oscillant dont la période est appelée cycle d’horloge. Le signal d’horloge est généré par l’un des composants du calculateur, par exemple par un processeur (en anglais CPU pour « Central Processing Unit ») ou une horloge temps réel (en anglais RTC pour « Real-Time Clock »). A chaque cycle d’horloge, le calculateur déclenche l’une des opérations qu’il doit effectuer, par exemple l’incrément du compteur ou la sauvegarde d’une ou plusieurs données du contexte. On entend par « instant précédent la fin de la décharge » le dernier instant correspondant au dernier cycle d’horloge complet avant la fin théorique de la décharge de la réserve d’énergie. Il est ainsi possible de savoir rapidement et sans nécessiter le stockage de nombreuses données, si la décharge s’est effectuée normalement. En effet, lorsque l’information obtenue est égale à la première valeur, cela signifie que la décharge n’a pas atteint la durée théorique de décharge puisqu’il n'a pas été possible d’affecter la deuxième valeur à l’information relative à la décharge, au dernier instant avant la fin théorique de la décharge. Au contraire, lorsque l’information est égale à la deuxième valeur, cela signifie que la réserve d’énergie fonctionne normalement puisqu’elle a permis d’assigner la deuxième valeur à l’information au dernier instant avant la fin théorique de la décharge, i.e., avant la durée théorique de décharge. Dans un mode de réalisation, après la détermination de l’état de santé de la réserve d’énergie, la première valeur est assignée à l’information relative à la décharge de la réserve d’énergie. Le compteur peut être dans un format très simple, en l’occurrence binaire, réduisant le coût en calcul de la mise en œuvre du procédé selon le premier aspect. A titre d’exemple, le compteur peut prendre une valeur nulle comme première valeur et une valeur non-nulle comme deuxième valeur. D’autres types de valeurs peuvent être utilisés comme les combinaisons TRUE/FALSE, OK/NOK, etc. En outre, l’information relative à la décharge est réinitialisée avant de mettre à nouveau en œuvre le procédé selon le premier aspect. Dans un mode de réalisation, la première valeur est égale à la valeur du compteur incrémenté à l’instant précédent la fin de la pénultième décharge. Le compteur représente ainsi un nombre de décharges ayant eu précédemment lieu et pour lesquelles la durée théorique de décharge a été atteinte. Le compteur peut être incrémenté après chaque décharge effectuée normalement. Par exemple, le compteur est à valeurs entières positives et successives, et à incrément entier positif. Dans un mode de réalisation, une première valeur est assignée à l’information relative à la décharge de la réserve d’énergie avant l’activation de la réserve d’énergie, une deuxième valeur est assignée à l’information relative à la décharge de la réserve d’énergie au cours de la décharge de la réserve d’énergie, la deuxième valeur étant égale à la durée de la décharge, dite durée de décharge effective, et la règle est qu’une différence entre l’information obtenue et l’information de référence est inférieure à un seuil prédéfini, l’information de référence étant la durée théorique de décharge. Dans ce mode de réalisation, l’information relative à la décharge d’énergie correspond à la durée effective de la décharge qui a eu lieu. L’information est donc déterminée quand bien même l’instant précédent la fin théorique de la décharge n’est pas atteint. Il est ainsi possible de déterminer si la durée réelle de la décharge correspond à la durée théorique prévue, en tenant compte d’une marge d’erreur via l’utilisation du seuil prédéfini. Dans un mode de réalisation, après la détermination de l’état de santé de la réserve d’énergie, la première valeur est assignée à l’information relative à la décharge de la réserve d’énergie. Il est ainsi possible de réinitialiser l’information relative à la décharge avant de mettre à nouveau en œuvre le procédé selon le premier aspect. Dans un mode de réalisation, le procédé selon le premier aspect comprend en outre : Prédire une défaillance de la réserve d’énergie, la défaillance étant prédite lorsqu’une différence entre la durée théorique de décharge et une durée de décharge future est supérieure ou égale au seuil prédéfini, la durée de décharge future étant associée à un nombre d’activations futures de la réserve d’énergie et étant déterminée à partir d’une évolution de la durée de décharge, l’évolution de la durée de décharge étant déterminée pour deux ou plus décharges de la réserve d’énergie antérieures à la remise en fonctionnement du calculateur. Il est ainsi possible de s’appuyer sur un historique des durées de décharges effectives, déterminées par des mises en œuvre précédentes du procédé selon le premier aspect, pour prédire quand interviendra la défaillance de la réserve d’énergie. La date à laquelle interviendra la défaillance est préférentiellement estimée en nombre d’activation de la réserve jusqu’à cette défaillance. Il s’agit donc d’un nombre d’utilisation de cette réserve d’énergie. Un deuxième aspect de l’invention concerne un calculateur configuré pour mettre en œuvre le procédé selon le premier aspect. Un troisième aspect de l’invention concerne un aéronef comprenant un calculateur selon le deuxième aspect. Un quatrième aspect de l’invention concerne un produit-programme d’ordinateur comprenant des instructions qui, quand le programme est exécuté sur un ordinateur, conduisent celui-ci à mettre en œuvre les étapes du procédé selon le premier aspect. Un cinquième aspect de l’invention concerne un support d'enregistrement lisible par ordinateur comprenant des instructions qui, lorsqu'elles sont exécutées par un ordinateur, conduisent celui-ci à mettre en œuvre les étapes du procédé selon le premier aspect. L’invention et ses différentes applications seront mieux comprises à la lecture de la description qui suit et à l’examen des figures qui l’accompagnent. BREVE DESCRIPTION DES FIGURES Les figures sont présentées à titre indicatif et nullement limitatif de l’invention. La FIG. 1 est une représentation schématique d’un véhicule comprenant un calculateur embarqué. La FIG. 2 est un schéma synoptique illustrant l’enchaînement des étapes d’un procédé selon un mode de réalisation. La FIG. 3 est un schéma synoptique illustrant l’enchaînement des étapes du procédé selon un autre mode de réalisation. La FIG. 4 est un schéma synoptique illustrant l’enchainement des étapes d’un procédé menant à la mise en œuvre du procédé des figures 2 ou 3. DESCRIPTION DETAILLEE Sauf précision contraire, un même élément apparaissant sur des figures différentes présente une référence unique. Afin de réduire l’encombrement des systèmes embarqués, notamment dans un aéronef tel un avion, un hélicoptère ou un drone, l’invention décrite ci-après propose un procédé permettant à ce système embarqué de déterminer par lui-même si la réserve d’énergie de son calculateur fonctionne correctement ou si elle présente un dysfonctionnement. Bien que l’invention et ses différentes variantes soient présentées dans le cas d’un calculateur embarqué dans un aéronef, l’approche proposée peut tout à fait s’appliquer à n’importe quel autre type de véhicule ou système embarquant un calculateur alimenté par une réserve d’énergie en cas de coupure de l’alimentation qui alimente le calculateur. Ainsi qu’illustré sur la FIG. 1 , le calculateur 10 est embarqué dans un système, ici un véhicule 1 tel un avion, un drone ou un hélicoptère. Le calculateur 10 est connecté à une alimentation 12, laquelle pourvoit l’alimentation au calculateur 10. Le calculateur 10 est également connecté à une réserve d’énergie 11, laquelle remplace l’alimentation 12 en cas de coupure de courant. Un interrupteur 13 est connecté entre la réserve d’énergie 13 et le calculateur 10. L’interrupteur 13 est piloté par un contrôleur 14, lequel sert à fermer l’interrupteur 13 en cas de coupure de courant. Le contrôleur 14 est également connecté à l’alimentation et sert à détecter une coupure de courant. Lorsqu’il n’y a pas de coupure de courant, l’interrupteur 13 est ouvert, ce qui permet à la réserve d’énergie 11 d’emmagasiner de l’énergie. Cette énergie est restituée au calculateur lors d’une décharge de la réserve d’énergie 11. Afin de surveiller que la réserve d’énergie 11 est en capacité d’alimenter le calculateur 10 conformément à une durée théorique de décharge, l’invention porte sur un procédé 100 de détermination de l’état de santé d’une réserve d’énergie 11, ainsi qu’illustré sur la FIG. 2 . La durée théorique de décharge représente la durée durant laquelle la réserve d’énergie 11 doit alimenter le calculateur 10 lorsque la réserve d’énergie ne présente pas de dysfonctionnement. La durée théorique de décharge correspond donc à un état de santé dit nominal pour la réserve d’énergie 11. Le procédé 100 est mis en œuvre par le calculateur 10 lui-même, qui est donc adapté pour mettre en œuvre ce procédé 100. Le calculateur comprend au moins un processeur. Le calculateur comprend également une mémoire, volatile et/ou non-volatile. Le calculateur comprend des instructions, par exemple stockées dans sa mémoire volatile ou non-volatile, qui, lorsqu’elles sont exécutées par le processeur dudit calculateur, conduisent le processeur, et donc le calculateur, à mettre en œuvre le procédé 100. Le calculateur peut être n’importe quel type de calculateur. A titre d’exemple de réalisation, le calculateur 10 est un calculateur FADEC (de l’anglais « Full Authority Digital Engine Control »). Dans l’exemple de mise en œuvre présenté, le procédé 100 est mis en œuvre au travers d’un procédé 200, ainsi qu’illustré sur la FIG. 4 , de surveillance du fonctionnement de la réserve d’énergie 11 du système 1. Le procédé 100 pourrait cependant être mis en œuvre dans un tout autre cadre que celui proposé en exemple et être, par exemple, mis en œuvre individuellement. Le procédé 200 comprend une étape 210 de coupure de l’alimentation du véhicule 1. Cette coupure d’alimentation peut être volontaire, typiquement parce l’utilisation du véhicule 1 est terminée, ou être accidentelle, par exemple du fait d’un dysfonctionnement de l’alimentation 12. A titre d’exemple, dans le cas d’un aéronef, l’alimentation 12 du véhicule 1 est coupée à la fin de la mission pour laquelle l’aéronef est utilisé. Le procédé 200 comprend également une étape 220 d’activation de la réserve d’énergie 11, du fait de l’arrêt de l’alimentation, laquelle alimente alors le calculateur jusqu’à sa décharge complète. Le procédé 200 comprend également une étape 230 d’arrêt du calculateur 10 lorsque la décharge de la réserve d’énergie 11 est terminée, c’est-à-dire que la réserve d’énergie est épuisée. Le procédé 200 comprend également une étape 240 de remise en fonctionnement du calculateur par remise en fonctionnement de l’alimentation 12 du véhicule 1. A titre d’exemple, dans le cas d’un aéronef, l’alimentation 12 du véhicule 1 est coupée à la fin de la mission pour laquelle l’aéronef est utilisé, puis est remise en fonctionnement pour la mission suivante. Le procédé 200 comprend également une étape 250 de mise en œuvre du procédé 100. Le procédé 100 comprend une étape 110 d’obtention d’une information relative à la décharge de la réserve d’énergie. Cette étape 110 est mise en œuvre après la remise en fonctionnement du calculateur. Autrement dit, cette étape 110 est mise en œuvre après redémarrage du calculateur. Le calculateur a donc été arrêté avant la mise en œuvre du procédé 100, ce qui a provoqué la décharge de la réserve d’énergie 11, par exemple via la mise en œuvre du procédé 200. L’invention se place donc dans le cas où une coupure de courant a été plus longue que la durée de transparence, ce qui a déclenché la décharge complète de la réserve d’énergie, avant la mise en œuvre du procédé 100. Le procédé 100 comprend également une étape 120 de comparaison de l’information obtenue avec une information de référence. L’information de référence est préférentiellement de même nature que l’information obtenue, de sorte à réduire le nombre de calculs nécessaires à l’analyse de l’information obtenue. L’information de référence est prédéfinie, par exemple par un opérateur, un fabricant, via un outil de simulation, etc. L’information de référence indique une caractéristique, par exemple de même nature que l’information obtenue, de la réserve d’énergie lorsque celle-ci fonctionnement normalement, i.e., est dans un état de santé nominal. Il est donc vérifié, par la mise en œuvre de cette étape 120 de comparaison, si l’information obtenue respecte une règle vis-à-vis de l’information de référence. Autrement dit, il s’agit de vérifier si l’information obtenue est conforme à l’information de référence, laquelle représente le comportement nominal de la réserve d’énergie. En particulier, lorsque la règle en question est vérifiée par l’information obtenue, alors le calculateur 10 détermine que la réserve d’énergie 11 a un état de santé nominal. Au contraire, lorsque cette règle n’est pas respectée, le calculateur 10 détermine que la réserve d’énergie 11 a un état de santé défaillant. La réserve d’énergie 11 est donc sujette à un dysfonctionnement. Le procédé 100 peut, en outre, comprendre une étape 130 d‘émission d’une alerte lorsque l’état de santé de la réserve d’énergie 11 est défaillant. L’alerte comprend une indication portant sur l’état de santé défaillant. L’alerte est par exemple émise, par le calculateur 10, vers un dispositif tiers, par exemple un dispositif d’affichage qui affiche pour un opérateur le contenu de l’alerte, vers un actionneur adapté pour actionner un voyant lumineux et/ou sonore lorsque l’alerte est émise, ou vers tout autre dispositif tiers. Alternativement, l’alerte peut être émise vers une application et/ou un système dédié à la surveillance des éléments, dispositifs et systèmes compris dans le véhicule 1. L’application et/ou le système de surveillance peut ainsi analyser l’alerte et effectuer automatiquement des tests sur la réserve d’énergie 11 avant d’en informer l’opérateur. Des exemples de réalisation du procédé 100 sont proposés ci-après. Au travers de ces différents modes de réalisation, il peut être apprécié que l’information relative à la décharge de la réserve d’énergie 11 est définie comme étant égale à une première valeur avant l’activation de la décharge de la réserve d’énergie 11. Cette assignation de la première valeur à l’information relative à la décharge de la réserve d’énergie, ainsi que la nature et la définition de cette première valeur, sont dépendantes de la variante de réalisation concernée. Il peut également être apprécié que le déclenchement de la décharge peut entraîner la modification de l’information relative à la décharge de la réserve d’énergie 11. En d’autres termes, durant la décharge de la réserve d’énergie 11, la valeur que prend l’information relative à la décharge peut être modifiée afin d’être égale à une deuxième valeur. Typiquement, l’assignation de la deuxième valeur à l’information relative à la décharge de la réserve d’énergie peut avoir lieu au cours de la décharge, de façon ponctuelle ou de façon périodique tout au long de la durée de la décharge, en fonction de la variante de réalisation mise en œuvre. Dans un premier mode de réalisation, l’information relative à la décharge de la réserve d’énergie 11 est un compteur. La première valeur est ainsi affectée, c’est-à-dire assignée, par le calculateur 10 au compteur avant que la décharge d’énergie soit déclenchée. Le compteur prend donc la première valeur avant que la décharge d’énergie soit déclenchée. Typiquement, le calculateur assigne la première valeur au compteur lors de l’utilisation précédente du véhicule, avant qu’une coupure de courant n'ait lieu, par exemple durant une étape 205 du procédé 200, antérieure à l’étape 210 de coupure de l’alimentation. Cette assignation peut être alternativement mise en œuvre avant la mise en œuvre du procédé 200. Alternativement encore, l’assignation de la première valeur au compteur peut être mise en œuvre à la fin d’une précédente mise en œuvre du procédé 100. L’assignation de la première valeur au compteur est préférentiellement effectuée après la pénultième décharge de la réserve d’énergie, par exemple après la décharge précédent la décharge de l’étape 220 du procédé 200. Lorsque la décharge atteint la durée théorique de décharge, plus particulièrement lorsque l’instant qui précède cette durée théorique de décharge est atteint, le compteur est incrémenté, c’est-à-dire qu’il est modifié, pour être égal à la deuxième valeur. L’instant précédent la fin de la décharge est défini en termes de cycle d’horloge d’un des composants du calculateur 10. Cet instant précédent est donc dépendant de la durée théorique de décharge et du signal d’horloge généré par l’un des composants du calculateur 10. Dans l’exemple proposé, le signal d’horloge est généré par le processeur du calculateur 10, mais peut alternativement être généré par un autre composant tel qu’une horloge temps-réel comprise dans la calculateur 10. L’instant précédent correspond alors au dernier cycle d’horloge complet généré avant la fin théorique de la décharge, i.e., la durée théorique de décharge, ou à une valeur prédéfinie dépendant d’un nombre de cycles d’horloges avant la fin de la durée théorique de décharge. L’instant précédent est donc l’ultime instant avant la durée théorique de décharge auquel le calculateur 10 est suffisamment alimenté pour effectuer une dernière opération, i.e., l’incrément du compteur. Dans ce premier mode de réalisation, pour déterminer l’instant précédent la durée théorique de décharge, le calculateur 10 doit mesurer le temps écoulé depuis l’activation de la réserve d’énergie. Cette détermination est effectuée en comptant le nombre de cycles d’horloge du composant considéré du calculateur 10, évoqué plus haut. La durée d’un cycle d’horloge étant connue, le calculateur est donc en mesure d’évaluer le temps écoulé depuis le début de la décharge. Ainsi, lorsque ce temps écoulé correspond à l’instant précédent la fin théorique de la décharge, le calculateur 10 effectue alors la modification du compteur. Alternativement, le calculateur 10 mesure le temps écoulé depuis le début de la phase de sauvegarde de la durée théorique de la décharge. Dans ce cas, la durée théorique de décharge est égale à la durée théorique de sauvegarde, i.e., la durée théoriquement prévue pour la phase de sauvegarde, et non pas la durée totale de la décharge, incluant aussi la phase de transparence. La règle permettant de définir si la réserve d’énergie 11 a un état de santé nominal ou défaillant est que l’information obtenue, i.e., le compteur, lequel prend la première ou à la deuxième valeur en fonction du succès de l’incrémentation, est égale à l’information de référence. En particulier, l’information de référence est, dans ce mode de réalisation, égale à la deuxième valeur. Autrement dit, à la mise en œuvre de l’étape 120 de comparaison, si l’information obtenue est égale à la deuxième valeur, alors la réserve d’énergie 11 a un état de santé nominal. Si l’information obtenue est, au contraire, égale à la première valeur, la réserve d’énergie 11 a un état de santé défaillant. Dans une première variante de ce premier mode de réalisation, le compteur est un compteur binaire, dont la première valeur est sa valeur initiale (par exemple, 0, False, NOK, etc.), et la deuxième valeur est sa valeur finale (1, True, OK, etc., respectivement). Dans cette première variante, afin d’assurer que le compteur est réinitialisé avant la prochaine décharge, le procédé 100 peut comprendre une étape 140, après l’étape 120 de comparaison, de modification de l’information relative à la décharge pour assigner la première valeur à l’information relative à la décharge. Le cas échéant, cette étape 140 de réinitialisation du compteur peut être mise en œuvre avant, après ou concurremment à l’étape 130 d’émission de l’alerte. Dans une deuxième variante de ce premier mode de réalisation, le compteur est un compteur non-binaire à pas d’incrémentation prédéfini, par exemple un pas entier tel un pas unitaire. Le compteur sert alors à indiquer le nombre de décharges effectuées normalement, i.e., dont la durée de décharge est au moins égale à la durée théorique de décharge. Le compteur est alors incrémenté du pas choisi après chaque décharge effectuée normalement. Ainsi, à la mise en œuvre du procédé 100, le compteur est déjà égal à la première valeur, laquelle correspond à la valeur du compteur lors de la pénultième décharge effectuée normalement, à l’instant précédent la fin théorique de la décharge. Il n’y a donc pas d’étape de réinitialisation du compteur dans cette variante du premier mode de réalisation. La deuxième valeur est donc la première valeur à laquelle est additionnée l’incrément du pas choisi, par exemple un pas de 1. Dans ce mode de réalisation, un compteur dont la deuxième valeur est 13 indique que la décharge de la réserve d’énergie s’est effectuée normalement 13 fois. Dans un deuxième mode de réalisation, l’information relative à la décharge est une mesure de la durée effective de la décharge, i.e., de la durée réelle de la décharge et non sa durée théorique. La durée effective est ensuite comparée à la durée théorique pour évaluer si la réserve d’énergie 11 fonctionne normalement. La mesure de la durée effective de la décharge est donc effectuée par le calculateur avant sa remise en fonctionnement, donc avant la mise en œuvre du procédé 100. Dans ce mode de réalisation, la première valeur est affectée, i.e., assignée, par le calculateur 10 à l’information relative à la décharge avant que la décharge d’énergie soit déclenchée. Typiquement, le calculateur effectue l’assignation à la première valeur lors de l’utilisation précédente du véhicule, avant qu’une coupure de courant n'ait lieu, par exemple durant une étape 205 du procédé 200, antérieure à l’étape 210 de coupure de l’alimentation. Alternativement, l’assignation de la première valeur au compteur peut être mise en œuvre à la fin d’une précédente mise en œuvre du procédé 100. L’assignation de la première valeur au compteur est préférentiellement effectuée après la pénultième décharge de la réserve d’énergie, par exemple après la décharge précédent la décharge de l’étape 220 du procédé 200. Le compteur est donc initialisé à la première valeur, par exemple une valeur prédéfinie, telle qu’une valeur nulle. La durée effective de décharge est évaluée par le calculateur suivant la base de temps imposée par le signal d’horloge de l’un de ses composants. Dans l’exemple exposé, le signal d’horloge est généré par le processeur du calculateur 10, mais il peut alternativement être généré par un autre composant tel qu’une horloge temps-réel comprise dans la calculateur 10. Dans ce mode de réalisation, le calculateur 10 détermine donc le temps écoulé depuis l’activation de la réserve d’énergie. Cette détermination est effectuée en comptant le nombre de cycles d’horloge du composant considéré du calculateur 10, comme évoqué plus haut. La durée d’un cycle d’horloge étant connue, le calculateur est donc en mesure d’évaluer à tout instant le temps écoulé depuis le début de la décharge. Le calculateur assigne la deuxième valeur à l’information relative à la décharge à chaque instant correspondant à un cycle d’horloge jusqu’à ce que la réserve d’énergie 11 soit épuisée. La deuxième valeur correspond alors à la valeur à laquelle l’information est assignée à la dernière assignation. La deuxième valeur est donc égale à la durée effective de la décharge. Ainsi, lorsque l’étape 110 est mise en œuvre, l’information relative à la décharge obtenue par le calculateur est cette deuxième valeur. Alternativement, le calculateur 10 détermine le temps écoulé depuis le début de la phase de sauvegarde de la durée théorique de la décharge. La deuxième valeur correspond alors à la durée effective de décharge depuis le début de la phase de sauvegarde. Dans ce cas, la durée théorique de décharge est égale à la durée théorique de sauvegarde, i.e., la durée théoriquement prévue pour la phase de sauvegarde, et non pas la durée totale de la décharge, cette dernière incluant aussi la phase de transparence. Dans ce mode de réalisation, l’information de référence est donc la durée théorique de décharge. La règle que l’information obtenue doit respecter est donc qu’une différence calculée entre l’information de référence, i.e., la durée théorique de décharge, et l’information obtenue, i.e., la deuxième valeur, est inférieure à un seuil prédéfini. Ce seuil est prédéfini par l’opérateur ou le fabricant ou via un outil de simulation, ou de toute autre manière. A titre d’exemple, le seuil prédéfini est égal à 1 %, 2 %, 5 %, voire 10 % de la durée théorique de décharge. La différence entre l’information obtenue et l’information de référence est calculée en valeur absolue. La différence peut être calculée en valeur absolue. Dans ce mode de réalisation, afin d’assurer que l’information relative à la décharge est réinitialisée avant la prochaine décharge, le procédé 100 peut comprendre une étape 140, après l’étape 120 de comparaison, de modification de l’information relative à la décharge pour assigner la première valeur à l’information relative à la décharge. Le cas échéant, cette étape 140 de réinitialisation peut être mise en œuvre, avant, après ou concurremment à l’étape 130 d’émission de l’alerte. Dans une variante du deuxième mode de réalisation, ainsi qu’illustré sur la FIG. 3 , le procédé 100 peut comprendre une étape 150 de prédiction d’une future défaillance de la réserve d’énergie, ultérieure à l’étape 120 de comparaison. Cette étape 150 de prédiction est mise en œuvre lorsqu’il est déterminé, à l’étape 120 de comparaison, que l’état de santé est nominal. En effet, la détermination de la durée de décharge effective de la réserve d’énergie 11 pour plusieurs décharges successives, au moins deux décharges, permet de créer un historique de cette durée effective de décharge. Il est donc possible de déterminer une évolution de la durée effective de décharge en fonction du nombre de décharges de la réserve d’énergie. L’évolution de la durée effective de décharge peut être modélisée via une fonction d’interpolation ou de régression, par exemple une fonction linéaire ou non linéaire, ou par une approche plus sophistiquée, par exemple reposant sur de l’apprentissage automatique. Ainsi, lorsque pour une décharge future, le calculateur 10 détermine que la différence entre la durée théorique de décharge et la durée effective de décharge prédite par le modèle ne respecte pas le seuil prédéfini, i.e., que la différence est supérieure ou égale à ce seuil, alors il est prédit qu’une défaillance aura lieu à cette décharge future. En conséquence, cette décharge future sera plus courte que la durée théorique prévue, en tenant compte de la tolérance portée par le seuil prédéfini. Le procédé 100 peut alors également comprendre une étape 160 d’émission d’une indication relative au nombre de décharges avant la défaillance prédite par le modèle. L’indication est, par exemple, adressée à l’opérateur pour prévoir une maintenance, ou application dédiée à la surveillance des éléments, dispositifs et systèmes compris dans le véhicule 1. L’application de surveillance peut ainsi anticiper la défaillance et informer ou prévoir une maintenance avant l’occurrence de la défaillance. Dans les différents modes de réalisation présentés, l’information relative à la décharge est préférentiellement enregistrée dans la mémoire non-volatile du calculateur 10. Ainsi, à chaque assignation et/ou initialisation, la valeur qui est stockée en mémoire est modifiée pour correspondre à la valeur affectée lors de ladite assignation et/ou initialisation, respectivement. Le calculateur 10 est donc adapté pour écrire l’information relative à la décharge dans la mémoire concernée. De même, afin d’évaluer si la durée théorique de décharge est atteinte, ou pour effectuer la comparaison dans le deuxième mode de réalisation, la durée théorique de décharge est préférentiellement stockée dans la mémoire non-volatile du calculateur 10. Cette durée peut alternativement être stockée dans la mémoire volatile, à condition que le calculateur obtienne cette donnée avant la décharge, par exemple au travers d’un dispositif tiers qui lui transmet cette information ou par renseignement par l’opérateur. Par ailleurs, le calculateur 10 est en outre adapté pour détecter ou être informé par le contrôleur 14 de l’activation de la décharge, par des approches connues en soi. Dans, les différents modes de réalisation, lorsque la durée théorique de décharge est égale à la durée de sauvegarde, le calculateur est adapté, par des techniques connues en soi, pour déterminer la fin de la phase de transparence et le début de la phase de sauvegarde, afin de déclencher la mesure du temps écoulé. Dans les différents modes de réalisation, il est possible de sauvegarder le résultat de la comparaison, i.e., l’état de santé déterminé, et de l’associer à une ou plusieurs données relatives à la décharge ou à l’utilisation du véhicule 1 au cours de laquelle la décharge a eu lieu. Par exemple, la donnée relative à la décharge peut être la date de la décharge, le numéro de mission associée à la dernière utilisation du véhicule 1, des conditions environnementales dans lesquelles le véhicule 1 était utilisé lors de cette dernière utilisation, etc. Procédé, mis en œuvre par un calculateur, de détermination de l’état de santé d’une réserve d’énergie, la réserve d’énergie étant adaptée pour être activée lorsque le calculateur n’est plus alimenté par une alimentation et pour alimenter le calculateur pendant une durée prédéfinie, dite durée théorique de décharge, la durée théorique de décharge correspondant à la durée d’alimentation du calculateur par la réserve d’énergie en fonctionnement nominal, le procédé comprenant : Après remise en fonctionnement du calculateur suite à une décharge de la réserve d’énergie, obtenir une information relative à ladite décharge, l’information étant déterminée par le calculateur ; Comparer l’information obtenue avec une information de référence et : Lorsque l’information obtenue vérifie une règle basée sur l’information de référence, déterminer que la réserve d’énergie a un état de santé dit nominal ; Lorsque l’information obtenue ne vérifie pas une règle basée l’information de référence, déterminer que la réserve d’énergie a un état de santé dit défaillant. Procédé selon la revendication précédente, comprenant : Lorsque l’état de santé est défaillant, émettre une alerte comprenant une indication relative à l’état de santé défaillant. Procédé selon l’une des revendications 1 et 2, dans lequel l’information relative à la décharge de la réserve d’énergie est un compteur, une première valeur est assignée au compteur avant l’activation de la réserve d’énergie, le compteur est incrémenté depuis la première valeur jusqu’à une deuxième valeur lorsqu’un instant précédent la fin de la décharge de la réserve d’énergie est atteint, l’instant précédent étant dépendant de la durée théorique de décharge et d’un signal d’horloge, et la règle est que l’information obtenue est égale à l’information de référence, l’information de référence étant égale à la deuxième valeur. Procédé selon la revendication 3, dans lequel, après la détermination de l’état de santé de la réserve d’énergie, la première valeur est assignée à l’information relative à la décharge de la réserve d’énergie. Procédé selon la revendication 3, dans lequel la première valeur est égale à la valeur du compteur incrémenté à l’instant précédent la fin de la pénultième décharge. Procédé selon l’une des revendications 1 et 2, dans lequel une première valeur est assignée à l’information relative à la décharge de la réserve d’énergie avant l’activation de la réserve d’énergie, une deuxième valeur est assignée à l’information relative à la décharge de la réserve d’énergie au cours de la décharge de la réserve d’énergie, la deuxième valeur étant égale à la durée de la décharge, dite durée de décharge effective, et la règle est qu’une différence entre l’information obtenue et l’information de référence est inférieure à un seuil prédéfini, l’information de référence étant la durée théorique de décharge. Procédé selon la revendication 6, dans lequel après la détermination de l’état de santé de la réserve d’énergie, la première valeur est assignée à l’information relative à la décharge de la réserve d’énergie. Procédé selon l’une des revendication 6 et 7, comprenant en outre : Prédire une défaillance de la réserve d’énergie, la défaillance étant prédite lorsqu’une différence entre la durée théorique de décharge et une durée de décharge future est supérieure ou égale au seuil prédéfini, la durée de décharge future étant associée à un nombre d’activations futures de la réserve d’énergie et étant déterminée à partir d’une évolution de la durée de décharge, l’évolution de la durée de décharge étant déterminée pour deux ou plus décharges de la réserve d’énergie antérieures à la remise en fonctionnement du calculateur. Calculateur configuré pour mettre en œuvre le procédé selon l’une des revendications 1 à 8. Aéronef comprenant un calculateur selon la revendication précédente.