摘要 |
Pour l'éxécution par un processeur (70) de plusieurs fonctions, le processeur 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 l'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 cyliques associées au droit d'accès d'une fonction, au début de chaque nouvelle tranche de temps, la vérification que le processeur a terminé l'éxé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.
|