摘要 |
Pour (exécution par un processeur (70) de plusieurs fonctions, le processe ur ayant accès à un espace adressable comprenant des mémoires de programme (81) et de données (82), et des registres (77) d'entrée / sortie, le procédé selon l'invention comprend 'attribution d'un droit d'accès à chaque fonction, la division de l'espace adressable en partitions associées chacune au droit d'accès d'une fonction, la division du temps d'utilisation du processeur en tranches de temps cycliques associées au droit d'accès d'une fonction, au début de chaqu e nouvelle tranche de temps, la vérification que le processeur a terminé l'exécution de la fonction précédente, et l'activation des tâches de la fonction correspondante, et lors de chaque accès par le processeur (70) à une zone adressable, la comparaison (113) du droit d'accès de la tranche de temps en cours (111) avec celui associé à la zone accédée, et l'émission d'un signal d'erreur en cas d'incohérence.
|