Brevet FR3103037A1 — publié le 20210514

Dispositif de surveillance de l’exécution d’une application, ensemble et système avionique associés Dispositif (12) de surveillance de l’exécution d’une application sur un processeur (10), le dispositif comprenant : - un compteur de temps (24), - un module de contrôle (26) configuré pour réinitialiser le compteur de temps (24) à la fin d’une période temporelle si une commande de réinitialisation a été reçue par le dispositif de surveillance (12) dans une fenêtre temporelle et pour générer une commande de sanction du processeur (10) dans le cas contraire, - un module d’inhibition (28) configuré pour inhiber le compteur de temps (24) lors de la réception d’une commande d’inhibition en entrée (20) du dispositif de surveillance (12), et - un module de réactivation (30) configuré pour réactiver le compteur de temps (24) lors de la réception d’une commande de réactivation en entrée (20) du dispositif de surveillance (12). Figure pour l'abrégé : 1 Dispositif de surveillance de l’exécution d’une application, ensemble et système avionique associés La présente invention concerne un dispositif de surveillance de l’exécution d’une application sur un processeur. La présente invention concerne, en outre, un ensemble comprenant un processeur et un tel dispositif de surveillance. La présente invention concerne aussi un système avionique associé. Dans le domaine avionique, des dispositifs de surveillance, aussi appelés chien de garde (en anglais « watchdog »), sont utilisés pour contrôler le fonctionnement de systèmes critiques. De tels dispositifs de surveillance sont des circuits électroniques ou logiciels permettant de vérifier le bon fonctionnement de l’exécution temps réel d’une application sur un processeur. Pour cela, une séquence prédéterminée est, par exemple, rafraîchie périodiquement dans une fenêtre temporelle prédéterminée suite à la réception d’instructions. Lorsqu’aucune instruction n’est reçue dans la fenêtre temporelle prédéterminée, la séquence prédéterminée n’est pas rafraichie et une alerte est lancée. Le principe d’un tel dispositif de surveillance est, qu’une fois enclenché, il ne peut plus être débrayé par le processeur qu’il contrôle et ce, pour s’affranchir d’un mauvais fonctionnement du processeur ou des applications exécutées par le processeur. Les systèmes avioniques et, en particulier les systèmes basés sur la plateforme processeur IMA (de l’anglais « Integrated Modular Avionic » traduit en français par « Avionique Modulaire Intégrée »), sont basés sur des exécutions périodiques dans des fenêtres de temps donné. Une telle plateforme est notamment susceptible de synchroniser la planification en temps réel du système d'exploitation sur une source de synchronisation externe. Or, il est préférable que la synchronisation sur des sources externes de synchronisation soit robuste à la perte et au retour de la source de synchronisation. Dans les systèmes connus, en cas de perte de la synchronisation externe, le dispositif de surveillance émet une alerte qui provoque une défaillance fatale du processeur et entraîne la réinitialisation du processeur dans un mode de synchronisation interne. En effet, les dispositifs de surveillance actuels, une fois armés, se déclenchent au changement de référence de synchronisation pour le réarmement car, soit la fréquence de réarmement n’est pas conservée, soit le réarmement se passe en dehors de la fenêtre temporelle définie. Il existe donc un besoin pour un dispositif de surveillance permettant de contrôler de manière fiable un processeur même lors d’un changement de la source de synchronisation du processeur. A cet effet, l’invention a pour objet un dispositif de surveillance de l’exécution d’une application sur un processeur, le dispositif comprenant : - une entrée pour la réception de commandes d’entrée en provenance du processeur, chaque commande d’entrée étant choisie parmi : une commande de réinitialisation, une commande d’inhibition et une commande de réactivation, - une sortie pour l’envoi d’une commande de sanction du processeur, - un compteur de temps, - un module de contrôle du compteur de temps, le module de contrôle étant configuré pour réinitialiser le compteur de temps à la fin d’une période temporelle de durée prédéterminée, dite période de réinitialisation, si une commande de réinitialisation a été reçue en entrée du dispositif de surveillance dans une fenêtre temporelle de durée prédéterminée, dite fenêtre de réinitialisation, et pour générer une commande de sanction du processeur dans le cas contraire, - un module d’inhibition du compteur de temps, le module d’inhibition étant configuré pour inhiber le compteur de temps lors de la réception d’une commande d’inhibition en entrée du dispositif de surveillance, et - un module de réactivation du compteur de temps, le module de réactivation étant configuré pour réactiver le compteur de temps lors de la réception d’une commande de réactivation en entrée du dispositif de surveillance. Selon 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 module de réactivation est, en outre, configuré pour réactiver le compteur de temps lorsque la durée d’inhibition du compteur de temps est strictement supérieure à une durée maximale d’inhibition ; - le module d’inhibition est configuré pour inhiber le compteur de temps seulement lorsque le nombre de commandes d’inhibition reçues sur une période glissante de durée prédéterminée est inférieur ou égale à un nombre maximal ; - lorsque le nombre de commandes d’inhibition reçues sur la période glissante est strictement supérieur au nombre maximal, le module de contrôle est configuré pour générer une commande de sanction du processeur ; - la durée de la fenêtre de réinitialisation est égale à la durée de la période de réinitialisation ; - la durée de la fenêtre de réinitialisation est strictement inférieure à la durée de la période de réinitialisation, avantageusement la fin de la fenêtre de réinitialisation étant égale à la fin de la période de réinitialisation. L’invention concerne, en outre, un ensemble comprenant : - un processeur configuré pour exécuter une application, et - un dispositif de surveillance de l’exécution de l’application sur le processeur tel que décrit précédemment. Selon d’autres aspects avantageux de l’invention, l’ensemble comprend une ou plusieurs des caractéristiques suivantes, prises isolément ou suivant toutes les combinaisons techniquement possibles : - le processeur est en interaction avec un système d’exploitation, le processeur étant configuré pour être synchronisé au cours du temps sur au moins une source de synchronisation externe, à chaque fois que la source de synchronisation courante du processeur est remplacée par une source de synchronisation externe différente de la source de synchronisation courante, le système d’exploitation étant configuré pour mettre en veille la ou les applications exécutées par le processeur jusqu’à ce que le processeur se resynchronise sur ladite source de synchronisation externe, le système d’exploitation étant, en outre, configuré pour envoyer une commande d’inhibition au dispositif de surveillance parallèlement à la mise en veille de la ou des applications et une commande de réactivation au dispositif de surveillance une fois que le processeur est resynchronisé sur la source de synchronisation externe ; - au moins une source de synchronisation externe du processeur est une source de synchronisation interne d’un autre processeur appartenant au même équipement que le processeur ou à un équipement différent, ou une source de synchronisation interne d’un dispositif d’affichage, ou encore une source de synchronisation d’un réseau avionique. L’invention concerne aussi un système avionique comprenant un ensemble tel que décrit précédemment. D’autres caractéristiques et avantages de l’invention apparaîtront à la lecture de la description qui suit de modes de réalisation de l’invention, donnée à titre d’exemple uniquement, et en référence aux dessins qui sont : - figure 1, une représentation schématique d’un processeur et d’un dispositif de surveillance du processeur, et - figure 2, une représentation schématique d’un exemple de resynchronisation, sur une source de synchronisation externe, d’un ensemble comprenant un processeur et un dispositif de surveillance. Un processeur 10 et un dispositif 12 de surveillance du processeur 10 sont illustrés par la figure 1. L’ensemble formé du processeur 10 et du dispositif de surveillance 12 est, par exemple, adapté pour être mis en œuvre dans un système avionique, par exemple dans la plateforme IMA d’un système avionique. Le processeur 10 est un calculateur configuré pour exécuter des programmes logiciels aussi appelés applications. Le processeur 10 est en interaction avec un système d’exploitation. Le système d’exploitation est un programme logiciel qui contrôle l’utilisation des ressources du processeur par les applications. Avantageusement, le processeur 10 est un microprocesseur. Dans un exemple, le processeur 10 est configuré pour être synchronisé sur une source de synchronisation externe. La source de synchronisation externe du processeur 10 est, par exemple, une source de synchronisation interne d’un autre processeur appartenant au même équipement ou à un équipement différent du processeur 10, ou une source de synchronisation interne d’un dispositif d’affichage (dont la synchronisation permet par exemple le rafraîchissement de trames vidéos à afficher), ou encore une source de synchronisation d’un réseau avionique. En variante, le processeur 10 est configuré pour être synchronisé au cours du temps sur plusieurs sources de synchronisation différentes, notamment sur des sources de synchronisation internes et/ou externes. Le système d’exploitation du processeur 10 est configuré pour mettre en veille la ou les applications exécutées sur le processeur 10 à chaque fois que la source de synchronisation courante du processeur 10 est remplacée par une source de synchronisation externe différente de la source de synchronisation courante, et ce jusqu’à ce que le processeur 10 se synchronise sur ladite source de synchronisation externe. La source de synchronisation externe présente notamment une période identique à la source de synchronisation courante et une phase (ou retard) éventuellement différente de la source de synchronisation courante. La synchronisation consiste à compenser cette différence de phase (ou retard). Le système d’exploitation est, en outre, configuré pour envoyer une commande d’inhibition au dispositif de surveillance, parallèlement à la mise en veille des applications, et une commande de réactivation au dispositif de surveillance une fois le processeur 10 synchronisé sur ladite source de synchronisation externe (donc à l’issue de la période de veille des applications). De telles commandes seront décrites dans la suite de la description. Le dispositif de surveillance 12 est configuré pour surveiller l’exécution d’applications sur le processeur 10. Le dispositif de surveillance 12 comprend une entrée 20, une sortie 22, un compteur de temps 24, un module de contrôle 26, un module d’inhibition 28 et un module de réactivation 30. L’entrée 20 du dispositif de surveillance 12 est connectée à une sortie 22 du processeur 10. L’entrée 20 du dispositif de surveillance 12 est propre à recevoir des commandes d’entrée en provenance du processeur 10. De telles commandes d’entrée sont générées par le système d’exploitation du processeur 10. Chaque commande d’entrée est une séquence d’instructions. Les commandes d’entrée sont avantageusement choisies parmi : une commande de réinitialisation, une commande d’inhibition et une commande de réactivation. Une commande de réinitialisation, aussi appelée commande de réarmement, est une commande visant à réinitialiser le compteur de temps 24 du dispositif de surveillance 12. Une commande d’inhibition est une commande visant à inhiber le compteur de temps 24 du dispositif de surveillance 12. Une commande de réactivation est une commande visant à réactiver le compteur de temps 24 du dispositif de surveillance 12 lorsque celui-ci a été inhibé au préalable. La sortie 22 du dispositif de surveillance 12 est connectée à une entrée 20 du processeur 10. La sortie 22 du dispositif de surveillance 12 est propre à envoyer des commandes de sanction du processeur 10. Les commandes de sanction sont générées par le module de contrôle 26. Les commandes de sanction sont des commandes indicatives d’un défaut de fonctionnement du processeur 10 (défaut matériel) et/ou de l’application (défaut logiciel). Les commandes de sanction sont destinées à enclencher une action telle qu’une interruption du processeur 10, une mise hors service du processeur 10 ou encore un redémarrage du processeur 10. Le compteur de temps 24 est configuré pour définir des périodes temporelles. Le compteur de temps 24 est, par exemple, réalisé sous une forme logicielle. En variante, le compteur de temps 24 est réalisé sous la forme d’un circuit électronique. Le circuit électronique comprend, par exemple, au moins une bascule monostable. Le module de contrôle 26 est configuré pour réinitialiser, c’est-à-dire remettre à zéro ou réarmer, le compteur de temps 24 à la fin d’une période temporelle de durée prédéterminée, dite période de réinitialisation P init , si une commande de réinitialisation a été reçue en entrée 20 du dispositif de surveillance 12 dans une fenêtre temporelle de durée prédéterminée, dite fenêtre de réinitialisation F init . La période de réinitialisation P init est donc la période entre deux réinitialisations consécutives. La fenêtre de réinitialisation F init est la marge d’erreur autour du moment de réinitialisation théorique. La fenêtre de réinitialisation F init est comprise dans la période de réinitialisation P init . Dans le cas contraire, le module de contrôle 26 est configuré pour générer une commande de sanction du processeur 10. La durée de la période de réinitialisation P init est prédéterminée lors de la configuration du dispositif de surveillance 12, c’est-à-dire avant sa mise en service. De même, la durée, le début et la fin de la fenêtre de réinitialisation F init sont prédéterminées lors de la configuration du dispositif de surveillance 12. Dans un premier exemple, la durée de la fenêtre de réinitialisation F init est strictement inférieure à la durée de la période de réinitialisation P init . Dans ce cas, le dispositif de surveillance 12 est communément appelé « chien de garde à fenêtre temporelle ». Avantageusement, la fin de la fenêtre de réinitialisation F init est égale à la fin de la période de réinitialisation P init . Dans un deuxième exemple, la durée de la fenêtre de réinitialisation F init est égale à la durée de la période de réinitialisation P init . Dans ce cas, la réinitialisation du compteur de temps 24 est effectuée quel que soit l’instant de réception de la commande de réinitialisation dans la période de réinitialisation P init . La commande de réarmement du compteur de temps 24 est susceptible d’être reçue à chaque instant de la période de réinitialisation P init . Avantageusement, le module de contrôle 26 est aussi configuré pour générer des commandes de sanction dans au moins un autre cas d’espèce qui est décrit dans la suite de la description. Le module d’inhibition 28 est configuré pour inhiber le compteur de temps 24 lors de la réception d’une commande d’inhibition en entrée 20 du dispositif de surveillance 12. Par le terme « inhiber le compteur de temps », il est entendu arrêter le compteur de temps 24 sans le réinitialiser. Avantageusement, le module d’inhibition 28 est configuré pour inhiber le compteur de temps 24 seulement lorsque le nombre de commandes d’inhibition reçues sur une période glissante de durée prédéterminée est inférieur ou égale à un nombre maximal. Cela permet de contrôler le nombre de demandes d’inhibition par unité de temps. De préférence, lorsque le nombre de commandes d’inhibition reçues sur la période glissante est strictement supérieur au nombre maximal, le module de contrôle 26 est configuré pour générer une commande de sanction du processeur 10. La durée de la période glissante et le nombre maximal sont prédéterminés lors de la configuration du dispositif de surveillance 12. Le nombre maximal est supérieur ou égal à zéro. Le module de réactivation 30 est configuré pour réactiver le compteur de temps 24 lors de la réception d’une commande de réactivation en entrée 20 du dispositif de surveillance 12. Par le terme « réactiver », il est entendu que le compteur de temps 24 reprend le comptage du temps à partir du moment où il a été inhibé. Le compteur de temps 24 n’est donc pas remis à zéro. Avantageusement, le module de réactivation 30 est, en outre, configuré pour réactiver le compteur de temps 24 lorsque la durée d’inhibition du compteur de temps 24 est strictement supérieure à une durée maximale d’inhibition. Cela permet de s’assurer que la désactivation du compteur de temps 24 est temporaire : c’est-à-dire que la durée de l’inhibition est bornée (réarmement automatique après un temps défini à la configuration). La durée maximale d’inhibition est prédéterminée lors de la configuration du dispositif de surveillance 12. Par exemple, la durée maximale d’inhibition est inférieure ou égale à deux fois la durée prédéterminée de la période de réinitialisation P init . Le fonctionnement de l’ensemble formé du processeur 10 et du dispositif de surveillance 12 va maintenant être décrit. Initialement, le compteur de temps 24 du dispositif de surveillance 12 est mis à zéro. Lorsqu’une commande de réinitialisation est reçue en entrée 20 du dispositif de surveillance 12 et que ladite commande est reçue dans la fenêtre de réinitialisation F init , le module de contrôle 26 réinitialise le compteur de temps 24 à la fin de la période de réinitialisation P init . Dans le cas contraire, c’est-à-dire si la commande de réinitialisation n’a pas été reçue dans la fenêtre de réinitialisation F init ou si aucune commande de réinitialisation n’a été reçue, le module de contrôle 26 génère une commande de sanction du processeur 10. Cette commande de sanction est envoyée en sortie 22 du dispositif de surveillance 12. Lorsqu’une commande d’inhibition est reçue en entrée 20 du dispositif de surveillance 12, le module d’inhibition 28 inhibe le compteur de temps 24. Avantageusement, une telle inhibition a lieu seulement si une condition relative au nombre de commandes d’inhibition reçues sur une période glissante est remplie. Avantageusement, lorsque cette condition n’est pas remplie, le module de contrôle 26 génère une commande de sanction du processeur 10. Lorsqu’une commande de réactivation est reçue en entrée 20 du dispositif de surveillance 12, le module de réactivation 30 réactive le compteur de temps 24. Avantageusement, lorsque la durée d’inhibition du compteur de temps 24 est strictement supérieure à une durée maximale d’inhibition, en l’absence de commande de réactivation, le module de réactivation 30 réactive le compteur de temps 24. Optionnellement, le module de contrôle 26 génère une commande de sanction du processeur 10 lorsque le module de réactivation 30 réactive le processeur 10 en l’absence de commande de réactivation. L’exemple de la figure 2 illustre le fonctionnement de l’ensemble formé du processeur 10 et du dispositif de surveillance 12 dans le cas de la perte d’une synchronisation externe, suivi du retour de cette synchronisation externe. Sur cette figure 2, les différentes synchronisations sont matérialisées par des flèches pointant vers le haut. Notamment, les flèches S ext en traits pleins illustrent la synchronisation du processeur 10 sur une source de synchronisation externe et les flèches S int en traits pointillés illustrent la synchronisation du processeur 10 sur une source de synchronisation interne. La ligne du dessus de la figure 2 illustre l’exécution d’une application sur le processeur 10 au cours du temps. Dans cet exemple, le compteur de temps 24 effectue un décompte. L’exécution est matérialisée par les carrés hachurés E. La mise en veille de l’application due à un changement de synchronisation est matérialisée par un rectangle hachuré V. La durée pour que le processeur 10 se resynchronise sur la source de synchronisation externe à partir de la réapparition de cette source externe est notée Tv et est matérialisée par un rectangle avec des pointillées. Au cours de son exécution, le système d’exploitation du processeur 10 envoie des commandes au processeur 10. Ces commandes sont matérialisées par des flèches en gras. Notamment, les flèches F1, F2, F3, F4 et F7 matérialisent chacune une commande de réinitialisation. La flèche F5 matérialise une commande d’inhibition. La flèche F6 matérialise une commande de réactivation. La ligne du dessous de la figure 2 illustre le fonctionnement du compteur de temps 24 du dispositif de surveillance 12. Comme visible sur cette figure, en fonctionnement normal (commandes de réinitialisation F2, F3, F4 et F7 reçues dans la fenêtre de réinitialisation F init ), le compteur de temps 24 est décrémenté jusqu’à la fin de la période de réinitialisation P init . Lorsque le dispositif de surveillance 12 reçoit une commande d’inhibition F5, le compteur de temps 24 est inhibé. Lorsque le dispositif de surveillance 12 reçoit une commande de réactivation F6, le compteur de temps 24 est réactivé. Ainsi, dans cet exemple, initialement, le processeur 10 est synchronisé sur une source de synchronisation externe S ext . Le système d’exploitation du processeur 10 envoie alors les commandes de réinitialisation F1 et F2 au dispositif de surveillance 12 pour réarmer le compteur de temps 24. A la perte de la synchronisation externe, le processeur 10 se resynchronise sur une source de synchronisation interne S int. Cela n’entraîne pas de changement du point de vue du processeur 10 et de la date d’envoi des commandes de réinitialisation F3 et F4. A la réapparition de la source de synchronisation externe S ext , l’application est mise en veille jusqu’à ce que le processeur 10 se resynchronise sur la source de synchronisation externe réapparue. En parallèle de la mise en veille de l’application, le processeur 10 envoie une commande d’inhibition F5 au dispositif de surveillance 12, ce qui a pour conséquence l’inhibition du compteur de temps 24. A l’issue de la mise en veille de l’application, c’est-à-dire une fois que le processeur 10 est resynchronisé sur la source de synchronisation externe, le système d’exploitation du processeur 10 envoie une commande de réactivation F6 au dispositif de surveillance 12. Ainsi, le dispositif de surveillance 12 est configuré pour s’adapter à différentes situations rencontrées par une application s’exécutant sur un processeur 10, et notamment la perte de la synchronisation externe du processeur 10. Un tel dispositif de surveillance 12 permet de changer de moment de synchronisation de l’application sans se déclencher et provoquer de sanctions. Cela permet de contrôler de manière fiable un processeur 10 même lors d’un changement de la source de synchronisation du processeur 10. En outre, le contrôle du nombre d’inhibitions demandées et de la durée d’inhibition permet de contrôler le fonctionnement du dispositif de surveillance 12, indépendamment des commandes en provenance du processeur 10, ce qui permet de conserver la sûreté du dispositif de surveillance 12. Les actions de resynchronisation sont donc transitoires, ce qui permet de conserver la sûreté et de garantir l’indépendance du dispositif de surveillance 12 vis-à-vis du processeur 10. Ainsi, avec un tel dispositif de surveillance 12, le principe « d’exception » de resynchronisation n’est pas le mode de fonctionnement normal, et l’indépendance de fonctionnement du dispositif de surveillance 12 est conservée tout comme ses capacités de détection de défauts logiciels. Un tel dispositif de surveillance 12 est donc tout à fait adapté pour être utilisé dans des systèmes avioniques et, notamment, être certifiable suivant la norme DO254. L’homme du métier comprendra que les modes de réalisation décrits précédemment sont susceptibles d’être combinés entre eux lorsqu’une telle combinaison est compatible. Dispositif (12) de surveillance de l’exécution d’une application sur un processeur (10), le dispositif comprenant : - une entrée (20) pour la réception de commandes d’entrée en provenance du processeur (10), chaque commande d’entrée étant choisie parmi : une commande de réinitialisation, une commande d’inhibition et une commande de réactivation, - une sortie (22) pour l’envoi d’une commande de sanction du processeur (10), - un compteur de temps (24), - un module de contrôle (26) du compteur de temps (24), le module de contrôle (26) étant configuré pour réinitialiser le compteur de temps (24) à la fin d’une période temporelle de durée prédéterminée, dite période de réinitialisation (P init ), si une commande de réinitialisation a été reçue en entrée (20) du dispositif de surveillance (12) dans une fenêtre temporelle de durée prédéterminée, dite fenêtre de réinitialisation (F init ), et pour générer une commande de sanction du processeur (10) dans le cas contraire, - un module d’inhibition (28) du compteur de temps (24), le module d’inhibition (28) étant configuré pour inhiber le compteur de temps (24) lors de la réception d’une commande d’inhibition en entrée (20) du dispositif de surveillance (12), et - un module de réactivation (30) du compteur de temps (24), le module de réactivation (30) étant configuré pour réactiver le compteur de temps (24) lors de la réception d’une commande de réactivation en entrée (20) du dispositif de surveillance (12). Dispositif (12) selon la revendication 1, dans lequel le module de réactivation (30) est, en outre, configuré pour réactiver le compteur de temps (24) lorsque la durée d’inhibition du compteur de temps (24) est strictement supérieure à une durée maximale d’inhibition. Dispositif (12) selon la revendication 1 ou 2, dans lequel le module d’inhibition (28) est configuré pour inhiber le compteur de temps (24) seulement lorsque le nombre de commandes d’inhibition reçues sur une période glissante de durée prédéterminée est inférieur ou égale à un nombre maximal. Dispositif (12) selon la revendication 3, dans lequel lorsque le nombre de commandes d’inhibition reçues sur la période glissante est strictement supérieur au nombre maximal, le module de contrôle (26) est configuré pour générer une commande de sanction du processeur (10). Dispositif (12) selon l’une quelconque des revendications 1 à 4, dans lequel la durée de la fenêtre de réinitialisation (F init ) est égale à la durée de la période de réinitialisation (P init ). Dispositif (12) selon l’une quelconque des revendications 1 à 4, dans lequel la durée de la fenêtre de réinitialisation (F init ) est strictement inférieure à la durée de la période de réinitialisation (P init ), avantageusement la fin de la fenêtre de réinitialisation (F init ) étant égale à la fin de la période de réinitialisation (P init ). Ensemble comprenant : - un processeur (10) configuré pour exécuter une application, et - un dispositif de surveillance (12) de l’exécution de l’application sur le processeur (10) selon l’une quelconque des revendications 1 à 6. Ensemble selon la revendication 7, dans lequel le processeur (10) est en interaction avec un système d’exploitation, le processeur (10) étant configuré pour être synchronisé au cours du temps sur au moins une source de synchronisation externe (S ext ), à chaque fois que la source de synchronisation courante du processeur (10) est remplacée par une source de synchronisation externe (S ext ) différente de la source de synchronisation courante, le système d’exploitation étant configuré pour mettre en veille la ou les applications exécutées par le processeur jusqu’à ce que le processeur (10) se resynchronise sur ladite source de synchronisation externe (S ext ), le système d’exploitation étant, en outre, configuré pour envoyer une commande d’inhibition au dispositif de surveillance (12) parallèlement à la mise en veille de la ou des applications et une commande de réactivation au dispositif de surveillance (12) une fois que le processeur est resynchronisé sur la source de synchronisation externe (S ext ). Ensemble selon la revendication 8, dans lequel au moins une source de synchronisation externe du processeur (10) est une source de synchronisation interne d’un autre processeur (10) appartenant au même équipement que le processeur (10) ou à un équipement différent, ou une source de synchronisation interne d’un dispositif d’affichage, ou encore une source de synchronisation d’un réseau avionique. Système avionique comprenant un ensemble selon l’une quelconque des revendications 7 à 9.