Patent application EP18170905A (EP), filed 2018-05-04
Publication number: EP3399720A1
Title: METHOD AND ELECTRONIC DEVICE FOR MONITORING AN AVIONICS SOFTWARE APPLICATION, ASSOCIATED COMPUTER PROGRAM AND AVIONICS SYSTEM
Abstract: Ce procédé de surveillance d'une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) comportant des ressources (18) et hébergeant un système d'exploitation (20), la plateforme (16) étant destinée à être embarquée à bord d'un aéronef, est mis en oeuvre par un dispositif électronique de surveillance (24).  Il comprend : - la mise en oeuvre d'au moins une surveillance de l'application (14) 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 ; - la génération d'un signal d'alerte en cas de détection d'un comportement anormal de l'application (14).
IPC codes: H04L  29/    06            A I
H04L  29/    08            A I
H04W   4/    02            A I
B64D  45/    00            A I
G06F  21/    55            A I
G08G   5/    00            A I
H04L  67/    12            A I
H04L   9/    40            A I
Claims: number: 1
text: Procédé de surveillance d'une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) comportant des ressources (18) et hébergeant un système d'exploitation (20), la plateforme (16) étant destinée à être embarquée à bord d'un aéronef, le procédé étant mis en oeuvre par un dispositif électronique de surveillance (24) et comprenant les étapes consistant à :
number: 2
text: Procédé selon la revendication 1, dans lequel la surveillance syntaxique comporte la vérification d'au moins l'un de premier, deuxième et troisième critères syntaxiques,
le premier critère syntaxique étant l'appartenance de chaque appel émis à une liste d'appels autorisés au système d'exploitation (20),
le deuxième critère syntaxique étant la conformité de la succession des appels à des séquences d'appels autorisées,
le troisième critère syntaxique étant la conformité de chaque donnée par rapport à un format correspondant prédéfini.
number: 3
text: Procédé selon la revendication 1 ou 2, dans lequel la surveillance sémantique comporte la vérification qu'au moins l'un de premier, deuxième et troisième critères sémantiques est rempli par une ou plusieurs données contenues dans chaque appel de l'application (14) au système d'exploitation (20),
le premier critère sémantique étant l'appartenance à un intervalle prédéfini de valeurs du délai de mise à jour de chaque donnée,
le deuxième critère sémantique étant un critère de cohérence pour au moins une donnée prédéfinie, telle qu'une position ou une vitesse de l'aéronef, et
le troisième critère sémantique étant un critère de cohérence entre au moins deux données prédéfinies, telles que la position et la vitesse de l'aéronef.
number: 4
text: Procédé selon l'une quelconque des revendications précédentes, dans lequel le système d'exploitation (20) est apte à offrir plusieurs services, de différents types, à l'application (14), et
dans lequel la surveillance de la dynamique comporte la vérification qu'au moins l'un de premier, deuxième, troisième, quatrième et cinquième critères de dynamique est rempli par l'application (14),
le premier critère de dynamique étant que le nombre de services requis par l'application (14) est, au cours d'une période temporelle de durée prédéfinie, inférieur à un nombre maximal prédéfini de services par unité de temps,
le deuxième critère de dynamique étant qu'un nombre d'erreurs sur les services est, au cours d'une période temporelle de durée prédéfinie, inférieur à un nombre maximal prédéfini d'erreurs,
le troisième critère de dynamique étant que le nombre de types distincts de services requis par l'application (14) est, au cours d'une période temporelle de durée prédéfinie, inférieur à un nombre maximal prédéfini de types,
le quatrième critère de dynamique étant qu'une variation du nombre d'appels de services par types et au cours des différentes périodes temporelles prédéfinies est inférieure à un seuil, et
le cinquième critère de dynamique étant qu'un nombre de séquences d'appels aux services est, au cours d'une période temporelle de durée prédéfinie, inférieur à un nombre maximal prédéfini de séquences.
number: 5
text: Procédé selon l'une quelconque des revendications précédentes, dans lequel la surveillance de l'utilisation comporte la vérification qu'au moins un paramètre de ressource appartient à un intervalle prédéfini de valeurs respectif, chaque paramètre étant choisi parmi le groupe consistant en : un nombre d'accès mémoire, une quantité de mémoire utilisée, une dispersion des accès mémoire, un temps d'exécution CPU, un temps d'exécution GPU, un nombre d'entrées utilisées de la plateforme (16) et un nombre de sorties utilisées de la plateforme (16).
number: 6
text: Procédé selon l'une quelconque des revendications précédentes, dans lequel l'étape de mise en oeuvre comporte la mise en oeuvre d'au moins deux, de préférence d'au moins trois, de préférence encore de chacune, des surveillances parmi la surveillance syntaxique, la surveillance sémantique, la surveillance de la dynamique et la surveillance de l'utilisation.
number: 7
text: Procédé selon l'une quelconque des revendications précédentes, dans lequel l'étape de mise en oeuvre est effectuée régulièrement, pendant sensiblement toute la durée d'exécution de l'application logicielle avionique (14) par la plateforme (16).
number: 8
text: Programme d'ordinateur comportant des instructions logicielles qui, lorsqu'elles sont exécutées par un ordinateur, mettent en oeuvre un procédé selon l'une quelconque des revendications précédentes.
number: 9
text: Dispositif électronique (24) de surveillance d'une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) comportant des ressources (18) et hébergeant un système d'exploitation (20), la plateforme (16) étant destinée à être embarquée à bord d'un aéronef,
le dispositif électronique de surveillance (24) comprenant :
number: 10
text: Système électronique avionique comprenant :
Office action: search_report, dated 2018-11-07
Rejection reasons: novelty_epc_54
Prior art cited: ref_id: US2014245386A1
ref_type: patent
severity: background
ref_id: US6275767B1
ref_type: patent
severity: background
ref_id: US2002120662A1
ref_type: patent
severity: background
ref_id: US6735703B1
ref_type: patent
severity: background
ref_id: EP1296252A1
ref_type: patent
severity: background
ref_id: US6275767
ref_type: patent
severity: novelty_destroying
ref_id: US2002120662
ref_type: patent
severity: novelty_destroying
ref_id: EP1296252
ref_type: patent
severity: background
ref_id: US6735703
ref_type: patent
severity: background
Final disposition: pending (2018-11-07)