FR 2927436 A1 20090814 FR 0850883 A 20080212 Procédé de sécurisation d'un programme informatique, dispositif, procédé de mise à jour et serveur de mise à jour correspondants. 1. Domaine de l'invention Le domaine de l'invention est celui de la sécurisation des programmes informatiques. L'invention concerne plus particulièrement le contrôle permanent des programmes informatiques et la détection des erreurs ou anomalies dans ces programmes informatiques. L'invention s'applique notamment aux programmes informatiques pour des applications critiques, par exemple dans des systèmes sécurisés de paiement par cartes bancaires, dans des moyens de transport tels que des avions, ou encore dans des sites industriels tels que des centrales nucléaires. 2. Art antérieur Des techniques de test permettant de vérifier un programme informatique (ou logiciel) et de mettre en évidence les éventuelles erreurs ou anomalies de fonctionnement (appelées � bogues � en français et � bugs � en anglais) sont déjà connues. On applique généralement un ensemble échantillons de données d'entrée qui sont a priori représentatifs de l'usage qui sera fait du programme et on vérifie que les données en sortie sont conformes aux données attendues par la spécification. Une fois la période de test du programme informatique terminée, le programme informatique est � mis en production � (installé, diffusé ou commercialisé) et peut par exemple piloter un dispositif dans lequel il est intégré. La présence de bogues dans des programmes informatiques critiques peut avoir des répercussions fâcheuses ou graves pour le(s) dispositif(s) qu'ils pilotent/contrôlent. Sont ainsi critiques les programmes informatiques utilisés dans des applications nécessitant une grande précision et/ou une forte sécurité, par exemple dans les systèmes de transport (pilotage des avions, signalisation ferroviaire, logiciels embarqués automobiles), la production d'énergie (contrôle des centrales nucléaires), la santé (appareils médicaux), le domaine financier (paiement électronique) ou les applications militaires. Les précautions à prendre dans le développement d'un tel programme informatique critique sont généralement définies par le donneur d'ordre, ou fixées par une norme, dont les exigences élevées imposent de tester le programme informatique dans un grand nombre de configurations afin de tendre vers un fonctionnement sans faille du programme informatique critique. Ainsi, pendant la période de test du programme informatique critique, on tente de maximiser le contrôle du programme informatique en lui envoyant le plus possible de séquences ou de stimuli différents. 3. Inconvénients de l'art antérieur Cependant, il est impossible de tester exhaustivement un programme informatique, et notamment un programme informatique critique, dans la mesure où la période de test est souvent un compromis entre le temps et la complétude. De plus, ces tests peuvent ne pas couvrir par exemple des usages atypiques ou difficilement prévisibles, ou des évolutions de certains aspects dans le temps. On comprend qu'il n'est généralement pas possibles de couvrir toutes les possibilités, et que plus la phase de test est exhaustive, plus elle est longue, ce qui retarde d'autant la mise en oeuvre effective du programme. 4. Objectifs de l'invention L'invention a notamment pour objectif de pallier ces inconvénients de l'art 20 antérieur. Plus précisément, un objectif de l'invention est d'améliorer la sécurité des programmes, et notamment des programmes critiques. Un autre objectif de l'invention est de permettre de réduire la durée de la phase de test, sans réduire fortement la sécurité du programme. 25 L'invention a aussi pour objectif de détecter une éventuelle anomalie d'une manière qui soit simple à mettre en oeuvre. Un autre objectif de l'invention est de permettre une réaction rapide et efficace dans le cas où une anomalie est détectée dans de tels programmes. 5. Résumé de l'invention Ces objectifs, ainsi que d'autres qui apparaîtront par la suite, sont atteints à l'aide d'un procédé de sécurisation de l'utilisation d'un programme informatique principal pilotant au moins un dispositif recevant et délivrant des données. Selon l'invention, ce procédé met en oeuvre un programme informatique secondaire de contrôle, différent dudit programme principal et apte à délivrer les mêmes données de sortie qu'au moins une portion, dite portion critique, dudit programme principal, en présence de données d'entrée identiques. Un tel procédé de sécurisation selon l'invention comprend les étapes suivantes, au moins lorsqu'une desdites portions critiques dudit programme principal est activée : - exécution de ladite portion critique, délivrant des premières données de sortie en fonction de données d'entrée ; -exécution dudit programme de contrôle, délivrant des secondes données de sortie en fonction desdites données d'entrée ; - comparaison desdites premières et secondes données de sortie et génération d'une information d'anomalie, si lesdites premières et secondes données de sortie sont différentes ; - transmission de ladite information d'anomalie à un serveur distant ; - poursuite dudit programme principal, en fonction desdites premières données de sortie. L'invention permet ainsi de tester de manière permanente et non bloquante un programme, en particulier un programme principal qui est utilisé pour une application critique, même après sa phase de test. Pour ce faire, l'invention met en oeuvre un programme de contrôle (test) en parallèle du programme principal, au moins pour les portions critiques de ce programme principal. Cette mise en oeuvre est effectuée pendant la phase de � production � du programme principal, c'est-à-dire lorsque par exemple le programme principal pilote effectivement un dispositif recevant et délivrant des données, tel un terminal de paiement électronique par exemple. L'exécution en parallèle du programme principal et du programme de contrôle permet la détection d'anomalie(s) (bogue) dans le programme principal à tout moment en phase de production. Ainsi, on peut détecter à tout moment la présence d'une anomalie, lorsque les données en sortie des deux programmes sont différentes pour les mêmes données en entrée. En cas de divergence entre ces données de sortie, une information d'anomalie est générée puis transmise vers un serveur distant sans interrompre le programme principal. En d'autres termes, l'invention permet la vérification en permanence d'un programme principal et la détection de bogues, non seulement pendant la période de test du programme principal mais aussi pendant la période de production du programme principal. L'invention est en outre efficace, puisque la vérification du programme principal est basée sur des données d'entrée � réelles � qui peuvent ne pas avoir été envisagées lors de la période de test du programme principal parce qu'elles correspondent à un usage atypique par exemple. L'invention permet donc de sécuriser de manière permanente et continue l'utilisation d'un programme informatique sans bloquer son exécution. La transmission d'informations d'anomalies vers un serveur distant permet de signaler de manière rapide et efficace d'éventuelles anomalies, et avantageusement d'y apporter les correctifs nécessaires (qui peuvent être diffusés vers un parc de machines, si le même programme est mis en oeuvre sur toutes ces machines, et non seulement vers celle qui a signalé l'anomalie). Dans un mode de réalisation particulier de l'invention, l'étape de transmission comprend la transmission d'un rapport contenant un ensemble d'informations relatives à ladite anomalie, dont lesdites données d'entrée et lesdites données de sortie, destinée à permettre l'identification de l'origine de l'anomalie et sa correction. Ceci permet de déterminer plus rapidement l'origine de l'anomalie, et la correction nécessaire. Selon un mode de réalisation avantageux, le procédé comprend une étape de réception d'informations de correction dudit programme principal, transmise par ledit serveur. Ainsi, l'invention permet, en réponse à la détection d'une anomalie, la transmission d'informations de correction par un serveur distant vers le dispositif piloté par le programme principal (et le cas échéant vers d'autres dispositifs utilisant ce programme). Le dispositif peut ainsi sécuriser l'utilisation du programme principal, sans qu'il y ait eu d'interruption longue de son fonctionnement. Le procédé peut également comprendre, en complément ou de façon alternative, une étape de réception d'une commande d'interruption ou de modification dudit programme principal, transmise par ledit serveur. Ainsi, le serveur peut commander à distance la modification du programme principal du dispositif ou l'interruption du programme principal, si l'anomalie détectée le nécessite, ou la modification du comportement du programme principal, par exemple pour qu'il passe dans un mode de fonctionnement dégradé ou sécurisé, pour empêcher notamment que l'anomalie se reproduise (par exemple en empêchant l'utilisation de la partie du code ayant générée l'anomalie) et/ou pour pallier les conséquences éventuelles de l'anomalie (par exemple en bloquant la carte bancaire qui a générée l'anomalie, en signalant l'anomalie à un utilisateur (notamment dans un véhicule ou sur un site industriel), et/ou en sécurisant le dispositif, ses équipements ou son environnement (notamment pour des applications militaires ou nucléaires)). Selon un autre aspect, le procédé comprend une étape de stockage d'un rapport contenant un ensemble d'informations relatives à ladite anomalie. Ainsi, un rapport peut être mémorisé dans le dispositif piloté par le programme principal, par exemple avant que les conséquences de l'anomalie ne le bloquent. Dans ce cas, le dispositif peut transmettre ce rapport au serveur distant à un instant différé. L'invention concerne également un dispositif comprenant des moyens de traitement de données, exécutant un programme principal et mettant en oeuvre le procédé décrit ci-dessus. Un tel dispositif comprend des moyens de mise en oeuvre d'un programme informatique secondaire de contrôle, différent dudit programme principal et apte à délivrer les mêmes données de sortie qu'au moins une portion, dite portion critique, dudit programme principal, en présence de données d'entrée identiques. Il met en outre en oeuvre, au moins lorsqu'une desdites portions critiques dudit programme principal est activée : - des moyens d'exécution d'au moins une desdites portions critiques dudit programme principal, délivrant des premières données de sortie en fonction de données d'entrée ; - des moyens d'exécution dudit programme de contrôle, délivrant des secondes données de sortie en fonction desdites données d'entrée ; - des moyens de comparaison desdites premières et secondes données de sortie et génération d'une information d'anomalie, si lesdites premières et secondes données de sortie sont différentes ; - des moyens de transmission de ladite information d'anomalie à un serveur distant ; lesdits moyens d'exécution dudit programme principal poursuivant leur traitement, en fonction desdites premières données de sortie. Selon différents modes de réalisation particuliers de l'invention, un tel dispositif peut notamment appartenir au groupe comprenant : - les terminaux lecteurs de cartes à puce, notamment les terminaux 25 bancaires ; - les serveurs de données, notamment les serveurs bancaires ; - les dispositifs de transactions financières ou boursières ; - les dispositifs de contrôle d'applications médicales, notamment d'administration de médicament ; 30 - les dispositifs de contrôle d'un moteur ; - les dispositifs de signalisation ferroviaire ; - les dispositifs de pilotage des avions ; - les dispositifs embarqués automobiles ; - les dispositifs de contrôle de sites industriels, notamment de production d'énergie (centrales nucléaires par exemple) ; -les dispositifs de télécommunications ; - les dispositifs mis en oeuvre dans les applications militaires. L'invention concerne également un procédé de mise à jour d'un programme principal pilotant au moins un dispositif recevant et délivrant des données, mettant en oeuvre le procédé de sécurisation de l'invention, comprenant les étapes suivantes : -réception d'une information d'anomalie, émise par un desdits dispositifs, lorsque la comparaison de premières données, délivrées par un programme principal en présence de données d'entrée particulières diffèrent de secondes données de sortie délivrées par un programme de contrôle ; -analyse de ladite anomalie et réalisation d'un correctif ; - transmission dudit correctif audit dispositif. Comme expliqué plus haut, l'approche de l'invention permet en effet de corriger, ou mettre à jour, de façon simple et efficace, un tel programme principal, dès qu'une anomalie a été détectée par le programme de contrôle, bien que ce programme principal se trouve en phase de production. Selon un mode de réalisation avantageux, ledit correctif est transmis simultanément à un ensemble de dispositifs mettant en oeuvre ledit programme principal. Ceci permet de corriger un programme principal simultanément dans plusieurs dispositifs qui mettent en oeuvre le même programme principal. L'invention concerne également un serveur de mise à jour d'un programme principal pilotant au moins un dispositif recevant et délivrant des données, mettant en oeuvre le procédé de sécurisation de l'invention, comprenant : - des moyens de réception d'une information d'anomalie, émise par un desdits dispositifs, lorsque la comparaison de premières données, délivrées par un programme principal en présence de données d'entrée particulières diffèrent de secondes données de sortie délivrées par un programme de contrôle ; - des moyens d'analyse de ladite anomalie et de réalisation d'un correctif ; - des moyens de transmission dudit correctif audit dispositif. 6. Liste des figures D'autres caractéristiques et avantages de l'invention apparaîtront plus clairement à la lecture de la description suivante d'un mode de réalisation préférentiel, donné à titre de simple exemple illustratif et non limitatif, et des dessins annexés, parmi lesquels : - la figure 1 illustre schématiquement un exemple de système dans lequel l'invention est mise en oeuvre ; - la figure 2 présente les étapes principales d'un procédé de sécurisation selon un mode de réalisation de l'invention, adapté au système de la figure 1; - la figure 3 présente les étapes principales d'un procédé de mise à jour selon un mode de réalisation de l'invention, adapté au système de la figure 1. 7. Description d'un mode de réalisation de l'invention Le principe général de l'invention repose sur un contrôle permanent et non bloquant d'un programme informatique, dit programme principal. Ce contrôle est effectué lors de la � phase de production � du programme principal, c' est-à-dire après une phase classique de test, lorsque par exemple le programme principal pilote un dispositif recevant et délivrant des données. Pour ce faire, un programme de contrôle est exécuté en parallèle d'un programme principal, au moins pendant l'exécution des portions critiques du programme principal. Ceci permet la détection d' anomalie(s) dans le programme principal, en comparant les résultats (sorties) des deux programmes. Plus précisément, la présence d'une anomalie est détectée lorsque les données en sortie des deux programmes sont différentes pour les mêmes données en entrée. En cas de divergence entre ces données de sortie, une information d'anomalie est générée puis transmise vers un serveur distant, sans interrompre le programme principal, et donc de façon transparente pour les utilisateurs. La figure 1 illustre schématiquement un exemple de système dans lequel l'invention est mise en oeuvre. Le système illustré comprend plusieurs dispositifs Dl à Dn qui peuvent chacun être utilisés dans une application critique. Le dispositif Dl par exemple peut être un terminal lecteur de cartes à puce (par exemple un terminal bancaire), un serveur de données (un serveur bancaire par exemple), un dispositif de contrôle d'applications médicales (notamment d'administration de médicament), ou un dispositif de contrôle d'un moteur. Le dispositif Dl comprend des moyens de traitement de données, des moyens pour recevoir des données d'entrée 20 et des moyens pour délivrer des données de sortie 30. De façon classique, les moyens de traitement de données du dispositif Dl comprennent des moyens de mise en oeuvre d'un programme informatique principal 11 qui comprend une ou plusieurs portions critiques, c'est-à-dire des portions critiques de code, et/ou des portions manipulant des informations critiques. Conformément à l'invention, les moyens de traitement du dispositif Dl comprennent aussi des moyens de mise en oeuvre d'un programme informatique secondaire de contrôle 12. Le programme secondaire de contrôle 12 est différent du programme principal 11, mais est apte à délivrer les mêmes données de sortie que les portions critiques du programme principal 11, en présence de données d'entrée identiques. En d'autres termes, le programme secondaire de contrôle 12 comprend des éléments en principe identiques aux portions critiques du programme principal 11. Le programme principal 11 a par exemple été généré par un premier compilateur, à partir d'un code source et de spécifications données. Le programme de contrôle 12 peut quant à lui avoir été développé directement par un programmeur, ou généré par un second compilateur, distinct du premier. La mise en oeuvre du programme de contrôle 12 permet de tester et de sécuriser les portions critiques du programme principal 11 conformément au procédé de sécurisation de l'invention dont les étapes principales sont détaillées dans la figure 2. On suppose ici que le programme principal 11 est exécuté par les moyens de traitement du dispositif Dl et qu'une portion non critique est exécutée en premier lieu, à l'étape 100. Lorsqu'une portion critique du programme principal est activée, le procédé de l'invention met en oeuvre une étape 102 d'exécution de la portion critique du programme principal par les moyens de traitement de données du dispositif Dl, délivrant des premières données de sortie 31 en fonction de données d'entrée 20. Le procédé de sécurisation de l'invention met en oeuvre, simultanément ou séquentiellement, une étape 104 d'exécution de la même portion critique par le programme de contrôle 12, délivrant des secondes données de sortie 32 en fonction des mêmes données d'entrée 20. Pour ce faire, le programme principal 11 peut transmettre au programme de contrôle 12 une information 33 indiquant la partie critique du programme principal 11 qui est exécutée à l'étape 102. Le programme de contrôle effectue les mêmes traitements, c'est-à-dire qu'il est censé (en l'absence de bogue) fournir les mêmes données de sortie que le programme principal, en présence des mêmes données d'entrée. Il est en revanche différent, structurellement, pour permettre la détection de ces bogues. Il a par exemple été généré par un autre compilateur, ou écrit par un humain. Une étape 106 de comparaison des premières et des secondes données de sortie 31, 32 est ensuite mise en oeuvre dans des moyens de comparaison 13 des moyens de traitement compris dans le dispositif Dl. Il est alors déterminé si ces premières et secondes données de sortie 31, 32 sont différentes. Dans le cas où il n'existe pas de différences entre les premières et secondes données de sortie 31, 32, l'exécution du programme principal 11 peut se poursuivre conformément à l'étape 100. Dans le cas où les premières et secondes données de sortie 31, 32 sont différentes, une information d'anomalie 35 est générée en sortie des moyens de comparaison 13, conformément à l'étape 108, et le programme principal se poursuit 11, en fonction des premières données de sortie 31. L'existence d'une divergence entre les premières et secondes données de sortie 31, 32 peut en pratique correspondre à une anomalie ou erreur dans une portion critique du programme principal 11 qui n'a de préférence pas d'impact sur le fonctionnement du dispositif Dl ou qui contribue à un dysfonctionnement mineur du dispositif Dl. Dans ce mode de réalisation, l'information d'anomalie 35 générée à l'étape 108 peut être signalée immédiatement à un serveur S distant, à l'étape 110, par l'intermédiaire d'un réseau de communication de type connu. Le serveur S peut traiter l'information d'anomalie 35 de manière immédiate (étape 112) ou éventuellement la stocker pour y apporter les correctifs nécessaires à un instant différé. Lorsque le serveur S a déterminé une correction de l'anomalie à l'étape 114, il transmet cette correction au moins au dispositif Dl à l'étape 116. Dans une variante de réalisation, l'étape 108 comprend la génération d'un rapport contenant un ensemble d'informations relatives à l'anomalie, dont les données d'entrée 20 et les données de sortie 31, 32, destiné à permettre l'identification rapide de l'origine de l'anomalie et la correction nécessaire. Dans une autre variante de réalisation, le rapport contenant un ensemble d'informations relatives à ladite anomalie peut être stocké dans des moyens de mémorisation du dispositif Dl, et transmis en différé au serveur S distant (étape 110). Le procédé de sécurisation de l'invention peut mettre en oeuvre une étape de réception par le dispositif Dl d'informations de correction 40 du programme principal 11, transmise par le serveur S distant. Le dispositif Dl peut ainsi sécuriser l'utilisation du programme principal 11, sans qu'il y ait eu d'interruption longue de son fonctionnement. Le procédé de sécurisation de l'invention peut également comprendre, en complément ou de façon alternative, une étape de réception par le dispositif Dl d'une commande d'interruption ou de modification (notée 41 sur la figure 1) du programme principal 11, transmise par le serveur S. Ainsi, le serveur S peut commander à distance la modification du programme principal 11 du dispositif Dl ou l'interruption du programme principal 11, si l'anomalie détectée le nécessite, ou la modification du comportement du programme principal 11, par exemple pour qu'il passe dans un mode de fonctionnement dégradé ou sécurisé, pour empêcher notamment que l'anomalie se reproduise (par exemple en empêchant l'utilisation de la partie du code ayant générée l'anomalie) et/ou pour pallier les conséquences éventuelles de l'anomalie (par exemple en bloquant la carte bancaire qui a générée l'anomalie, en signalant l'anomalie à un utilisateur (notamment dans un véhicule ou sur un site industriel), et/ou en sécurisant le dispositif, ses équipements ou son environnement (notamment pour des applications militaires ou nucléaires)). Selon le procédé de mise à jour de l'invention dont les étapes principales sont détaillées sur la figure 3, le serveur S peut corriger ou mettre à jour un programme principal pilotant au moins un des dispositifs Dl à Dn dès qu'une anomalie a été détectée par le programme de contrôle d'au moins un des dispositifs Dl à Dn. Le serveur S distant comprend ainsi des moyens de réception d'une information d'anomalie (étape 211) émise par un des dispositifs Dl à Dn. Le serveur détermine par l'intermédiaire de moyens de traitement intégrés une correction de l'anomalie à l'étape 214. Pour ce faire, le serveur S analyse l'information d'anomalie (étape 214A) et réalise un correctif d'anomalie (étape 214B), puis il diffuse le correctif d'anomalie (noté 40 sur la figure 1) à l'étape 216 vers le dispositif qui a émis l'information d'anomalie ou simultanément vers les dispositifs Dl à Dn si le même programme principal est mis en oeuvre sur tous ces dispositifs. La technique mise en oeuvre par l'invention est avantageuse en ce sens que 30 le contrôle du programme principal 11, qui est utilisé pour une application critique, est effectué de manière permanente et non bloquante, même après la phase de test du programme principal 11. Le contrôle du programme principal 11 est effectué lors de la � phase de production � du programme principal et est ainsi basé sur des stimuli qui peuvent ne pas avoir été envisagés pendant la période de test. Dans le cas où une anomalie est détectée dans le programme principal 11, l'anomalie est transmise à serveur distant S, ce qui permet une réaction rapide et efficace pour corriger cette anomalie sans bloquer (sauf, dans certains modes de réalisation, si l'anomalie le justifie) l'exécution du programme principal 11.10 REVENDICATIONS 1. Procédé de sécurisation de l'utilisation d'un programme informatique principal pilotant au moins un dispositif recevant et délivrant des données, caractérisé en ce qu'il met en oeuvre un programme informatique secondaire de contrôle, différent dudit programme principal et apte à délivrer les mêmes données de sortie qu'au moins une portion, dite portion critique, dudit programme principal, en présence de données d'entrée identiques, et en ce qu'il comprend les étapes suivantes, au moins lorsqu'une desdites portions critiques dudit programme principal est activée : - exécution de ladite portion critique, délivrant des premières données de sortie en fonction de données d'entrée ; - exécution dudit programme de contrôle, délivrant des secondes données de sortie en fonction desdites données d'entrée ; - comparaison desdites premières et secondes données de sortie et génération d'une information d'anomalie, si lesdites premières et secondes données de sortie sont différentes ; -transmission de ladite information d'anomalie à un serveur distant ; -poursuite dudit programme principal, en fonction desdites premières données de sortie. 2. Procédé de sécurisation selon la revendication 1, caractérisé en ce que ladite étape de transmission comprend la transmission d'un rapport contenant un ensemble d'informations relatives à ladite anomalie, dont lesdites données d'entrée et lesdites données de sortie, destinée à permettre l'identification de l'origine de l'anomalie et sa correction. 3. Procédé de sécurisation selon l'une quelconque des revendications 1 et 2, caractérisé en ce qu'il comprend une étape de réception d'informations de correction dudit programme principal, transmise par ledit serveur. 4. Procédé de sécurisation selon l'une quelconque des revendications 1 à 3, caractérisé en ce qu'il comprend une étape de réception d'une commanded'interruption ou de modification dudit programme principal, transmise par ledit serveur. 5. Procédé de sécurisation selon l'une quelconque des revendications 1 à 4, caractérisé en ce qu'il comprend une étape de stockage d'un rapport contenant un ensemble d'informations relatives à ladite anomalie. 6. Dispositif comprenant des moyens de traitement de données, délivrant des données de sortie en fonction de données d'entrée, lesdits moyens de traitement comprenant des moyens de mise en oeuvre d'un programme informatique principal, caractérisé en ce qu'il comprend des moyens de mise en oeuvre d'un programme informatique secondaire de contrôle, différent dudit programme principal et apte à délivrer les mêmes données de sortie qu'au moins une portion, dite portion critique, dudit programme principal, en présence de données d'entrée identiques, et au moins lorsqu'une desdites portions critiques dudit programme principal est activée : - des moyens d'exécution d'au moins une desdites portions critiques dudit programme principal, délivrant des premières données de sortie en fonction de données d'entrée ; - des moyens d'exécution dudit programme de contrôle, délivrant des secondes données de sortie en fonction desdites données d'entrée ; - des moyens de comparaison desdites premières et secondes données de sortie et génération d'une information d'anomalie, si lesdites premières et secondes données de sortie sont différentes ; - des moyens de transmission de ladite information d'anomalie à un serveur distant ; lesdits moyens d'exécution dudit programme principal poursuivant leur traitement, en fonction desdites premières données de sortie. 7. Dispositif selon la revendication 6, caractérisé en ce qu'il appartient au groupe comprenant :- les terminaux lecteurs de cartes à puce, notamment les terminaux bancaires ; - les serveurs de données, notamment les serveurs bancaires ; - les dispositifs de transactions financières ou boursières ; - les dispositifs de contrôle d'applications médicales, notamment d'administration de médicament ; - les dispositifs de contrôle d'un moteur ; - les dispositifs de signalisation ferroviaire ; - les dispositifs de pilotage des avions ; - les dispositifs embarqués automobiles ; - les dispositifs de contrôle de sites industriels, notamment de production d'énergie (centrales nucléaires par exemple) ; -les dispositifs de télécommunications ; - les dispositifs mis en oeuvre dans les applications militaires. 8. Procédé de mise à jour d'un programme principal pilotant au moins un dispositif recevant et délivrant des données, mettant en oeuvre le procédé de sécurisation de l'une quelconque des revendications 1 à 5, caractérisé en ce qu'il comprend les étapes suivantes : - réception d'une information d'anomalie, émise par un desdits dispositifs, lorsque la comparaison de premières données, délivrées par un programme principal en présence de données d'entrée particulières diffèrent de secondes données de sortie délivrées par un programme de contrôle ; - analyse de ladite anomalie et réalisation d'un correctif ; - transmission dudit correctif audit dispositif. 9. Procédé de mise à jour selon la revendication 8, caractérisé en ce que ledit correctif est transmis simultanément à un ensemble de dispositifs mettant en oeuvre ledit programme principal. 10. Serveur de mise à jour d'un programme principal pilotant au moins un dispositif recevant et délivrant des données, mettant en oeuvre le procédé de sécurisation de l'une quelconque des revendications 1 à 5,caractérisé en ce qu'il comprend : - des moyens de réception d'une information d'anomalie, émise par un desdits dispositifs, lorsque la comparaison de premières données, délivrées par un programme principal en présence de données d'entrée particulières diffèrent de secondes données de sortie délivrées par un programme de contrôle ; - des moyens d'analyse de ladite anomalie et de réalisation d'un correctif ; - des moyens de transmission dudit correctif audit dispositif.