Brevet FR3103038A1 — publié le 20210514

Procédé et dispositif électronique de surveillance d’une application logicielle avionique via des compteurs d’appel(s) système, programme d’ordinateur et système avionique associés Ce dispositif électronique (20) de surveillance d’au moins une application logicielle avionique (14) apte à être exécutée sur une plateforme hébergeant un système d’exploitation (18) offrant des services, comprend : - un module d’acquisition de valeurs respectives de premier (23) et deuxième (24) compteurs d’appel(s) émis par l’application logicielle (14) surveillée à un ou plusieurs services du système d’exploitation, le premier compteur (23) étant incrémenté à chaque appel réussi (25) et le deuxième compteur (24) étant incrémenté à chaque appel en erreur (26) ; - un module de comparaison des valeurs respectives des premier (23) et deuxième (24) compteurs avec des premier et deuxième seuils respectifs ; et - un module de génération d’un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle (14), correspondant au premier compteur (23) inférieur au premier seuil au cours d’une période prédéfinie et/ou au deuxième compteur (24) supérieur au deuxième seuil. Figure pour l'abrégé : Figure 2 Procédé et dispositif électronique de surveillance d’une application logicielle avionique via des compteurs d’appel(s) système, programme d’ordinateur et système avionique associés La présente invention concerne également un dispositif électronique de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme hébergeant un système d’exploitation, la plateforme étant destinée à être embarquée à bord d’un aéronef. L’invention concerne également un système électronique avionique comprenant une mémoire apte à stocker au moins une application logicielle avionique ; une plateforme apte à exécuter chaque application logicielle avionique, la plateforme hébergeant un système d’exploitation ; et un tel dispositif électronique de surveillance de chaque application logicielle avionique. L’invention concerne un procédé de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme hébergeant un système d’exploitation, la plateforme étant destinée à être embarquée à bord d’un aéronef, le procédé étant mis en œuvre par un tel dispositif électronique de surveillance. L’invention concerne également un programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un ordinateur, mettent en œuvre un tel procédé de surveillance. L’invention concerne le domaine de la cyber-sécurité et de la sûreté de fonctionnement (de l’anglais safety ) des plateformes avioniques embarquées, en particulier de la surveillance des applications logicielles exécutées sur de telles plateformes avioniques embarquées. On connait du document FR 3 065 945 A1 un procédé et un dispositif électronique de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme comportant des ressources et hébergeant un système d’exploitation, la plateforme étant destinée à être embarquée à bord d’un aéronef. Cette surveillance est effectuée via la mise en œuvre d’au moins une surveillance parmi une surveillance syntaxique de chaque appel émis par l’application à destination du système d’exploitation, une surveillance sémantique de chaque appel émis par l’application à destination du système d’exploitation, une surveillance d’une dynamique des appels émis par l’application à destination du système d’exploitation, et une surveillance de l’utilisation par l’application des ressources de la plateforme. Cette surveillance comporte alors la génération d’un signal d’alerte en cas de détection d’un comportement anormal de l’application lors de la mise en œuvre d’au moins l’une des dites surveillances. Toutefois, une telle surveillance est relativement complexe. On connait du document « S ystem calls instrumentation for intrusion detection in embeded mix ed-criticality systems » de Kadar et al, 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), un procédé de surveillance des appels au système d’exploitation (de l’anglais system call ) utilisant un traceur d’appels système, intégré au noyau du système d’exploitation. Un tel traçage permet alors de détecter une intrusion à l’intérieur du système embarqué faisant l’objet de cette surveillance. Toutefois, un tel traçage des appels système est relativement complexe et a en outre un impact sur le temps-réel, ce traçage entraînant des délais additionnels, ainsi que discuté dans ce document. Le but de l’invention est alors de proposer un dispositif électronique et un procédé de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme avionique, qui permettent de détecter plus efficacement une attaque visant l’application logicielle ou un comportement anormal de l’application logicielle. A cet effet, l’invention a pour objet un dispositif électronique de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme hébergeant un système d’exploitation offrant des services, la plateforme étant destinée à être embarquée à bord d’un aéronef, le dispositif électronique de surveillance comprenant : - un module d’acquisition configuré pour acquérir des valeurs respectives de premier et deuxième compteurs pour chaque application logicielle surveillée, les premier et deuxième compteurs étant chacun un compteur d’appel(s) émis par l’application logicielle surveillée à un ou plusieurs services du système d’exploitation, le premier compteur étant incrémenté à chaque appel réussi à un service respectif et le deuxième compteur étant incrémenté à chaque appel en erreur ; - un module de comparaison configuré pour comparer les valeurs respectives des premier et deuxième compteurs, acquises pour chaque application logicielle surveillée, avec des premier et deuxième seuils respectifs ; et - un module de génération configuré pour générer un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle surveillée, correspondant au premier compteur de valeur inférieure au premier seuil au cours d’une période temporelle prédéfinie et/ou au deuxième compteur de valeur supérieure au deuxième seuil. Ainsi, avec le dispositif électronique de surveillance selon l’invention, l’acquisition des valeurs respectives des premier et deuxième compteurs, puis leur comparaison à des premier et deuxième seuils respectifs permet de vérifier simplement si chaque application logicielle surveillée est toujours en vie, i.e. opérationnelle, et de générer un signal d’alerte en cas de détection d’un comportement anormal de l’application surveillée. En outre, l’implémentation de cette surveillance est simple, et l’impact sur le temps-réel est alors limité, puisqu’un seul et unique compteur est mis à jour à chaque appel système d’une application logicielle, chaque compteur étant en outre directement implémenté par le système d’exploitation. Ainsi, la surveillance des applications logicielles se limite à surveiller l’évolution des premier et deuxième compteurs pour chaque application, et la simplicité de ce mécanisme permet alors une surveillance sans dégradation des performances du système électronique avionique. Suivant d’autres aspects avantageux de l’invention, le dispositif de surveillance comprend une ou plusieurs des caractéristiques suivantes, prises isolément ou suivant toutes les combinaisons techniquement possibles : - le premier compteur comporte un ensemble de premiers compteurs élémentaires, chaque premier compteur élémentaire étant associé à un type d’appel émis par l’application logicielle surveillée à destination du système d’exploitation, un unique premier compteur élémentaire dudit ensemble étant incrémenté à chaque appel réussi, et le module d’acquisition est configuré pour acquérir la valeur respective de chacun des premiers compteurs élémentaires dudit ensemble ; le module de comparaison est configuré pour comparer les valeurs respectives des premiers compteurs élémentaires avec des premiers seuils élémentaires respectifs ; et le module de génération est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle surveillée, correspondant à au moins l’un des premiers compteurs élémentaires de valeur inférieure au premier seuil élémentaire respectif au cours de la période temporelle prédéfinie ; - chaque type d’appel est choisi parmi le groupe consistant en : un appel à un service d’acquisition d’entrée(s)/sortie(s), un appel à un service de gestion de processus, un appel à un service de gestion de protocole(s) de communication et la gestion d’une temporisation, en particulier son déclenchement ; - le deuxième compteur comporte un ensemble de deuxièmes compteurs élémentaires, chaque deuxième compteur élémentaire étant associé à un type d’erreur, un unique deuxième compteur élémentaire dudit ensemble étant incrémenté à chaque appel en erreur, et le module d’acquisition est configuré pour acquérir la valeur respective de chacun des deuxièmes compteurs élémentaires dudit ensemble ; le module de comparaison est configuré pour comparer les valeurs respectives des deuxièmes compteurs élémentaires avec des deuxièmes seuils élémentaires respectifs ; et le module de génération est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle surveillée, correspondant à au moins l’un des deuxièmes compteurs élémentaires de valeur supérieure au deuxième seuil élémentaire respectif ; - chaque type d’erreur est choisi parmi le groupe consistant en : une erreur résultant d’un format d’appel erroné, une erreur résultant d’un problème matériel, une erreur résultant d’un appel service provoquant un accès mémoire non-autorisé et une erreur résultant d’un appel service non-autorisé ; - le module d’acquisition est configuré pour acquérir régulièrement les valeurs respectives des premier et deuxième compteurs pour chaque application logicielle surveillée, le module d’acquisition étant de préférence configuré pour acquérir à une fréquence d’acquisition prédéfinie lesdites valeurs respectives des premier et deuxième compteurs, la fréquence d’acquisition prédéfinie étant de préférence supérieure à 2 Hz, de préférence encore sensiblement comprise entre 10 Hz et 20 Hz ; et - la période temporelle prédéfinie est de valeur sensiblement comprise entre 100 ms et 500 ms, de préférence sensiblement égale à 200 ms. L’invention a également pour objet un système électronique avionique comprenant : - une mémoire apte à stocker au moins une application logicielle avionique ; - une plateforme apte à exécuter chaque application logicielle avionique, la plateforme hébergeant un système d’exploitation offrant des services ; et - un dispositif électronique de surveillance de chaque application logicielle avionique, le dispositif électronique de surveillance étant tel que défini ci-dessus. L’invention a également pour objet un procédé de surveillance d’une application logicielle avionique apte à être exécutée sur une plateforme hébergeant un système d’exploitation offrant des services, la plateforme étant destinée à être embarquée à bord d’un aéronef, le procédé étant mis en œuvre par un dispositif électronique de surveillance et comprenant les étapes consistant à : - acquérir des valeurs respectives de premier et deuxième compteurs pour chaque application logicielle surveillée, les premier et deuxième compteurs étant chacun un compteur d’appel(s) émis par l’application logicielle surveillée à un ou plusieurs services du système d’exploitation, le premier compteur étant incrémenté à chaque appel réussi à un service respectif et le deuxième compteur étant incrémenté à chaque appel en erreur ; - comparer les valeurs respectives des premier et deuxième compteurs, acquises pour chaque application logicielle surveillée, avec des premier et deuxième seuils respectifs ; et - générer un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle surveillée, correspondant au premier compteur de valeur inférieure au premier seuil au cours d’une période temporelle prédéfinie et/ou au deuxième compteur de valeur supérieure au deuxième seuil. L’invention a également pour objet un programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un ordinateur, mettent en œuvre un procédé de surveillance, tel que défini ci-dessus. Ces caractéristiques et avantages de l’invention apparaîtront plus clairement à la lecture de la description qui va suivre, donnée uniquement à titre d’exemple non limitatif, et faite en référence aux dessins annexés, sur lesquels : la figure 1 est une représentation schématique d’un système électronique avionique selon l’invention, comprenant une mémoire apte à stocker au moins une application logicielle avionique ; une plateforme apte à exécuter chaque application logicielle avionique, la plateforme comportant des ressources et hébergeant un système d’exploitation ; et un dispositif électronique de surveillance de chaque application logicielle avionique ; la figure 2 est une représentation schématique illustrant des appels émis par plusieurs applications logicielles surveillées à différents services du système d’exploitation, avec l’incrémentation d’un premier compteur respectif pour chaque application surveillée à chaque appel réussi de ladite application et l’incrémentation d’un deuxième compteur pour chaque application surveillée à chaque appel en erreur de ladite application ; et la figure 3 est un organigramme d’un procédé, selon l’invention, de surveillance d’une application logicielle avionique apte à être exécutée sur la plateforme, le procédé étant mis en œuvre par le dispositif de surveillance des figures 1 et 2. Dans la suite de la description, l’expression « sensiblement égal(e) à » définit une relation d’égalité à plus ou moins 10%, de préférence encore à plus ou moins 5%. Sur la figure 1, un système électronique avionique 10, destiné à être embarqué à bord d’un aéronef, comprend une mémoire 12 apte à stocker au moins une application logicielle avionique 14 ; une plateforme 16 apte à exécuter chaque application logicielle avionique 14, la plateforme 16 comportant des ressources 17 et hébergeant un système d’exploitation 18. Le système électronique avionique 10 comprend en outre, selon l’invention, un dispositif électronique 20 de surveillance de chaque application logicielle avionique 14. L’aéronef est de préférence un avion. En variante, l’aéronef est un hélicoptère, ou encore un drone piloté à distance par un pilote. Dans l’exemple des figures 1 et 2, la mémoire 12 est apte à stocker trois applications logicielles avioniques 14 distinctes, et le dispositif électronique de surveillance 20 est alors configuré pour surveiller chacune de ces applications logicielles avioniques 14. Chaque application logicielle avionique 14 est destinée à être exécutée par la plateforme 16 et alors conçue pour émettre un ou plusieurs appels à destination du système d’exploitation 18 hébergé par la plateforme 16 et est également configurée pour utiliser des ressources 17 de la plateforme 16. Chaque application logicielle avionique 14 est également appelée fonction avionique. Les applications logicielles avioniques 14 remplissent différentes fonctions pour l’accomplissement d’un vol, et sont par exemple installées sur différentes plateformes 16 et utilisent les ressources 17 desdites plateformes 16. De telles fonctions étant critiques, comme par exemple le système de freinage ou le système de gestion du vol, chaque application logicielle avionique 14 est de préférence surveillée régulièrement par le dispositif électronique de surveillance 20, pendant sensiblement toute la durée d’exécution de l’application logicielle avionique 14 par la plateforme 16. La plateforme 16 est destinée à être embarquée à bord de l’aéronef. La plateforme 16 est, par exemple, une unité de traitement d’informations formée d’une ou plusieurs mémoires associées à un ou plusieurs processeurs. Les ressources 17 de la plateforme 16 sont des éléments physiques ou logiques propres à être mis à disposition de la ou des applications logicielles avioniques 14. Les ressources 17 sont, par exemple, réparties en les catégories suivantes : - les ressources de type traitement de données (en anglais « processing »). De telles ressources sont, par exemple, la puissance de calcul d’un processeur ou la capacité de stockage d’une mémoire. - les ressources de type entrées et sorties. - les ressources spécifiques au réseau avionique. De telles ressources sont, par exemple, les routeurs de communication d’un réseau ARINC664, en particulier ARINC664 Partie 3 ou ARINC664 Partie 7. - les ressources de type graphique, c’est-à-dire les ressources permettant un affichage. Un écran est un exemple de telles ressources. - les ressources de type mémoire de masse (en anglais « mass memory »). Le système d’exploitation 18 est, par exemple, un système d’exploitation conforme à la norme ARINC 653, ou un système d’exploitation POSIX, ou encore un hyperviseur, ou encore un middleware. L’homme du métier comprendra alors que le système d’exploitation 18 s’entend au sens large et est, de manière plus générale, un ensemble d’au moins un logiciel de base, conçu pour offrir des services de différents types à chaque application 14. Un service est donc une fonction du logiciel de base utilisable par la ou les applications 14 et atteignable par un appel, également appelé appel à un service (de l’OS) ou encore appel système. Un exemple de logiciel de base est un OS ARINC 653 ou POSIX qui fournit de tels services. Dans le contexte de l’invention, l’homme du métier comprendra que c’est la notion d’appel à un service qui importe, et non pas le service en tant que tel, offert par le logiciel de base. Les services offerts par le système d’exploitation 18 sont connus en soi, et sont par exemple des services d’acquisition d’entrée(s)/sortie(s), de gestion de processus, de gestion de protocole(s) de communication, etc. Les types de service sont alors l’acquisition d’entrée(s)/sortie(s), la gestion de processus, la gestion de protocole(s) de communication et la gestion d’une temporisation, en particulier son déclenchement. L’homme du métier notera que les normes ARINC 653 et POSIX comportent, par exemple, chacune une liste des services généralement employés dans le domaine aéronautique. L’homme du métier observera toutefois que l’invention concerne plus généralement tout logiciel de base adapté à une application logicielle avionique 14, dans la mesure où le ou les services offerts par ce logiciel de base, ainsi que le ou les appels au(x) service(s) émis par chaque application logicielle avionique 14, sont identifiables. Le dispositif électronique de surveillance 20 est configuré pour surveiller chaque application logicielle avionique 14 apte à être exécutée sur la plateforme 16, et comprend un module 22 d’acquisition de valeurs respectives de premier 23 et deuxième 24 compteurs pour chaque application logicielle 14 surveillée, les premier 23 et deuxième 24 compteurs étant chacun un compteur d’appel(s) 25, 26 émis par l’application logicielle 14 surveillée à un ou plusieurs services du système d’exploitation 18, le premier compteur 23 étant incrémenté à chaque appel réussi 25 à un service respectif et le deuxième compteur 24 étant incrémenté à chaque appel en erreur 26. Le dispositif électronique de surveillance 20 comprend également un module 28 de comparaison des valeurs respectives des 23 et deuxième 24 compteurs avec des premier S1 et deuxième S2 seuils respectifs, et un module 29 de génération d’un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée, correspondant au premier compteur 23 de valeur inférieure au premier seuil S1 au cours d’une période temporelle T prédéfinie et/ou au deuxième compteur 24 de valeur supérieure au deuxième seuil S2. Dans l’exemple de la figure 1, le dispositif de surveillance 20 est, par exemple distinct de la plateforme 16, et comprend une unité de traitement d’informations 30 formée par exemple d’un processeur 32 associé à une mémoire 34. En variante, pour laquelle le dispositif de surveillance 20 est représenté en hachuré sur la figure 1, le dispositif de surveillance 20 est apte à être exécuté directement par la plateforme 16 et à utiliser alors ses ressources 17. Cette variante est un mode de réalisation préférentiel, et le dispositif de surveillance 20 est alors de préférence hébergé en outre au sein d’une partition mémoire spécifique de la plateforme 16, cette partition spécifique étant elle-même protégée contre des cyber-attaques, via par exemple un ou plusieurs contrôles d’accès et/ou une protection en intégrité. Dans l’exemple de la figure 1, que le dispositif de surveillance 20 soit distinct de la plateforme 16, ou bien hébergé et exécuté par la plateforme 16, le module d’acquisition 22, le module de comparaison 28 et le module de génération 29 sont réalisés chacun sous forme d’un logiciel, ou d’une brique logicielle, exécutable par un processeur, tel que le processeur 32 lorsque le dispositif de surveillance 20 est distinct de la plateforme 16. La mémoire 34 du dispositif de surveillance 20 est alors apte à stocker un logiciel d’acquisition des valeurs respectives des premier 23 et deuxième 24 compteurs pour chaque application logicielle 14 surveillée, un logiciel de comparaison des valeurs respectives des 23 et deuxième 24 compteurs avec les premier S1 et deuxième S2 seuils respectifs, et un logiciel de génération du signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée. Le processeur est alors apte à exécuter le logiciel d’acquisition, le logiciel de comparaison et le logiciel de génération. En variante non représentée, le module d’acquisition 22, le module de comparaison 28 et le module de génération 29 sont réalisés chacun sous forme d’un composant logique programmable, tel qu’un FPGA (de l’anglais Field Programmable Gate Array ), ou encore sous forme d’un circuit intégré dédié, tel qu’un ASIC (de l’anglais Application Specific Integrated Circuit ). Lorsque le dispositif de surveillance 20 est réalisé sous forme d’un ou plusieurs logiciels, c’est-à-dire en forme d’un programme d’ordinateur, il est en outre apte à être enregistré sur un support, non représenté, lisible par ordinateur. Le support lisible par ordinateur est, par exemple, un médium adapté à mémoriser des instructions électroniques et capable d’être couplé à un bus d’un système informatique. A titre d’exemple, le support lisible est une disquette ou disque souple, (de la dénomination anglaise Floppy disk ), un disque optique, un CD-ROM, un disque magnéto-optique, une mémoire ROM, une mémoire RAM, tout type de mémoire non volatile (par exemple, EPROM, EEPROM, FLASH, NVRAM) une carte magnétique ou une carte optique. Sur le support lisible est alors mémorisé un programme d’ordinateur comprenant des instructions logicielles. Le module d’acquisition 22 est configuré pour acquérir la valeur du premier compteur 23 et la valeur du deuxième compteur 24 pour chaque application logicielle 14 surveillée, le premier compteur 23 étant un compteur d’appel(s) réussi(s) 25 au(x) service(s) du système d’exploitation 18, émis par l’application logicielle 14 surveillée, et le deuxième compteur 24 étant un compteur d’appel(s) en erreur 26 au système d’exploitation 18, émis par l’application logicielle 14 surveillée. Le module d’acquisition 22 est de préférence configuré pour acquérir régulièrement les valeurs respectives des premier 23 et deuxième 24 compteurs pour chaque application logicielle 14 surveillée. Le module d’acquisition 22 est par exemple configuré pour acquérir, à une fréquence d’acquisition prédéfinie, lesdites valeurs respectives des premier et deuxième compteurs 23, 24. La fréquence d’acquisition prédéfinie est de préférence supérieure à 2 Hz, de préférence encore sensiblement comprise entre 10 Hz et 20 Hz. Autrement dit, la période temporelle entre deux acquisitions successives est de préférence inférieure à 500 ms, la période temporelle entre deux acquisitions successives étant de préférence encore sensiblement comprise entre 50 ms et 100 ms. Chaque premier compteur 23 et chaque deuxième compteur 24 sont de préférence incrémentés par le système d’exploitation 18 lui-même. Le système d’exploitation 18 comporte, par exemple, une pluralité de partitions, notées P1, P2, P3 dans l’exemple de la figure 2, chaque application logicielle 14 étant associée à une partition P1, P2, P3 respective. Dans l’exemple de la figure 2, une première application logicielle 14, notée A1, est associée à une première partition, notée P1, une deuxième application logicielle 14, notée A2, est associée à une deuxième partition, notée P2, et une troisième application logicielle 14, notée A3, est associée à une troisième partition, notée P3. Chaque premier compteur 23 et chaque deuxième compteur 24 sont alors de préférence associés à une partition P1, P2, P3 respective. Chaque premier compteur 23 et chaque deuxième compteur 24 sont mis en œuvre dès le lancement de l’application logicielle 14 correspondante, et sont réinitialisés à chaque nouveau lancement de l’application logicielle 14 correspondante. Chaque premier compteur 23 est incrémenté, de préférence d’une unité, à chaque appel réussi 25 à un service respectif du système d’exploitation 18, et chaque deuxième compteur 24 est incrémenté, de préférence d’une unité, à chaque appel en erreur 26 au système d’exploitation 18 par l’application logicielle 14 respective surveillée. Lorsque le premier compteur 23 est incrémenté d’une unité à chaque appel réussi 25, le premier seuil S1 est de préférence égal à 1 ; et lorsque le deuxième compteur 24 est incrémenté d’une unité à chaque appel en erreur 26, le deuxième seuil S2 est de préférence égal à 0. Par appel réussi 25, on entend un appel système (de l’anglais system call ) correctement réalisé, le service du système d’exploitation 18 requis par l’application logicielle 14 étant alors rendu, ou encore offert. Par appel en erreur 26, on entend un appel système qui n’a pas été correctement réalisé et qui est alors ressorti en erreur avant d’être terminé, par exemple suite à une demande incorrectement formatée, ou encore à une demande d’accès refusée. Le module de comparaison 28 est configuré pour comparer les valeurs respectives des premier et deuxième compteurs 23, 24, acquises pour chaque application logicielle 14 surveillée, avec des premier et deuxième seuils S1, S2 respectifs. Le premier seuil S1, est par exemple égal à 1, étant donné que chaque application logicielle 14 surveillée est destinée à effectuer au moins un appel à un service respectif du système d’exploitation 18. Le deuxième seuil S2 est par exemple égal à 0, afin de remonter une alerte dès qu’une application logicielle 14 surveillée a provoqué un appel en erreur 26 auprès du système d’exploitation 18. Le module de génération 29 est alors configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée, ce comportement anormal correspond soit à une valeur du premier compteur 23 respectif inférieure au premier seuil S1 au cours de la période temporelle T prédéfinie, soit à une valeur du deuxième compteur 24 supérieure au deuxième seuil S2, ou encore à la fois au deux cas précités. La période temporelle T prédéfinie est par exemple de valeur sensiblement comprise entre 100 ms et 500 ms, de préférence sensiblement égale à 200 ms. En complément facultatif, au moins un premier compteur 23 comporte un ensemble de premiers compteurs élémentaires 36, chaque premier compteur élémentaire 36 étant associé à un type d’appel émis par l’application logicielle surveillée 14 à destination du système d’exploitation 18, un unique premier compteur élémentaire 36 dudit ensemble étant incrémenté à chaque appel réussi 25. Le module d’acquisition 22 est alors configuré pour acquérir la valeur respective de chacun des premiers compteurs élémentaires 36 dudit ensemble. Le module de comparaison 28 est ensuite configuré pour comparer les valeurs respectives des premiers compteurs élémentaires 36 avec des premiers seuils élémentaires respectifs. Le module de génération 29 est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée, correspondant à au moins l’un des premiers compteurs 36 de valeur inférieure au premier seuil élémentaire respectif au cours de la période temporelle T prédéfinie. Lorsqu’un premier compteur 23 comporte plusieurs premiers compteurs élémentaires 36, l’homme du métier comprendra que ledit premier compteur 23 est, autrement dit, subdivisé en premiers compteurs élémentaires 36. Ces premiers compteurs élémentaires 36 permettent alors d’avoir une information plus pertinente sur le type, ou encore la nature, du ou des services appelés par l’application logicielle 14 surveillée et d’effectuer alors une surveillance plus pertinente de ladite application logicielle 14. Chaque premier compteur élémentaire 36 respectif est incrémenté, de préférence d’une unité, à chaque appel réussi 25. Lorsque le premier compteur élémentaire 36 est incrémenté d’une unité à chaque appel réussi 25, le premier seuil élémentaire correspondant est de préférence égal à 1. Chaque type d’appel est par exemple choisi parmi le groupe consistant en : un appel à un service d’acquisition d’entrée/sortie, un appel à un service de gestion des processus, un appel à un service de gestion de protocoles de communication, un appel à un service de gestion d’une zone mémoire, tel qu’un service de mise à jour de ladite zone mémoire, en particulier un service de gestion de droits pour la mise à jour de ladite zone mémoire, telle qu’une mémoire FLASH. En complément facultatif encore ou en variante, au moins un deuxième compteur 24 comporte un ensemble de deuxièmes compteurs élémentaires 38, chaque deuxième compteur élémentaire 38 étant associé à un type d’erreur, un unique deuxième compteur élémentaire 38 dudit ensemble étant incrémenté à chaque appel en erreur 26. Le module d’acquisition 22 est alors configuré pour acquérir la valeur respective de chacun des deuxièmes compteurs élémentaires 38 dudit ensemble. Le module de comparaison 28 est configuré pour comparer les valeurs respectives des deuxièmes compteurs élémentaires 38 avec des deuxièmes seuils élémentaires respectifs. Le module de génération 29 est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée, correspondant à au moins l’un des deuxièmes compteurs élémentaires 38 de valeur supérieure au deuxième seuil élémentaire respectif. Lorsqu’au moins un deuxième compteur 24 comporte plusieurs deuxièmes compteurs élémentaires 38, l’homme du métier comprendra également que ledit deuxième compteur 24 est, autrement dit, subdivisé en deuxièmes compteurs élémentaires 38. Ces deuxièmes compteurs élémentaires 38 permettent d’effectuer un meilleur diagnostic en sachant alors plus précisément quel type d’erreur est à l’origine du comportement anormal détecté. Chaque type d’erreur est par exemple choisi parmi le groupe consistant en : une erreur résultant d’un format d’appel erroné, une erreur résultant d’un problème matériel, une erreur résultant d’un appel service provoquant un accès mémoire non-autorisé et une erreur résultant d’un appel service non-autorisé. Chaque deuxième compteur élémentaire 38 respectif est incrémenté, de préférence d’une unité, à chaque appel en erreur 26. Lorsque le deuxième compteur élémentaire 38 est incrémenté d’une unité à chaque appel en erreur 26, le deuxième seuil élémentaire correspondant est de préférence égal à 0. Dans l’exemple de la figure 2, les appels 25, 26 émis par une application logicielle 14 respective au système d’exploitation 18 sont notées C i,j où i est un indice correspondant à l’application logicielle 14 respective Ai, et j est un numéro de l’appel parmi les différents appels émis par ladite application logicielle 14 respective. A titre d’exemple, les appels émis par la première application logicielle A1 sont alors notés respectivement C 1, 1 , C 1, 2 , C 1, 3 , C 1,4 et C 1,5 dans l’exemple de la figure 2. De manière analogue, dans l’exemple de la figure 2, les appels au système d’exploitation 18 émis par la deuxième application logicielle A2 sont notés C 2,1 , C 2,2 , C 2,3 , C 2,4 et C 2,5 , et les appels émis par la troisième application logicielle A3 sont quant à eux notés C 3,1 , C 3,2 et C 3,3 . Dans l’exemple de la figure 2, les appels réussis 25 sont par convention représentés sous forme d’un éclair blanc, et les appels en erreur 26 sont représentés sous forme d’un éclair noir, ou encore rempli. Dans cet exemple de la figure 2, chaque premier compteur 23 associé à l’application logicielle Ai est noté O i , et chaque deuxième compteur 24 associé à ladite application logicielle Ai est noté N i . Lorsqu’un premier compteur 23 respectif comporte un ensemble de premiers compteurs élémentaires 36, chaque premier compteur élémentaire 36 est noté O i, k dans l’exemple de la figure 2, où i est l’indice associé à l’application Ai, et k est un numéro du premier compteur élémentaire 36 respectif au sein dudit ensemble. De manière analogue, lorsqu’un deuxième compteur 24 respectif comporte un ensemble de deuxièmes compteurs élémentaires 38, chaque deuxième compteur élémentaire 38 est noté N i, m , dans l’exemple de la figure 2 où i est l’indice associé à l’application Ai, et m est un numéro du deuxième compteur élémentaire 38 respectif au sein dudit ensemble. Dans l’exemple de la figure 2, deux premiers compteurs élémentaires O 1,1 et O 1,2 , et un deuxième compteur N 1 sont alors associés à la première application logicielle A1, et incrémentés au sein de la première partition P1 du système d’exploitation 18. Dans cet exemple, les appels notés C 1,1 et C 1,2 ont ainsi provoqué des incrémentations successives du premier compteur élémentaire O 1,1 , les appels C 1,3 et C 1,4 ayant entraîné des incrémentations successives du deuxième compteur élémentaire O 1,2 , et enfin l’appel en erreur C 1,5 ayant entraîné l’incrémentation du deuxième compteur N 1 . Dans cet exemple de la figure 2, à la deuxième application logicielle A2 sont associés un premier compteur 23 noté O 2 , et deux deuxièmes compteurs élémentaires 38, notés respectivement N 2,1 et N 2,2 , ces compteurs étant incrémentés dans la deuxième partition P2 du système d’exploitation 18. Les appels réussis 25 par la deuxième application logicielle A2, notés C 2,1 , C 2,2 et C 2,3 , ont ainsi provoqué des incrémentations successives du premier compteur O 2 , et les deux appels en erreur 26, notés respectivement C 2,4 et C 2,5 , ont provoqué l’incrémentation du deuxième compteur élémentaire N 2,1 , et respectivement du deuxième compteur élémentaire N 2,2 . Pour la troisième application logicielle A3, trois premiers compteurs élémentaires 36, respectivement notés O 3,1 , O 3,2 et O 3,3 , ainsi qu’un deuxième compteur 24, noté N 3 , sont prévus dans la troisième partition P3 du système d’exploitation 18. Dans l’exemple de la figure 2, tous les appels effectués par la troisième application logicielle A3 sont des appels réussis 25, l’appel réussi C 3,1 entraînant l’incrémentation du premier compteur élémentaire O 3,1 , l’appel suivant C 3,2 entraînant celle du premier compteur élémentaire O 3,2 , et l’appel suivant C 3,3 entraînant celle du premier compteur élémentaire O 3,3 . L’implémentation des premier et deuxième compteurs 23, 24, voir en complément facultatif des premiers compteurs élémentaires 36 et/ou des deuxièmes compteurs élémentaires 38, est par exemple effectuée en allouant des zones mémoires respectives auxdits compteurs dans chaque partition P1, P2, P3, et en rendant accessible en lecture ces zones mémoires au module d’acquisition 22. L’homme du métier comprendra en outre que le système d’exploitation 18 comporte également un traitement logiciel inclus dans l’arbre d’appel du système d’exploitation 18 permettant d’implémenter chaque compteur correspondant en cas d’appel réussi 25, ou respectivement en cas d’appel en erreur 26. L’homme du métier comprendra également que le système d’exploitation 18 est apte à déterminer si l’appel émis par l’application logicielle 14 surveillée est un appel réussi 25 et incrémentera alors le premier compteur 23 correspondant ; ou bien si cet appel est un appel en erreur 26, et incrémentera alors le deuxième compteur 24 correspondant. Le fonctionnement du système électronique avionique 10 selon l’invention, et en particulier du dispositif électronique de surveillance 20, va désormais être expliqué à l’aide de la figure 3 représentant un organigramme d’un procédé, selon l’invention, de surveillance d’une application logicielle avionique 14 respective, apte à être exécutée sur la plateforme 16 hébergeant le système d’exploitation 18. Lors d’une étape initiale 100, le dispositif de surveillance 20 acquiert, via son module d’acquisition 22, les valeurs respectives des premier et deuxième compteurs 23, 24 pour chaque application logicielle 14 surveillée. Lorsqu’en complément facultatif, le premier compteur 23 comporte plusieurs compteurs élémentaires 36 et/ou le deuxième compteur 24 comporte plusieurs deuxièmes compteurs élémentaires 38, le module d’acquisition 22 acquiert alors la valeur respective de chacun des premiers compteurs élémentaires 36 dudit ensemble et/ou acquiert la valeur respective de chacun des deuxièmes compteurs élémentaires 38 dudit ensemble. Le dispositif de surveillance 20 passe ensuite à l’étape suivante 110 lors de laquelle il compare, via son module de comparaison 28 et avec les premier et deuxième seuils S1, S2 respectifs, les valeurs respectives des premier et deuxième compteurs 23, 24, acquises lors de l’étape précédente 100 par le module d’acquisition 22 et pour chaque application logicielle 14 surveillée. Lorsqu’en complément facultatif, le premier compteur 23 comporte plusieurs premiers compteurs élémentaires 36 et/ou le deuxième compteur 24 comporte plusieurs deuxièmes compteurs élémentaires 38, le module de comparaison 28 compare les valeurs respectives des premiers compteurs élémentaires 36 avec des premiers seuils élémentaires respectifs et/ou les valeurs respectives des deuxièmes compteurs élémentaires 38 avec des deuxièmes seuils élémentaires respectifs. Le dispositif de surveillance 20 génère alors, lors de l’étape suivante 120 et via son module de génération 29, le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle 14 surveillée, ce comportement anormal correspondant au cas où le premier compteur 23 est de valeur inférieure au premier seuil S1 au cours de la période temporelle T prédéfinie et/ou au cas où le deuxième compteur 24 est de valeur supérieure au deuxième seuil S2. Lorsqu’en complément facultatif le premier compteur 23 comporte plusieurs premiers compteurs élémentaires 36 et/ou le deuxième compteur 24 comporte plusieurs deuxièmes compteurs élémentaires 38, le module de génération 29 détecte un comportement anormal de l’application logicielle 14 surveillée si au moins l’un des premiers compteurs élémentaires est de valeur inférieure au premier seuil élémentaire respectif au cours de la période temporelle T prédéfinie et/ou si au moins l’un des deuxièmes compteurs élémentaires 38 est de valeur supérieure au deuxième seuil élémentaire respectif. A la fin de l’étape 120, le dispositif de surveillance 20 retourne à l’étape initiale 100 afin d’acquérir de nouvelles valeurs respectives des premier et deuxième compteurs 23, 24 pour chaque application logicielle 14 surveillée. La fréquence d’acquisition prédéfinie étant de préférence supérieure à 2 Hz, de préférence encore sensiblement comprise entre 10 Hz et 20 Hz, l’homme du métier comprendra alors que les étapes 100, 110, 120 sont effectuées au cours d’une période d’exécution de durée inférieure à 500 ms, de préférence encore de durée comprise entre 50 ms et 100 ms. Ainsi, le dispositif de surveillance 20 selon l’invention permet de surveiller, efficacement et avec un faible impact en terme de temps réel, la ou les applications logicielles avioniques 14 via les premier et deuxième compteurs 23, 24. Lorsqu’en complément facultatif, au moins un premier compteur 23 respectif est subdivisé en premiers compteurs élémentaires 36, le dispositif de surveillance 20 permet alors en outre de fournir des informations plus précises sur la nature des services appelés et sur le nombre d’appel(s) à ces services. Lorsqu’en complément facultatif, au moins un deuxième compteur 24 respectif est subdivisé en deuxièmes compteurs élémentaires 38, le dispositif de surveillance 20 permet alors de fournir un meilleur diagnostic quant au comportement anormal détecté, chaque deuxième compteur élémentaire 38 respectif correspondant alors à une erreur respective, par exemple à une erreur résultant d’un format d’appel erroné, à une erreur résultant d’un problème matériel, à une erreur résultant d’un appel service provoquant un accès mémoire non-autorisé, ou encore à une erreur résultant d’un appel service non-autorisé. On conçoit ainsi que le dispositif de surveillance 20 selon l’invention et le procédé de surveillance associé, permettent de détecter plus efficacement une attaque visant la ou les applications logicielles 14 surveillées, ou un comportement anormal de la ou des application logicielles 14 surveillées. Dispositif électronique (20) de surveillance d’au moins une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) hébergeant un système d’exploitation (18) offrant des services, la plateforme (16) étant destinée à être embarquée à bord d’un aéronef, le dispositif électronique de surveillance (20) comprenant : - un module d’acquisition (22) configuré pour acquérir des valeurs respectives de premier (23) et deuxième (24) compteurs pour chaque application logicielle (14) surveillée, les premier (23) et deuxième (24) compteurs étant chacun un compteur d’appel(s) (25, 26) émis par l’application logicielle (14) surveillée à un ou plusieurs services du système d’exploitation (18), le premier compteur (23) étant incrémenté à chaque appel réussi (25) à un service respectif et le deuxième compteur (24) étant incrémenté à chaque appel en erreur (26) ; - un module de comparaison (28) configuré pour comparer les valeurs respectives des premier (23) et deuxième (24) compteurs, acquises pour chaque application logicielle (14) surveillée, avec des premier (S1) et deuxième (S2) seuils respectifs ; et - un module de génération (29) configuré pour générer un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle (14) surveillée, correspondant au premier compteur (23) de valeur inférieure au premier seuil (S1) au cours d’une période temporelle (T) prédéfinie et/ou au deuxième compteur (24) de valeur supérieure au deuxième seuil (S2). Dispositif (20) selon la revendication 1, dans lequel le premier compteur (23) comporte un ensemble de premiers compteurs élémentaires (36), chaque premier compteur élémentaire (36) étant associé à un type d’appel émis par l’application logicielle (14) surveillée à destination du système d’exploitation (18), un unique premier compteur élémentaire (36) dudit ensemble étant incrémenté à chaque appel réussi (25), et dans lequel le module d’acquisition (22) est configuré pour acquérir la valeur respective de chacun des premiers compteurs élémentaires (36) dudit ensemble ; le module de comparaison (28) est configuré pour comparer les valeurs respectives des premiers compteurs élémentaires (36) avec des premiers seuils élémentaires respectifs ; et le module de génération (29) est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle (14) surveillée, correspondant à au moins l’un des premiers compteurs élémentaires (36) de valeur inférieure au premier seuil élémentaire respectif au cours de la période temporelle (T) prédéfinie. Dispositif (20) selon la revendication 2, dans lequel chaque type d’appel est choisi parmi le groupe consistant en : un appel à un service d’acquisition d’entrée(s)/sortie(s), un appel à un service de gestion de processus, un appel à un service de gestion de protocole(s) de communication et la gestion d’une temporisation, en particulier son déclenchement. Dispositif (20) selon l’une quelconque des revendications précédentes, dans lequel le deuxième compteur (24) comporte un ensemble de deuxièmes compteurs élémentaires (38), chaque deuxième compteur élémentaire (38) étant associé à un type d’erreur, un unique deuxième compteur élémentaire (38) dudit ensemble étant incrémenté à chaque appel en erreur (26), et dans lequel le module d’acquisition (22) est configuré pour acquérir la valeur respective de chacun des deuxièmes compteurs élémentaires (38) dudit ensemble ; le module de comparaison (28) est configuré pour comparer les valeurs respectives des deuxièmes compteurs élémentaires (38) avec des deuxièmes seuils élémentaires respectifs ; et le module de génération (29) est configuré pour générer le signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle (14) surveillée, correspondant à au moins l’un des deuxièmes compteurs élémentaires (38) de valeur supérieure au deuxième seuil élémentaire respectif. Dispositif (20) selon la revendication 4, dans lequel chaque type d’erreur est choisi parmi le groupe consistant en : une erreur résultant d’un format d’appel erroné, une erreur résultant d’un problème matériel, une erreur résultant d’un appel service provoquant un accès mémoire non-autorisé et une erreur résultant d’un appel service non-autorisé. Dispositif (20) selon l’une quelconque des revendications précédentes, dans lequel le module d’acquisition (22) est configuré pour acquérir régulièrement les valeurs respectives des premier (23) et deuxième (24) compteurs pour chaque application logicielle (14) surveillée, le module d’acquisition (22) étant de préférence configuré pour acquérir à une fréquence d’acquisition prédéfinie lesdites valeurs respectives des premier (23) et deuxième (24) compteurs, la fréquence d’acquisition prédéfinie étant de préférence supérieure à 2 Hz, de préférence encore sensiblement comprise entre 10 Hz et 20 Hz. Dispositif (20) selon l’une quelconque des revendications précédentes, dans lequel la période temporelle (T) prédéfinie est de valeur sensiblement comprise entre 100 ms et 500 ms, de préférence sensiblement égale à 200 ms. Système électronique avionique (10) comprenant : - une mémoire (12) apte à stocker au moins une application logicielle (14) avionique ; - une plateforme (16) apte à exécuter chaque application logicielle (14) avionique, la plateforme (16) hébergeant un système d’exploitation (18) offrant des services ; et - un dispositif électronique (20) de surveillance de chaque application logicielle (14) avionique, le dispositif électronique de surveillance (20) étant selon l’une quelconque des revendications précédentes. Procédé de surveillance d’une application logicielle (14) avionique apte à être exécutée sur une plateforme (16) hébergeant un système d’exploitation (18) offrant des services, la plateforme (16) étant destinée à être embarquée à bord d’un aéronef, le procédé étant mis en œuvre par un dispositif électronique de surveillance (20) et comprenant les étapes consistant à : - acquérir (100) des valeurs respectives de premier (23) et deuxième (24) compteurs pour chaque application logicielle (14) surveillée, les premier (23) et deuxième (24) compteurs étant chacun un compteur d’appel(s) (25, 26) émis par l’application logicielle (14) surveillée à un ou plusieurs services du système d’exploitation (18), le premier compteur (23) étant incrémenté à chaque appel réussi (25) à un service respectif et le deuxième compteur (24) étant incrémenté à chaque appel en erreur (26) ; - comparer (110) les valeurs respectives des premier (23) et deuxième (24) compteurs, acquises pour chaque application logicielle (14) surveillée, avec des premier (S1) et deuxième (S2) seuils respectifs ; et - générer (120) un signal d’alerte en cas de détection d’un comportement anormal de l’application logicielle (14) surveillée, correspondant au premier compteur (23) de valeur inférieure au premier seuil (S1) au cours d’une période temporelle (T) prédéfinie et/ou au deuxième compteur (24) de valeur supérieure au deuxième seuil (S2). Programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un ordinateur, mettent en œuvre un procédé selon la revendication précédente.