Brevet FR3072191A1 (20190412)

REVENDICATIONS1. Procédé de surveillance d'une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) hébergeant un système d'exploitation (20), l'application logicielle avionique (14) comportant un ou plusieurs traitements logiciels à exécuter, 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 suivantes : - la surveillance (100) de la durée d'exécution de l'application logicielle avionique (14), via la vérification, à l'expiration d'au moins un délai d'exécution prédéfini (T1, T2), de l'achèvement de l'exécution d'au moins un traitement logiciel de l'application logicielle avionique (14) ; et - la mise à jour (120) d'un statut de l'application logicielle avionique (14) en fonction de la surveillance (100) de la durée d'exécution de l'application logicielle avionique (14).\n<CLM>\1\tProcédé selon la revendication 1, dans lequel l'étape de surveillance de la durée d'exécution (100) comporte la vérification, à l'expiration d'un premier délai d'exécution prédéfini (T1), puis à l'expiration d'un deuxième délai d'exécution prédéfini (T2), de l'achèvement de l'exécution d'au moins un traitement logiciel de l'application logicielle avionique (14), le deuxième délai d'exécution prédéfini (T2) étant strictement supérieur au premier délai d'exécution prédéfini (T1).\n<CLM>\1\tProcédé selon la revendication 2, dans lequel, lors de l'étape de mise à jour du statut (120), le statut de l'application logicielle avionique (14) est positionné à « contention » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) a été détecté après l'expiration du premier délai d'exécution prédéfini (T1) et avant l'expiration du deuxième délai d'exécution prédéfini (T2).\n<CLM>\1\tProcédé selon l'une quelconque des revendications précédentes, dans lequel, lors de l'étape de mise à jour du statut (120) : + le statut de l'application logicielle avionique (14) est positionné à « normal » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) a été détecté avant l'expiration du ou de chaque délai d'exécution prédéfini (T1, T2) ; et 5 20 + le statut de l'application logicielle avionique (14) est positionné à « hors sécurité » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) n'a pas été détecté après l'expiration du ou de chaque délai d'exécution prédéfini (T1, T2).\n<CLM>\1\tProcédé selon la revendication 1 ou 2, dans lequel le procédé comprend en outre l'étape suivante : - la surveillance (110) du comportement de l'application logicielle avionique (14), via la vérification, à l'expiration d'un délai de surveillance prédéfini (Tf), de la détection 10 d'au moins un évènement applicatif de l'application logicielle avionique (14) ; la mise à jour (120) du statut de l'application logicielle avionique (14) dépendant alors de la surveillance (100) de la durée d'exécution et de la surveillance (110) du comportement de l'application logicielle avionique (14). 15\n<CLM>\1\tProcédé selon les revendications 2 et 5, dans lequel, lors de l'étape de mise à jour du statut (120), le statut de l'application logicielle avionique (14) est positionné à « contention » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) a été détecté après l'expiration du premier délai d'exécution prédéfini (T1) et avant l'expiration du deuxième délai 20 d'exécution prédéfini (T2), et lorsque le ou les évènements applicatifs corrects ont été détectés avant l'expiration du délai de surveillance prédéfini (Tf).\n<CLM>\1\tProcédé selon la revendication 5 ou 6, dans lequel, lors de l'étape de mise à jour du statut (120) : 25 + le statut de l'application logicielle avionique (14) est positionné à « normal » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) a été détecté avant l'expiration du ou de chaque délai d'exécution prédéfini (T1, T2) et lorsque le ou les évènements applicatifs corrects ont été détectés avant l'expiration du délai de surveillance prédéfini (Tf) ; et 30 + le statut de l'application logicielle avionique (14) est positionné à « hors sécurité » lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) n'a pas été détecté après l'expiration du ou de chaque délai d'exécution prédéfini (T1, T2) et lorsque le ou les évènements applicatifs corrects ont été détectés avant l'expiration du délai de surveillance 35 prédéfini (Tf). 21\n<CLM>\1\tProcédé selon l'une quelconque des revendications 5 à 7, dans lequel, lors de l'étape de mise à jour du statut (120), le statut de l'application logicielle avionique (14) est positionné à « hors-contrôle » lorsqu'aucun évènement applicatif n'a été détecté à l'expiration du délai de surveillance prédéfini (Tf) ou bien lorsque l'évènement applicatif 5 détecté est incorrect.\n<CLM>\1\tProcédé selon l'une quelconque des revendications 5 à 8, dans lequel lorsque l'achèvement de l'exécution du ou des traitements logiciels correspondants de l'application logicielle avionique (14) n'a pas été détecté après l'expiration du ou de 10 chaque délai d'exécution prédéfini (T1, T2), et lorsqu'aucun évènement applicatif n'a été détecté à l'expiration du délai de surveillance prédéfini (Tf) ou bien l'évènement applicatif détecté est incorrect, le statut de l'application logicielle avionique (14) est, lors de l'étape de mise à jour du statut (120), positionné à « hors sécurité » si chaque délai d'exécution prédéfini (T1, T2) est inférieur au délai de surveillance prédéfini (Tf) et à « hors-contrôle » 15 sinon.\n<CLM>\1\tProgramme 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. 20\n<CLM>\1\tDispositif électronique (24) de surveillance d'une application logicielle avionique (14) apte à être exécutée sur une plateforme (16) hébergeant un système d'exploitation (20), l'application logicielle avionique (14) comportant un ou plusieurs traitements logiciels à exécuter, la plateforme (16) étant destinée à être embarquée à 25 bord d'un aéronef, le dispositif électronique de surveillance (24) comprenant : - un module de surveillance (26) configuré pour surveiller la durée d'exécution de l'application logicielle avionique (14), via la vérification, à l'expiration d'au moins un délai d'exécution prédéfini (T1, T2), de l'achèvement de l'exécution d'au moins un traitement 30 logiciel de l'application logicielle avionique (14) ; et - un module de mise à jour (27) configuré pour mettre à jour un statut de l'application logicielle avionique (14) en fonction de la surveillance de la durée d'exécution de l'application logicielle avionique (14). 35\n<CLM>\1\tSystème électronique avionique (10) comprenant : 22 - une mémoire (12) apte à stocker au moins une application logicielle avionique - une plateforme (16) apte à exécuter chaque application logicielle avionique (14), la plateforme (16) hébergeant un système d'exploitation (20) ; et 5 - un dispositif électronique (24) de surveillance de chaque application logicielle avionique (14), le dispositif électronique de surveillance (24) étant selon la revendication\n<CLM>\1\t(14) ;