摘要 |
L'invention concerne un procédé d'exécution d'un programme, le procédé comprenant des étapes consistant à : exécuter une opération (SSG) configurée pour charger une valeur choisie de manière arbitraire d'une donnée initiale (sq1<0>) appartenant à une série de données ordonnées, exécuter une série d'opérations de calcul (SG, SGC, ESG) réparties dans le programme, comprenant des opérations configurées chacune pour calculer une donnée courante (sq1<s>) de la série de données (sq1) en fonction d'une donnée précédente (sq1<s-1>), exécuter une opération finale configurée pour calculer une donnée finale (sq1<n>) de la série de données en fonction de la donnée courante, et exécuter une opération (SQCK, SQFC) configurée pour détecter une erreur d'exécution du programme en comparant la donnée courante de la série de données avec une valeur attendue, la donnée finale présentant une valeur attendue indépendante du nombre (n) de données dans la série de données. |