Procédé et système de validation de génération graphique de symboles à afficher L’invention concerne un procédé et un système de validation de génération graphique de symboles à afficher, comportant une génération graphique de symboles à afficher pour former un flux vidéo comportant une pluralité de trames, comportant une génération de pixels, avec, pour chaque pixel contribuant à un desdits symboles, l’attribution d’au moins un attribut de symbole associé. Le procédé comporte, pour au moins une trame dudit flux vidéo : l’obtention (44) d’au moins un attribut de symbole de référence associé à au moins un symbole à surveiller ; l’identification (48) de pixels ayant le(s) attribut(s) de symbole de référence, pendant un parcours des pixels de ladite trame dans un sens de parcours prédéterminé, ces pixels contribuant audit au moins un symbole à surveiller, et calcul (50) d’informations caractéristiques associées ; la validation (56, 58) d’affichage du (des) symbole(s) à surveiller en fonction des informations caractéristiques calculées et d’informations sources associées auxdits symboles à afficher. Figure pour l'abrégé : Figure 5 Procédé et système de validation de génération graphique de symboles à afficher La présente invention concerne un procédé et un système de validation de génération graphique de symboles à afficher, comportant une génération de symboles à afficher en fonction d’informations sources en provenance d’au moins un équipement physique. L’invention trouve une application particulière pour des applications à sûreté critique (en anglais « safety critical »), en particulier dans le domaine de l’avionique, lorsque les symboles à afficher sont utilisés pour le contrôle d’un système à sûreté critique. En effet, lorsque le contrôle d’un système, par exemple d’un aéronef ou d’un processus industriel, par un opérateur, relève de la sûreté critique, toute erreur d’interprétation par l’opérateur peut conduire à des actions de contrôle ou de commande susceptibles de provoquer des accidents. Pour la commande d’équipements physiques il est prévu notamment d’afficher des informations, sous forme de symboles, relatives à l’état du système à commander, ces informations étant susceptibles d’évoluer en temps réel, pour permettre à l’opérateur de prendre des décisions adéquates. Tel est le cas par exemple dans un système de pilotage d’aéronef, l’opérateur étant dans ce cas un pilote d’aéronef. Il est usuel, dans ce domaine, d’afficher des informations sous forme de symboles critiques pour le pilotage, par exemple représentatifs de la position de l’aéronef, son altitude, son attitude, la ligne d’horizon, la pente de la trajectoire de l’aéronef etc, sur une interface d’affichage, par exemple un tableau de bord ou un dispositif d’affichage tête haute placé devant les yeux du pilote. Dans ce contexte, toute erreur d’affichage d’un symbole est critique. Les normes DO-178 et DO-254 fixent les conditions de sécurité applicables aux logiciels et matériels critiques de l'avionique dans l'aviation commerciale et l'aviation générale. Cependant, le coût de développement de logiciel et matériel selon ces normes est très élevé. Une autre solution envisageable pour assurer un niveau de sécurité élevé serait d’effectuer une double génération de flux vidéo comportant des trames à afficher, par deux systèmes de génération graphique différents. Une telle solution est également coûteuse, car le deuxième système de génération graphique devrait également avoir le niveau d’assurance de sécurité souhaité. Il serait également envisageable d’utiliser des technologies de traitement d’images connues, comme par exemple une reconnaissance optique de caractères, mais une telle solution n’est pas envisageable lorsqu’il s’agit, comme dans le cas de l’avionique, de symboles complexes à interpréter, et pouvant être spatialement proches ou mélangés, par exemple superposés en partie lors de l’affichage. L’invention a pour objet de remédier aux inconvénients de l’état de la technique, en proposant un procédé et un système de validation de génération graphique de symboles à afficher qui soit fiable et moins complexe et coûteux que les systèmes connus. A cet effet, l’invention propose, selon un premier aspect, un procédé de validation de génération graphique de symboles à afficher, comportant une génération graphique de symboles à afficher, en fonction d’informations sources en provenance d’au moins un équipement physique, pour former un flux vidéo comportant une pluralité de trames comportant lesdits symboles, chaque trame étant constituée de pixels ayant des valeurs associées, le flux vidéo étant destiné à être affiché pour permettre à un opérateur de contrôler un système. La génération graphique de symboles à afficher comporte une génération de pixels, avec, pour chaque pixel contribuant à un desdits symboles, l’attribution d’au moins un attribut de symbole associé. Le procédé comporte en outre, pour au moins une trame dudit flux vidéo, des étapes de: a) obtention d’au moins un attribut de symbole de référence associé à au moins un symbole à surveiller, b) identification de pixels ayant le ou les attribut(s) de symbole de référence, pendant un parcours des pixels de ladite trame dans un sens de parcours prédéterminé, les pixels identifiés contribuant audit au moins un symbole à surveiller, et calcul d’informations caractéristiques associées aux pixels identifiés, c) validation d’affichage du ou des symboles à surveiller en fonction desdites informations caractéristiques calculées et d’informations sources associées auxdits symboles à afficher, d) en cas d’absence de validation, levée d’alerte. Avantageusement, grâce à l’utilisation d’attributs de symboles associés aux symboles à afficher, le procédé permet un calcul rapide d’informations caractéristiques des symboles à afficher et une validation rapide. Avantageusement, le procédé rend l’affichage de symboles compatible avec des applications à sûreté critique. Le procédé de validation de génération graphique de symboles à afficher selon l’invention peut également présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou selon toutes les combinaisons techniquement envisageables. Les informations caractéristiques comportent des caractéristiques géométriques et des caractéristiques statistiques. Les informations caractéristiques comportent un nombre de pixels contribuant au symbole à surveiller, des coordonnées minimales et maximales des pixels ayant l’attribut de symbole de référence. Les informations caractéristiques comportent des coordonnées d’un point central du symbole à surveiller. Les attributs de symboles sont sélectionnés parmi une couleur, une valeur de priorité ou de profondeur, une valeur de transparence ou un attribut dédié, ou une combinaison desdits attributs. Les attributs de symboles sont attribués individuellement à un pixel ou à un groupe de pixels. Le procédé comprend une mise en œuvre des étapes a) à d) pour une pluralité de symboles prédéterminés à surveiller. Selon un autre aspect, l’invention concerne un système de validation de génération graphique de symboles à afficher, comportant un module de génération graphique de symboles à afficher, en fonction d’informations sources en provenance d’au moins un équipement physique, pour former un flux vidéo comportant une pluralité de trames comportant lesdits symboles, chaque trame étant constituée de pixels ayant des valeurs associées, le flux vidéo étant destiné à être affiché pour permettre à un opérateur de contrôler un système. Le module de génération graphique de symboles à afficher est configuré pour effectuer une génération de pixels, avec, pour chaque pixel contribuant à un desdits symboles, l’attribution d’au moins un attribut de symbole associé. Le système comporte en outre, pour au moins une trame dudit flux vidéo: un module d’identification configuré pour obtenir au moins un attribut de symbole de référence associé à au moins un symbole à surveiller, identifier des pixels ayant le ou les attribut(s) de symbole de référence, pendant un parcours des pixels de ladite trame dans un sens de parcours prédéterminé, les pixels identifiés contribuant audit au moins un symbole à surveiller, et calculer des informations caractéristiques associées aux pixels identifiés, un module de validation configuré pour valider l’affichage du ou des symboles à surveiller en fonction desdites informations caractéristiques calculées et d’informations sources associées auxdits symboles à afficher, et, en cas d’absence de validation, effectuer une levée d’alerte. Selon une caractéristique, le module de génération graphique est implémenté par une première chaîne de traitement et les modules d’identification et de validation sont implémentés par une deuxième chaîne de traitement. Avantageusement, le système de validation de génération graphique de symboles à afficher est configuré pour mettre en œuvre le procédé de validation de génération graphique de symboles à afficher, dans tous ses modes de réalisation. Selon un autre aspect, l’invention concerne un programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un dispositif électronique programmable, mettent en œuvre un procédé de validation de génération graphique de symboles à afficher tel que brièvement décrit ci-dessus. D’autres caractéristiques et avantages de l’invention ressortiront de la description qui en est donnée ci-dessous, à titre indicatif et nullement limitatif, en référence aux figures annexées, parmi lesquelles : la illustre un système de validation de génération graphique de symboles à afficher selon un mode de réalisation ; la est un synoptique des principaux modules d’un dispositif électronique programmable configuré pour mettre en œuvre un procédé validation de génération graphique de symboles à afficher selon un mode de réalisation de l’invention ; la est un exemple schématique de symboles à afficher et d’attributs de symbole associés ; la est un exemple schématique de symbole à afficher et d’informations caractéristiques associées ; la est un synoptique des principales étapes d’un procédé de validation de génération graphique de symboles à afficher selon un mode de réalisation. L’invention sera décrite ci-après plus particulièrement dans son application pour un système de pilotage d’aéronef, dans lequel des symboles critiques d’aide au pilotage sont à afficher, à destination d’un pilote d’aéronef. Néanmoins, il est à noter que l’invention s’applique pour tout système dont le contrôle est effectué par un opérateur sur la base d’un affichage de symboles, en particulier à tout système de ce type qui nécessite un niveau de sécurité élevé, ou système à sûreté critique (en anglais, « safety critical »). La illustre schématiquement un système 2 de validation de génération graphique de symboles à afficher, connecté à un système de pilotage d’aéronef 4, qui n’est pas représenté en détail ici. Le système de pilotage d’aéronef 4 fournit des informations dites informations sources, issues de divers équipements physiques, par exemple des capteurs, actionneurs, instruments de pilotage embarqués, calculateurs, les informations comprenant des informations d’altitude, de vitesse, de pente, de trajectoire etc. Dans cet exemple, le système à contrôler par le pilote est le système de pilotage de l’aéronef, permettant de piloter le vol de l’aéronef. Le système 2 comporte, dans le mode de réalisation illustré, deux chaînes de traitement 6, 8, par exemple implémentées sur deux dispositifs électroniques de calcul distincts, comportant une première chaîne 6 de génération graphique de symboles à afficher et une deuxième chaîne 8 de validation avant affichage des symboles à afficher. Selon une variante, les deux chaînes de traitement 6, 8 sont réunies sur un seul dispositif électronique programmable, qui effectue dans ce cas à la fois la génération graphique de symboles à afficher et la validation des symboles générés. Le système 2 comprend notamment un module 10 de génération graphique, dont la sortie est un flux vidéo 12 comportant une pluralité de trames, chaque trame étant constituée de pixels, chaque pixel ayant une ou plusieurs valeurs de couleur, ainsi qu’un ou plusieurs attributs associé(s). Chaque trame comporte une composition de symboles à afficher sur une interface d’affichage 16, les symboles pouvant être spatialement proches ou mélangés, par exemple superposés en partie lors de l’affichage. Le flux vidéo 12 est destiné à être affiché pour permettre à un opérateur de contrôler le système de pilotage, notamment d’agir sur des instruments de pilotage pour piloter l’aéronef. Le système 2 de validation de génération graphique de symboles fonctionne pour tout type de symboles à afficher, sans contrainte sur la forme des symboles. Dans une application particulière, par exemple dans le domaine de l’avionique, au moins une partie des symboles à afficher sont choisis dans des catégories de symboles prédéterminées, par exemple définissant la ou les formes des symboles d’une catégorie. La position et/ou l’orientation d’affichage de chaque symbole sont calculées en temps réel en fonction d’informations sources reçues. De plus, des symboles graphiques à afficher comprennent également des symboles alphanumériques, qui représentent graphiquement des valeurs utiles, par exemple l’altitude courante de l’aéronef. Les symboles affichés sur l’interface graphique 16 permettent au pilote de prendre des décisions, actionner des commandes etc pour le pilotage effectif de l’aéronef. Le système 2 comprend en outre un module 18 de conditionnement de l’affichage d’une trame du flux vidéo 12 généré en fonction de la validation positive des symboles à afficher. En cas de validation négative, il est par exemple prévu de lever une alerte ou d’afficher un message d’alerte prédéterminé. Le module 10 de génération graphique met en œuvre l’attribution d’un attribut de symbole à chaque symbole généré, par exemple en fonction d’une catégorie de symboles parmi un ensemble de catégories de symboles prédéterminé. Par exemple, on distingue entre symboles non-critiques et symboles critiques. Parmi les symboles critiques, il est possible de distinguer plusieurs catégories en fonction d’un sous-niveau de criticité ou d’un regroupement fonctionnel. Selon une variante, un même attribut est associé à plusieurs symboles différents. En variante ou en complément, plusieurs attributs sont associés à un même symbole ou à une même catégorie de symboles. Chaque pixel contribuant à un symbole donné comporte l’attribut ou les attributs de symbole associé(s). Les attributs de symboles comportent par exemple : une couleur, une valeur de priorité, de transparence ou de profondeur spécifique, un attribut dédié spécifique en vue d’effectuer des traitements différenciés. De préférence, un attribut de symbole est codé sous forme de valeur alphanumérique d’attribut affectée à chaque pixel. Avantageusement, les attributs de symbole sont codés dans les trames du flux vidéo, en association avec les pixels de chaque trame. Dans un mode de réalisation, dans le cas d’une composition d’une trame comportant plusieurs symboles à afficher, dont des symboles partiellement superposés, dans une zone de superposition de deux ou plusieurs symboles, les pixels affichés ont une même profondeur correspondant au symbole choisi pour un affichage de premier plan. La chaîne 8 de validation des symboles générés par le module de génération graphique 10, comprend un module 20 d’identification, dans chaque trame à afficher, de pixels contribuant à des symboles à surveiller parmi les symboles à afficher et de calcul d’informations caractéristiques associées. L’identification de pixels contribuant aux symboles à afficher utilise avantageusement les attributs de symbole préalablement attribués par le module 10 de génération graphique. Pour la validation d’un ou plusieurs symboles d’une catégorie donnée, une valeur de référence est fournie pour chaque attribut caractérisant les symboles à identifier (P ref ), en entrée du module 20 d’identification de pixels contribuant aux symboles à afficher et de calcul d’informations caractéristiques associées. En variante, plusieurs attributs de référence sont fournis. Selon une autre variante, plusieurs modules 20 d’identification sont fournis, chaque module 20 d’identification mettant en œuvre l’identification d’un ou plusieurs symboles associés à un même attribut de symbole et le calcul d’informations caractéristiques associées. Les informations caractéristiques associées aux symboles identifiés comprennent notamment des caractéristiques géométriques et des caractéristiques statistiques. Les informations caractéristiques calculées sont utilisées, en combinaison avec des informations sources pour une validation, du ou des symboles identifiés, par le module de validation 30. Le résultat de la validation conditionne l’affichage du/des symboles en question. La illustre schématiquement un dispositif électronique programmable 24 configuré pour mettre en œuvre un procédé de validation de génération graphique de symboles selon l’invention. Le dispositif électronique programmable comporte une unité de calcul 23, composée d’un ou de plusieurs processeurs de calcul, adaptée à exécuter des instructions de programme informatique lorsque le dispositif 24 est mis sous tension. Le dispositif électronique programmable 24 comporte également une unité de mémoire électronique 25, adaptée à communiquer avec l’unité de calcul 23 par un bus de communication 27. L’unité de mémoire est notamment adaptée pour stocker une association 32 entre catégories de symboles et attributs de symbole, par exemple sous forme de table de mise en correspondance. L’unité de calcul 23 est adaptée pour exécuter un programme d’ordinateur contenant des instructions de code pour effectuer un procédé de validation de génération graphique de symboles selon l’invention. En particulier, l’unité de calcul 23 est adaptée pour implémenter un module 10 de génération graphique, un module 20 d’identification de pixels contribuant aux symboles à afficher et de calcul d’informations caractéristiques associées, et un module 30 de validation. Dans un mode de réalisation, chaque module 10, 20, 30 est réalisé sous forme de code logiciel. En variante, les modules 10, 20, 30 sont réalisés chacun sous forme d’un composant logique programmable, tel qu’un FPGA (de l’anglais Field Programmable Gate Array ), un GPGPU (de l’anglais General-purpose processing on graphics processing ), ou encore un circuit intégré dédié, tel qu’un ASIC (de l’anglais Application Specific Integrated Circuit ). Selon une autre variante, lorsque les chaînes de traitement 6 et 8 sont différentes, le module 10 de génération graphique est mis en œuvre par une première unité de calcul de la première chaîne de traitement 6, et le module 20 d’identification de pixels contribuant aux symboles et de calcul d’informations caractéristiques associées, et le module 30 de validation sont mis en œuvre par une deuxième unité de calcul de la deuxième chaîne de traitement 8. La illustre schématiquement un exemple d’attributs de symboles. Dans cet exemple, chaque pixel d’une trame du flux vidéo généré a une valeur de profondeur associée. Le module 10 de génération graphique attribue des niveaux de profondeur Z à chaque pixel, ces niveaux de profondeur variant entre une valeur minimale Z min et une valeur maximale Z max . Dans l’exemple de la on a illustré schématiquement le tracé de deux symboles, un premier symbole 34 et un deuxième symbole 36, le premier symbole 34 ayant une première valeur de profondeur Zc1 associée, et le deuxième symbole 36 ayant une deuxième valeur de profondeur Zc2 associée. La trame 38 contenant les deux symboles générés est composée de pixels de fond d’image ayant un niveau de profondeur par défaut, par exemple Z min , de pixels formant le premier symbole 34 ayant une valeur de profondeur égale à la première valeur de profondeur Zc1, et de pixels formant le deuxième symbole 36 ayant une valeur de profondeur égale à la deuxième valeur de profondeur Zc2. Les valeurs de profondeur par défaut Z min , première valeur de profondeur Zc1 et deuxième valeur de profondeur Zc2 sont différentes. Selon une variante non représentée, l’attribut de symbole est par exemple une couleur, et dans ce cas la trame 38 est composée de pixels de fond d’image ayant une valeur de couleur par défaut, de pixels formant le premier symbole 34 ayant une valeur égale à une première valeur de couleur, et de pixels formant le deuxième symbole 36 ayant une valeur égale à une deuxième valeur de couleur. La valeur de couleur par défaut, la première valeur de couleur et la deuxième valeur de couleur sont toutes différentes, de manière à être différentiables. La illustre schématiquement une trame 38 d’un flux vidéo généré comprenant deux symboles à afficher 34, 36. Par exemple le deuxième symbole 36 est sélectionné pour validation, i.e. tous les pixels contribuant à la représentation de ce deuxième symbole 36 sont identifiés en fonction de l’attribut de symbole associé. Par exemple les pixels du deuxième symbole 36 sont identifiés au fil du parcours des pixels de la trame, par exemple selon un sens de parcours des pixels prédéterminé, par exemple le parcours dit « raster scan », ligne par ligne, du coin supérieur gauche vers le coin inférieur droit de la matrice de pixels formant la trame. Les informations caractéristiques du symbole comprennent par exemple des caractéristiques statistiques, par exemple le nombre de pixels Nb_pxls formant le deuxième symbole 36, et des caractéristiques géométriques, par exemple les coordonnées dans la trame du premier pixel P 1 appartenant à ce deuxième symbole 36, dans le sens de parcours prédéterminé, les coordonnées du dernier pixel P 2 appartenant à ce deuxième symbole 36, les coordonnées spatiales x min , y min et x max , y max des coins extrêmes C 1 et C 2 d’un rectangle circonscrit audit deuxième symbole 36. Dans un mode de réalisation, les coordonnées sont exprimées dans le référentiel de la trame, et expriment les indices de ligne et de colonne de la position du pixel dans la matrice de pixels formant la trame, les coordonnées notées x se réfèrent à l’indice de ligne et les coordonnées notées y se réfèrent à l’indice de colonne de la matrice. Par exemple les coordonnées (0,0) indiquent le pixel situé au coin supérieur gauche de la matrice et les coordonnées (xmax, ymax) indiquent le coin inférieur droit de la matrice. De plus, les coordonnées d’un point central P M du symbole sont calculées. Le point central P M est par exemple le barycentre du symbole 36, et les coordonnées de ce point sont obtenues par la somme des positions X (resp. Y) des pixels identifiés divisée par le nombre de pixels identifiés, en d’autres termes la moyenne des positions des pixels identifiés. En variante, le calcul est effectué pour une composante couleur des pixels interceptés. Selon une autre variante, les contributions dans la somme des positions X(resp. Y) sont pondérées par la valeur d’une composante couleur. Bien entendu, la illustre des exemples d’informations caractéristiques d’un symbole. D’autres caractéristiques géométriques ou statistiques peuvent être extraites ou calculées. Les caractéristiques géométriques et/ou statistiques extraites/calculées sont choisies notamment en fonction de l’ensemble de catégories de symboles à distinguer. La est un synoptique des principales étapes d’un procédé de validation de génération graphique de symboles à afficher selon un mode de réalisation. Le procédé comprend une étape 40 de génération graphique de trames contenant des symboles à afficher, les symboles étant choisis et positionnés en fonction d’informations sources des symboles à afficher, en provenance d’équipements physiques, par exemple des capteurs positionnés sur l’aéronef, donnant la position de l’aéronef et son orientation. De plus, comme expliqué ci-dessus, pour chaque symbole à afficher, en fonction de la catégorie de symboles à laquelle il appartient, un attribut de symbole est associé à chaque pixel de la représentation graphique de ce symbole. Par exemple, l’attribut de symbole est une valeur de profondeur comme montré en référence à la . En variante, l’attribut de symbole est une valeur de priorité, une transparence, une couleur, un attribut dédié ou une combinaison de ces attributs. Selon une autre variante, plusieurs attributs sont affectés à un même symbole, par exemple valeur de priorité et couleur. En variante, les attributs de symboles sont attribués à un groupe de pixels. Ainsi, chaque trame à afficher contient des pixels ayant chacun une ou plusieurs valeurs de couleur, et un ou plusieurs attributs associés, qui sont codés dans la trame. En d’autres termes, chaque pixel appartenant à un symbole à afficher est marqué par un ou plusieurs attributs associés. L’étape 40 est suivie de la validation 42 de la génération graphique de symboles à afficher, mise en œuvre pour une trame du flux vidéo à afficher, et par exemple répétées sur des trames successives ou des trames espacées, selon un objectif de sécurité à respecter, en particulier une latence acceptable pour la détection d’erreur. La validation 42 comporte une étape 44 d’obtention d’au moins un attribut de symbole de référence, par exemple à partir d’un pixel de référence d’un symbole à afficher pour lequel une validation est souhaitée, appelé ci-après symbole à surveiller. La trame du flux vidéo en cours de traitement est parcourue à l’étape de parcours 46, selon un sens de parcours prédéterminé, par exemple le parcours « raster scan ». Pour chaque pixel de la trame, au fil du parcours, l’attribut de pixel associé est comparé, à l’étape de comparaison 48, à l’attribut de symbole de référence. Par exemple, si l’attribut de symbole de référence est une valeur de profondeur, la profondeur associée au pixel est comparée à la profondeur de référence. En cas de différence, l’étape de comparaison 48 est suivie de l’étape de parcours 46 préalablement décrite, le parcours de la trame dans le sens de parcours prédéterminé continue. En cas d’égalité à l’étape de comparaison 48, le pixel correspondant est identifié en tant que pixel contribuant au symbole(s) à surveiller, et s’ensuit une étape 50 de calcul d’informations caractéristiques de pixels ayant l’attribut de référence est mise en œuvre. Lors de cette étape 50, des informations associées aux pixels sont extraites, par exemple les coordonnées des pixels ayant l’attribut de référence et des informations caractéristiques sont calculées et mémorisées. Par exemple, l’étape 50 comporte une sous-étape 52 de mémorisation des coordonnées des pixels ayant l’attribut de référence, et une sous-étape 54 de calcul d’informations caractéristiques lors de laquelle les coordonnées du premier pixel associé au symbole sont mémorisées, et les coordonnées minimales et maximales x min , y min , x max , y max des pixels ayant l’attribut de référence sont calculées et mémorisées. Ces coordonnées sont des informations caractéristiques géométriques du symbole. De plus, un décompte du nombre de pixels ayant l’attribut de référence est effectué, par exemple par augmentation du compteur par exemple chaque fois qu’un nouveau pixel ayant l’attribut de référence est identifié. Le nombre de pixels contribuant au symbole à surveiller est ainsi obtenu et mémorisé. Finalement, lorsque la totalité de la trame en cours de traitement a été parcourue, les informations caractéristiques, géométriques et statistiques, du symbole dont les pixels ont pour valeur d’attribut de symbole de référence sont complétées. Selon une variante, l’étape de validation 42 met en œuvre une combinaison de plusieurs attributs de référence. Le procédé comporte ensuite une étape 56 de comparaison des informations caractéristiques calculées à des informations sources, qui sont des informations caractéristiques attendues, reçues du système de pilotage d’aéronef. Par exemple, le système de pilotage indique une position attendue d’un symbole, et la comparaison des coordonnées du pixel central du symbole à afficher à la position attendue permet de valider ou non l’affichage. Par exemple, si le symbole à afficher est un symbole de guidage, la position calculée est validée en fonction d’un dessin de la piste d’atterrissage. Par exemple, si le symbole à afficher est un caractère alphanumérique, les informations caractéristiques de nombre de pixels et de position du point central permettent de déduire de quel symbole alphanumérique il s’agit, et de comparer alors la valeur du symbole à afficher à une valeur à afficher attendue, qui est une information source, transmise par le système de pilotage. Avantageusement, ce type de comparaison est effectué à faible coût calculatoire, alors que les formes géométriques des symboles alphanumériques sont relativement complexes, et leur reconnaissance demande des ressources calculatoires bien plus élevées. En fonction du résultat de l’étape 56, le symbole à afficher généré est validé ou non validé. L’étape 58 de validation autorise l’affichage de la trame contenant le symbole validé. En cas de non validation, une alarme est levée, par exemple une information indiquant qu’une erreur d’affichage est survenue est transmise au pilote, par exemple un message indiquant une nécessité de vérification est affiché, ou une alarme sonore est émise. En variante ou en complément, un flux vidéo provenant d’un autre calculateur est affiché. Le procédé a été décrit ci-dessus dans le cas de la validation d’un ou plusieurs symboles à afficher, associés à un attribut de symbole de référence donné. Bien entendu, le procédé s’applique de manière analogue pour la validation de plusieurs symboles à afficher d’une trame du flux vidéo. Pour la validation d’une pluralité de symboles à afficher, selon un mode de réalisation, les étapes 44 à 58 sont répétées, avec autant d’attributs de symboles de référence que de symboles différents à valider. Selon une variante, si les ressources calculatoires le permettent, les étapes 44 à 58 sont réalisées en parallèle pour chaque attribut de symbole de référence. Dans une variante, les attributs de symbole de référence sont extraits de la trame en cours de traitement. Dans cette variante, un parcours des pixels de la trame, dans le sens de parcours prédéterminé, est effectué, et les attributs de symboles distincts rencontrés sont extraits et mémorisés, puis la validation est effectuée, en séquentiel ou en parallèle, pour chacun des attributs de symbole extraits utilisé comme attribut de symbole de référence. Avantageusement, le procédé proposé permet d’économiser les ressources calculatoires, et par conséquent, nécessite une puissance de calcul limitée, grâce au calcul d’informations caractéristiques des symboles au fur et à mesure du parcours des pixels d’une trame, et grâce à l’utilisation de calculs basés sur des comparaisons pour la validation. Procédé de validation de génération graphique de symboles à afficher, comportant une génération graphique de symboles à afficher, en fonction d’informations sources en provenance d’au moins un équipement physique, pour former un flux vidéo comportant une pluralité de trames comportant lesdits symboles, chaque trame étant constituée de pixels ayant des valeurs associées, le flux vidéo étant destiné à être affiché pour permettre à un opérateur de contrôler un système, caractérisé en ce que la génération (40) graphique de symboles à afficher comporte une génération de pixels, avec, pour chaque pixel contribuant à un desdits symboles, l’attribution d’au moins un attribut de symbole associé, le procédé étant en outre caractérisé en ce qu’il comporte, pour au moins une trame dudit flux vidéo, des étapes de: a) obtention (44) d’au moins un attribut de symbole de référence associé à au moins un symbole à surveiller, b) identification (48) de pixels ayant le ou les attribut(s) de symbole de référence, pendant un parcours des pixels de ladite trame dans un sens de parcours prédéterminé, les pixels identifiés contribuant audit au moins un symbole à surveiller, et calcul (50) d’informations caractéristiques associées aux pixels identifiés, c) validation (56, 58) d’affichage du ou des symboles à surveiller en fonction desdites informations caractéristiques calculées et d’informations sources associées auxdits symboles à afficher, d) en cas d’absence de validation, levée d’alerte (58). Procédé selon la revendication 1, dans lequel lesdites informations caractéristiques comportent des caractéristiques géométriques et des caractéristiques statistiques. Procédé selon la revendication 1 ou 2, dans lequel lesdites informations caractéristiques comportent un nombre de pixels contribuant au symbole à surveiller, des coordonnées minimales et maximales des pixels ayant l’attribut de symbole de référence. Procédé selon l’une quelconque des revendications 2 ou 3, dans lequel les informations caractéristiques comportent des coordonnées d’un point central du symbole à surveiller. Procédé selon l’une quelconque des revendications 1 à 4, dans lequel les attributs de symboles sont sélectionnés parmi une couleur, une valeur de priorité ou de profondeur, une valeur de transparence ou un attribut dédié, ou une combinaison desdits attributs. Procédé selon l’une quelconque des revendications 1 à 5, dans lequel les attributs de symboles sont attribués individuellement à un pixel ou à un groupe de pixels. Procédé selon l’une quelconque des revendications 1 à 6 comprenant une mise en œuvre des étapes a) à d) pour une pluralité de symboles prédéterminés à surveiller. Programme d’ordinateur comportant des instructions logicielles qui, lorsqu’elles sont exécutées par un ou plusieurs dispositifs électroniques programmables, mettent en œuvre un procédé de validation de génération graphique de symboles à afficher conforme aux revendications 1 à 7. Système de validation de génération graphique de symboles à afficher, comportant un module (10) de génération graphique de symboles (34, 36) à afficher, en fonction d’informations sources en provenance d’au moins un équipement physique, pour former un flux vidéo comportant une pluralité de trames (38) comportant lesdits symboles, chaque trame étant constituée de pixels ayant des valeurs associées, le flux vidéo étant destiné à être affiché pour permettre à un opérateur de contrôler un système (4), caractérisé en ce que le module (10) de génération graphique de symboles (34, 36) à afficher est configuré pour effectuer une génération de pixels, avec, pour chaque pixel contribuant à un desdits symboles, l’attribution d’au moins un attribut de symbole associé, le système étant en outre caractérisé en ce qu’il comporte, pour au moins une trame (38) dudit flux vidéo: un module d’identification (20) configuré pour : obtenir au moins un attribut de symbole de référence associé à au moins un symbole à surveiller, identifier des pixels ayant le ou les attribut(s) de symbole de référence, pendant un parcours des pixels de ladite trame dans un sens de parcours prédéterminé, les pixels identifiés contribuant audit au moins un symbole à surveiller, et calculer des informations caractéristiques associées aux pixels identifiés, un module de validation (30) configuré pour valider l’affichage du ou des symboles à surveiller en fonction desdites informations caractéristiques calculées et d’informations sources associées auxdits symboles à afficher, et, en cas d’absence de validation, effectuer une levée d’alerte. Système selon la revendication 9, dans lequel ledit module (10) de génération graphique est implémenté par une première chaîne de traitement (6) et les modules d’identification (20) et de validation (30) sont implémentés par une deuxième chaîne de traitement (8).