Brevet FR3089656A1 — publié le 20200612

Description Titre de l'invention : Procédé et dispositif de contrôle d'accès à une ressource partagée entre tâches logicielles exécutées dans un contexte applicatif prédéterminé [000 La présente invention concerne un procédé de contrôle d'accès à au moins une ressource partagée entre tâches logicielles exécutées dans un contexte applicatif prédéterminé, et un dispositif électronique de calcul à contrôle d'accès associé. [0002] L'invention se situe dans le domaine de la sécurité des logiciels, et en particulier la sécurité d'accès aux ressources partagées dans un système informatique. [0003] L'invention s'applique notamment pour la sécurisation des applications logicielles exécutées sur des dispositifs embarqués sensibles, qu'il s'agisse de dispositifs de communication, par exemple une radio logicielle, ou des dispositifs de commande ou de pilotage. [0004] L'invention s'applique également dans le domaine du contrôle commande indusniel, et plus généralement dans tout système fermé mettant en oeuvre des logiciels prédéterminés, dans un contexte applicatif prédéterminé, pour lesquels un niveau élevé de sécurité d'exécution est nécessaire. [0005] De manière connue, un dispositif électronique de calcul, en particulier un dispositif embarqué, comprend des ressources matérielles (ou « hardware » en anglais) qui sont gérées par un système d'exploitation qui comprend un noyau exécutable en mode privilégié. On entend par « mode privilégié » l'anneau de protection de l'architecture d'un processeur, tel que défini dans l'encyclopédie en ligne Wikipedia, à partir duquel est autorisée la configuration des accès aux ressources matérielles. [0006] Toute application logicielle (« software » en anglais), également appelée service, est implémentée par des instructions logicielles, c'est-à-dire des instructions de code de programme exécutable, l'exécution par les ressources matérielles étant supportée par le système d'exploitation. Les applications logicielles sont exécutées en « mode non privilégié », c'est-à-dire dans un anneau de protection où elles ne sont pas autorisées à modifier la configuration des accès aux ressources matérielles du dispositif électronique de calcul. [0007] Chaque application logicielle est en général constituée de plusieurs tâches logicielles à exécuter, et un contexte applicatif comporte plusieurs applications logicielles, pouvant s'exécuter de façon concurrente et chercher à accéder à des ressources matérielles partagées de manière concurrente. [0008] Les ressources matérielles comprennent en particulier des ressources mémoire, par exemple des mémoires de travail (RAM, ROM) et/ou des registres de périphériques. Il 2 est courant que des tâches logicielles cherchent à accéder de manière concurrente, en écriture et/ou en lecture, à une même ressource mémoire. Pour gérer les conflits, l'accès à la ressource partagée doit donc être contrôlé. [0009] De manière connue il est possible de mettre en oeuvre un système de jeton, indiquant si une ressource matérielle est disponible ou non. Dans un tel système, toute tâche logicielle peut accéder à une ressource matérielle partagée si elle a été libérée auparavant. [0010] Pour certaines applications ou dans certains contextes applicatifs, il est critique d'assurer une sécurité plus élevée, par exemple d'assurer la séquentialité d'accès successifs, à une même ressource matérielle, par des tâches logicielles exécutées en mode non privilégié. [0011] Il existe des méthodes cherchant à assurer une telle sécurité au niveau applicatif, c'est-à-dire dans une couche logicielle qui est implémentée en « mode non privilégié ». De telles méthodes sont complexes et l'évaluation de la sécurité est également complexe. [0012] L'invention a pour objet de remédier aux inconvénients de l'état de la technique en améliorant le contrôle d'accès à des ressources matérielles partagées. [0013] A cet effet, l'invention propose, selon un premier aspect, un procédé de contrôle d'accès à au moins une ressource matérielle d'un dispositif électronique de calcul, partagée par une pluralité de tâches logicielles à exécuter dans un contexte applicatif prédéterminé, les tâches logicielles étant adaptées à être mises en oeuvre par un processeur du dispositif électronique de calcul, la ou les ressources matérielles étant gérées par un système d'exploitation à noyau exécutable en mode d'exécution privilégié. Le procédé est mis en oeuvre par ledit noyau du système d'exploitation et comporte une mémorisation d'une structure de configuration d'accès aux ressources matérielles partagées comportant une information relative à des transferts autorisés comprenant, pour chaque ressource matérielle partagée, au moins une indication de transfert autorisé entre une première tâche et une deuxième tâche pour une utilisation de ladite ressource. Le procédé comporte en outre, suite à une exécution d'une première tâche utilisant une ressource matérielle : [0014] -une réception d'une requête d'acquisition de ladite ressource matérielle par une deuxième tâche, et [0015] -une vérification d'autorisation d'acquisition par ladite deuxième tâche, comportant, si ladite ressource n'est pas libre, une vérification de transfert de l'utilisation de ladite ressource matérielle de ladite première tâche vers ladite deuxième tâche, le transfert étant effectué en fonction de ladite information relative aux transferts autorisés mémorisée dans la structure de configuration d'accès aux ressources matérielles partagées. 3 [0016] Avantageusement, le contrôle d'accès à au moins une ressource matérielle partagée proposé permet de garantir un séquencement de l'accès à chaque ressource partagée selon des règles prédéterminées de manière statique, et donc d'augmenter la sécurité. [0017] Avantageusement, le contrôle d'accès aux ressources matérielles partagées est effectué par le noyau du système d'exploitation. [0018] Le procédé de contrôle d'accès selon l'invention peut présenter une ou plusieurs des caractéristiques ci-dessous, prises indépendamment ou en combinaison, selon toutes les combinaisons techniquement acceptables. [0019] Le procédé comporte, en cas de vérification d'autorisation négative, une génération d'alarme. [0020] Lorsque l'information relative à des transferts autorisés est une table de transferts autorisés, le procédé comporte en outre une mémorisation dans la structure de configuration d'accès aux ressources matérielles partagées d'une table de droits d'accès aux ressources indiquant, pour chaque tâche de la pluralité de tâches logicielles, un mode d'accès autorisé pour chaque ressource matérielle. [0021] La requête d'acquisition comporte au moins un mode d'accès à ladite ressource ma- térielle partagées, le procédé comportant, en cas de vérification d'autorisation positive, une vérification du ou des modes d'accès autorisés pour ladite deuxième tâche à ladite ressource matérielle, et une génération d'alarme si ledit au moins un mode d'accès à ladite ressource requis n'est pas un mode d'accès autorisé selon ladite structure de configuration d'accès aux ressources partagées. [0022] Le transfert d'une ressource de ladite première tâche vers ladite deuxième tâche comporte une mémorisation d'un identifiant de la deuxième tâche en tant que tâche destinataire de transfert et une modification d'une configuration de ladite ressource matérielle. [0023] Le procédé comporte une mémorisation d'une pluralité de structures de configuration d'accès aux ressources matérielles partagées, chaque structure de configuration d'accès aux ressources matérielles partagées étant associée à un contexte applicatif prédéterminé. [0024] La ou les ressources matérielles sont des dispositifs électroniques adressables par le système d'exploitation à noyau. [0025] La structure de configuration d'accès aux ressources matérielles partagées définit, pour chacun (lesdits dispositifs électroniques adressables, un droit d'accès en lecture et/ou en écriture ou une absence de droit d'accès pour chaque tâche logicielle de la pluralité de tâches logicielles. [0026] Selon un autre aspect, l'invention concerne un dispositif électronique de calcul à contrôle d'accès à au moins une ressource matérielle, le dispositif comportant au moins une ressource matérielle partagée par une pluralité de tâches logicielles à exécuter dans un contexte applicatif prédéterminé, et un processeur adapté à exécuter lesdites tâches, la ou les ressources matérielles étant gérées par un système d'exploitation à noyau exécutable en mode d'exécution privilégié. Le noyau du système d'exploitation est configuré pour mettre en oeuvre une mémorisation d'une structure de configuration d'accès aux ressources matérielles partagées comportant une information relative à des transferts autorisés comprenant, pour chaque ressource matérielle partagée, au moins une indication de transfert autorisé entre une première tâche et une deuxième tâche pour une utilisation de ladite ressource. Le noyau du système d'exploitation est configuré en outre pour mettre en oeuvre, suite à une exécution d'une première tâche utilisant une ressource matérielle, [0027] -une réception d'une requête d'acquisition de ladite ressource matérielle par une deuxième tâche, et [0028] -une vérification d'autorisation d'acquisition par ladite deuxième tâche, comportant, si ladite ressource n'est pas libre, une vérification de transfert de l'utilisation de ladite ressource matérielle de ladite première tâche vers ladite deuxième tâche, le transfert étant effectué en fonction de ladite information relative aux transferts autorisés mémorisée dans la structure de configuration d'accès aux ressources matérielles partagées. [0029] Selon un autre aspect l'invention concerne un programme d'ordinateur comportant des instructions de code qui, lorsqu'elles sont mises en oeuvre par un noyau d'un système d'exploitation d'un dispositif électronique programmable, mettent en oeuvre un procédé de contrôle d'accès à au moins une ressource matérielle du dispositif électronique de calcul tel que brièvement ci-dessus. [0030] 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 [0031] - [fig.1] la figure 1 est un bloc-diagramme des principaux blocs matériels et logiciels d'un dispositif électronique de calcul mettant en oeuvre l'invention selon un mode de réalisation ; [0032] - [fig.2] la figure 2 est une illustration schématique d'une structure de configuration d'accès aux ressources matérielles partagées ; [0033] - [fig.3] la figure 3 est une illustration schématique des états des ressources ma- térielles partagées dans un mode de réalisation d'un procédé de contrôle selon l'invention ; [0034] - [fig.4] la figure 4 est un ordinogramme des principales étapes d'un procédé de contrôle d'accès à une ressource matérielle partagée selon un mode de réalisation ; [0035] - [fig.5] la figure 5 est un ordinogramme des sous-étapes d'acquisition d'une ressource partagée matérielle dans un procédé de contrôle d'accès selon un mode de réalisation ; [0036] - [fig.6] la figure 6 est un ordinogramme des sous-étapes d'un transfert de ressource matérielle partagée dans un procédé de contrôle d'accès selon un mode de réalisation ; [0037] - [fig.7] la figure 7 est un ordinogramme des sous-étapes d'une libération de ressource partagée dans un procédé de contrôle d'accès selon un mode de réalisation. [0038] L'invention s'applique en particulier dans un système d'exécution fermé, par exemple dans un dispositif électronique de calcul embarqué, et pour un ou plusieurs contextes applicatifs prédéfinis. Elle sera décrite en termes génériques car elle s'applique dans divers contextes applicatifs. [0039] On appelle contexte applicatif une configuration contextuelle du noyau définissant les caractéristiques d'un système applicatif (une application), incluant notamment la liste des tâches composant ce système, des configurations mémoires associées à chacune des tâches, des moyens de communications liant ces tâches et les états du système applicatif dans lesquels les tâches peuvent s'exécuter et communiquer. [0040] On considère de manière générale qu'un même dispositif électronique de calcul est utilisé pour un nombre quelconque supérieur ou égal à un de contextes applicatifs. [0041] Ainsi, pour chaque contexte applicatif, les tâches logicielles associées à ce contexte applicatif sont connues et dénombrables. [0042] La figure 1 illustre schématiquement un système 2 matériel et logiciel mis en oeuvre dans un dispositif électronique de calcul électronique selon un mode de réalisation de l'invention. [0043] Le système 2 comporte un ensemble 4 de ressources matérielles ou « hardware » en anglais, constitué dans cet exemple de plusieurs blocs matériels, et plusieurs ensembles de blocs logiciels 8, 9. [0044] Les ressources matérielles comprennent un processeur de calcul CPU (pour « Central Processing Unit » en anglais) 14a, un gestionnaire de mémoire virtuelle 16a appelé MMU pour « Metnorv Management Unit » en anglais, un module de gestion des interruptions 18a et, un générateur d'horloge 20a utilisé notamment pour la détection de blocage du système. [0045] Les ressources matérielles 4 comportent également des ressources matérielles partagées 32, en particulier comprenant tout dispositif électronique adressable par le système à noyau. [0046] Les ressources matérielles partagées comportent des mémoires électroniques adressables 37, de type RAM (pour « Random Access Memory »), mémoire morte ROM, PROM, FLASH, NVRAM. Les ressources matérielles partagées comportent également des registres 33,.., 35 de ressources électroniques, par exemple des bus de données Ethernet, SPI (« serial peripheral interface »), I2CC) (inter-integrated circuit), UART (« Universal Asynchronous Receiver-Transmitter »). 6 [0047] Les ressources matérielles 4 sont contrôlées par un système d'exploitation 8, qui comporte divers blocs fonctionnels d'instructions de code de contrôle « hardware », également connus sous le noms de pilotes (« drivers » en anglais), exécutés dans le mode d'exécution dit privilégié. [0048] Le système d'exploitation est par exemple un système de type Linux, ou VxWorks® ou QNX ®, enrichi par des fonctionnalités de contrôle d'accès aux ressources matérielles partagées selon les divers modes de réalisation de l'invention. [0049] Cc système 8 comporte un noyau ou tronc commun 10, qui comporte une interface 12 bas niveau, également appelée interface HAL pour « Hardware Abstract Layer » qui permet d'interfacer les commandes du noyau 10 avec des modules pilotes 14 à 20 adaptés à contrôler directement les ressources matérielles 14a à 20a. [0050] Ces modules pilotes adaptés à contrôler directement les ressources matérielles com- prennent un contrôleur 14 du processeur de calcul, un contrôleur 16 de gestionnaire de mémoire virtuelle, un module 18 de gestion des interruptions et, optionnellement, un module de vérification 20 également connu sous le nom de « Waiehdog » en anglais. [0051] Le noyau 10 comporte également une interface 22 haut niveau, adaptée à supporter l'exécution d'applications logicielles 24. La ou les applications logicielles comportent une pluralité de tâches logicielles 26a à 26z, appelées simplement « tâches » par la suite. [0052] Chaque tâche est implémentée sous forme d'instructions de code de programme, dans un langage donné, compilé pour être exécutable par les ressources matérielles du dispositif électronique de calcul grâce à l'interface 22. [0053] L'interface haut-niveau 22 et les tâches logicielles 26a à 26z font partie des ap- plications logicielles 9 qui sont exécutées, dans un exemple de réalisation, en mode non privilégié. [0054] L'exécution d'une tâche logicielle met en oeuvre, de manière connue, des calculs effectués par le processeur 14a, des données et paramètres mémorisés en utilisant par exemple le module gestionnaire de mémoire virtuelle 16a. [0055] Le noyau 10 est configuré pour gérer l'ordonnancement d'exécution des tâches lo- gicielles, notamment lorsque plusieurs tâches logicielles sont concurrentes, c'est-à-dire doivent être exécutées simultanément. [0056] Il est entendu qu'en général, le système logiciel et matériel supporte un certain niveau de parallélisme d'exécution de tâches, mais pour simplifier l'explication, nous considérerons dans ce qui suit l'exemple de tâches logicielles concurrentes faisant appel aux mêmes ressources, pour lesquelles l'exécution en parallèle n'est pas envisagée. [0057] Pour la gestion de l'ordonnancement et de l'exécution des tâches logicielles, le noyau comporte un module d'ordonnancement des tâches et de gestion des commu- 7 nications entre tâches 28. [0058] Le noyau 10 comporte également un module 30 de contrôle d'accès à des ressources matérielles partagées 32, en particulier comprenant tout dispositif électronique adressable par le système à noyau. Le module 30 utilise une structure 36 de configuration d'accès aux ressources matérielles partagées qui comprend, pour un contexte applicatif donné, un ensemble de données mémorisées comme expliqué ci-après. [0059] Dans un système d'exécution fermé, par exemple dans un dispositif électronique de calcul embarqué, un ou plusieurs contextes applicatifs sont prédéfinis. [0060] Pour un contexte applicatif donné, on distingue des ressources partagées par plusieurs tâches. [0061] La structure 36 de configuration d'accès aux ressources partagées comprend, pour chaque ressource partagée, la structure de configuration mémorise les droits d'accès de chaque tâche pouvant accéder à la ressource partagée, ainsi qu'une liste possiblement vide de transferts possibles de cette ressource entre les tâches pouvant y accéder. [0062] La structure de configuration 36 est par exemple mémorisée dans un des blocs mémoire 32. [0063] La structure de configuration 36 est dite statique car elle est préalablement définie et mémorisée, en association avec un contexte applicatif donné, pour une pluralité de tâches identifiées et pour une ou plusieurs ressources identifiées. [0064] Dans un mode de réalisation, il y a autant de structures de configuration d'accès aux ressources matérielles partagées que de contextes applicatifs. [0065] En variante, une même structure de configuration d'accès aux ressources matérielles partagées mémorise les données relatives à plusieurs contextes, en lien avec chacun des contextes. [0066] Le système comprend également une interface d'adaptation 34 permettant d'adapter le système à un contexte applicatif donné. Ainsi, plusieurs contextes applicatifs peuvent être mis en oeuvre par un même dispositif. L'interface d'adaptation 34 permet d'accéder à la structure de configuration 36 associée à un contexte applicatif choisi. [0067] La figure 2 illustre schématiquement un exemple de structure de configuration associée 36 à un contexte applicatif prédéterminé. [0068] Dans cet exemple, la structure de configuration 36 est une description statique du partage de ressources partagées RI, R2 entre trois tâches logicielles Ti, T2 et T3. [0069] Les tâches sont identifiées par un identifiant, par exemple un numéro de tâche. [0070] Dans l'exemple les ressources RI, R2 sont des mémoires électroniques. [0071] La structure de configuration 36 comprend une table 40 indiquant des droits d'accès aux ressources RI, R2, par chacune des tâches listées, selon un mode d'accès autorisé : lecture (R), écriture (W), lecture-écriture (RW) ou aucun accès (case vide dans l'exemple). 8 [0072] Ainsi selon la table 40, la tâche Tl est autorisée à accéder à la ressource R1 en écriture et à la ressource R2 en lecture-écriture ; la tâche T2 est autorisée à accéder la ressource RI en lecture, et n'est pas autorisée à accéder à la ressource R2 ; la tâche T3 est autorisée à accéder en lecture-écriture à chacune des ressources R1 et R2. [0073] La structure de configuration 36 comporte également une table 42 indiquant les transferts de ressource autorisés entre tâches. La table 42 comporte, adaptée à indiquer, pour chaque ressource matérielle partagée, au moins une indication de transfert autorisé entre une première tâche (tâche utilisatrice) et une deuxième tâche (tâche destinataire) pour une utilisation de ladite ressource. [0074] Le transfert d'une ressource d'une tâche utilisatrice à une tâche destinataire sera expliqué plus en détail ci-après. [0075] Ainsi, selon la table 42, pour la ressource R1 : la tâche Tl est autorisée à transférer la ressource R1 vers la tâche T2 et vers la tâche T3 ; la tâche T2 n'est pas autorisée à transférer la ressource R1 ; la tâche T3 est autorisée à transférer la ressource R1 vers la tâche Tl et vers la tâche T2. pour la ressource R2, la tâche Tl est autorisée à transférer la ressource R2 à la tâche T3 ; la tâche T3 n'est autorisée à transférer la ressource R2 à aucune autre tâche. [0076] Il est à noter que la table 42 ne comporte pas de ligne « R2-T2 » car la tâche T2 n'est pas autorisée à accéder à la ressource R2 selon la table d'autorisation d'accès 40. [0077] Comme illustré schématiquement dans le graphe 44 de la figure 3, chaque ressource Ri partagée peut être dans un des trois états suivants : libre, acquise ou transférée. [0078] Une ressource est libre lorsqu'aucune tâche logicielle en cours d'exécution n'a préempté l'accès à cette ressource ou qu'elle l'a libérée après usage. [0079] Une ressource est acquise par une tâche donnée Tj, qui utilise cette ressource, par exemple pour effectuer des écritures et/ou lectures lorsque la ressource est une ressource mémoire. [0080] Une ressource transférée est une ressource acquise par une tâche utilisatrice et transférée par la tâche utilisatrice à une tâche destinataire, comme décrit plus en détail ci-après. [0081] Les requêtes à formuler par des tâches pour passer de l'un à l'autre de ces états sont également schématisées dans cette figure : requête d'acquisition, requête de transfert, requête de libération. [0082] Une ressource libre est acquise par une tâche suite à une requête d'acquisition. [0083] Une ressource transférée est acquise, suite à une requête d'acquisition, par la tâche destinataire du transfert. [0084] Une ressource acquise par une tâche utilisatrice Tj est libérée suite à une requête de 9 libération. [0085] Une ressource acquise est transférée par une tâche utilisatrice à une tâche des- tinataire, suite à une requête de transfert, par la tâche utilisatrice. [0086] La figure 4 est un ordinogramme des principales étapes d'un procédé de contrôle d'accès aux ressources partagées selon un mode réalisation de l'invention. [0087] Les étapes du procédé sont effectuées dans le noyau du système d'exploitation d'un dispositif électronique de calcul, en mode d'exécution privilégié. [0088] Le procédé comporte une première étape préalable 50 d'obtention et de mémorisation d'une structure de configuration 36 d'accès aux ressources matérielles partagées, appelée structure de configuration par la suite, ou de plusieurs telles structures en fonction de divers contextes applicatifs. [0089] Dans un mode de réalisation, la structure de configuration comporte une table indiquant les autorisations de transferts des ressources en fonction des tâches à exécuter, par exemple du type de la table 42 illustrée à la figure 2 et une table des droits d'accès aux ressources indiquant, pour chaque tâche de la pluralité de tâches logicielles, un mode d'accès autorisé pour chaque ressource matérielle, par exemple du type de la table 40 illustrée à la figure 2. [0090] Bien entendu, le format des données mémorisées dans la structure de configuration peut être différent, par exemple des pluralités de tables par ressources, des listes ou tout autre format approprié. [0091] Ensuite, dans une phase d'exécution 52, pour toute exécution d'une tâche Tj, lors d'une requête d'accès à une ressource partagée Ri (étape 54) le procédé de contrôle d'accès met en oeuvre une acquisition de la ressource Ri (étape 56) tel que décrit ci-dessous en référence à la figure 5. [0092] De même lors d'une requête de transfert d'une ressource partagée Ri (étape 58) le procédé de contrôle d'accès met en oeuvre un transfert de ressource Ri (étape 60), tel que décrit ci-dessous en référence à la figure 6. [0093] Enfin lors d'une requête de libération d'une ressource partagée Ri (étape 62) le procédé de contrôle d'accès met en oeuvre une libération de ressource Ri (étape 64), tel que décrit ci-dessous en référence à la figure 7. [0094] Les étapes d'acquisition 56, de transfert 60 et de libération 64 mettent en oeuvre la structure de configuration d'accès aux ressources matérielles partagées préalablement mémorisée à l'étape 50. [0095] Comme illustré à la figure 5, dans un mode de réalisation, suite à la requête d'accès à la ressource Ri, par exemple une ressource mémoire, par la tâche Tj, il est vérifié à l'étape 66 si la ressource Ri est libre. [0096] Si la ressource Ri est libre (réponse positive à l'étape 66), il est ensuite vérifié à l'étape 68, à l'aide de la structure de configuration d'accès aux ressources matérielles 10 partagées préalablement mémorisée, en particulier par accès à la table des droits d'accès, si la tâche Tj est autorisée à accéder à la ressource Ri. [0097] En cas d'absence d'autorisation, une alarme est générée à l'étape 70. L'alarme est par exemple destinée à un processus de vérification de la sécurité d'exécution des tâches logicielles, configure pour prendre des dispositions de blocage ou de passage en mode dégradé si nécessaire. [0098] En cas d'autorisation, l'étape 68 est suivie d'une étape 72 de vérification de mode d'accès autorisé décrite ci-dessous. [0099] Si la ressource Ri n'est pas libre (réponse négative à l'étape 66), l'étape 66 est suivie d'une étape de vérification de transfert 74 de la ressource Ri à la tâche Tj par la tâche utilisatrice Tc qui a acquis précédemment la ressource Ri, en d'autres termes si la tâche Tj a été désignée comme destinataire d'un transfert de la ressource Ri. Cette étape de vérification de transfert sera décrite en détail en référence à la figure 6 ci-après. [0100] En cas de vérification négative, c'est-à-dire dans le cas où le transfert de la ressource Ri à la tâche Tj n'est pas autorisé selon la structure de configuration d'accès, l'étape 74 est suivie de l'étape 54 préalable. [0101] En cas de vérification positive, l'étape 74 est suivie de l'étape 72 de vérification de l'autorisation d'accès en fonction du mode d'accès à la ressource Ri requis par la tâche Tj. Le mode d'accès est par exemple indiqué dans la requête d'accès. [0102] Lorsque la ressource Ri est une ressource mémoire, le mode d'accès est un accès en écriture ou en lecture ou en lecture et écriture. L'autorisation est vérifiée également dans la structure de configuration d'accès aux ressources matérielles partagées, en particulier dans la table des droits d'accès. [0103] En cas d'absence d'autorisation d'accès selon le mode d'accès demandé, l'étape 72 est suivie de l'étape 70 de levée d'alarme. [0104] En cas d'autorisation, l'étape 72 est suivie d'une étape 76 de modification de la configuration mémoire de la ressource Ri pour l'accès par la tâche Tj. [0105] Dans un mode de réalisation, la configuration MMU de la tâche courante Tj pour la zone mémoire relative à la ressource partagée est modifiée en ajoutant les droits d'accès tels que décrits dans la table des droits d'accès 40. [0106] La figure 6 illustre un mode de réalisation du transfert d'une ressource matérielle Ri d'une tâche utilisatrice Tj à une tache destinataire Tk. [0107] Lors d'une première étape 80 il est vérifié si la ressource Ri est effectivement acquise par la tâche utilisatrice Tj. [0108] Si tel est le cas, l'étape 80 de vérification est suivie d'une étape 82 de contrôle du droit de transfert de la ressource matérielle Ri de la tâche courante Tj vers la tâche destinataire Tk. L'étape 82 de contrôle met en oeuvre la structure de configuration d'accès aux ressources matérielles partagées préalablement mémorisée, et en particulier les in- 11 formations d'autorisations de transferts des ressources en fonction des tâches à exécuter. Par exemple, la table 42 illustrée à la figure 2 contient ces informations, et lors de l'étape 82, les informations sont vérifiées à partir de cette table. [0109] L'étape 82 est suivie d'une vérification d'autorisation de transfert 84. [0110] En cas d'absence d'autorisation de transfert, une étape de levée d'alarme 86, analogue à l'étape 70 préalablement décrite en référence à la figure 5. [0111] En cas d'autorisation, l'étape 84 est suivie d'une étape 88 de mémorisation du transfert à la tâche destinataire Tk, en association avec l'identifiant de la tâche destinataire. Enfin, une étape 90 de modification de la configuration mémoire de la tâche utilisatrice courante Tj est mise en oeuvre. Par exemple, dans un mode de réalisation détaillé, l'étape 90 comprend la modification de la configuration MMU de la tâche courante Tj pour la zone mémoire relative à la ressource partagée en supprimant tous les droits d'accès (lecture et écriture), puis la mémorisation d'un indicateur associé à la ressource Ri précisant son transfert en cours vers la tâche Tk. [0112] Le transfert sera complet, lorsque la tâche destinataire Tk fera une requête d'acquisition (étape 56 décrite ci-dessus en référence à la figure 4). Lorsque le procédé d'acquisition décrit dans un mode de réalisation en référence à la figure 5 est mis en oeuvre pour une tâche Tk destinataire d'un transfert, le contrôle de l'étape 74 est positif. [0113] La figure 7 illustre un mode de réalisation de la libération d'une ressource matérielle Ri suite à une requête de libération 62 par une tâche Tj. [0114] 11 est vérifié à l'étape 92 si la ressource partagée Ri est bien acquise par la tâche Tj. En cas de vérification négative, une étape de levée d'alarme 94, analogue à l'étape 70 préalablement décrite en référence à la figure 5, est mise en oeuvre. En variante, en cas de vérification négative, aucune action n'est effectuée. [0115] En cas de vérification positive à l'étape 92, l'étape 92 est suivie d'une étape 96 de modification de la configuration mémoire est mise en oeuvre. Dans un mode de réalisation détaillé, l'étape 96 comprend la modification de la configuration MMU de la tâche courante Tj pour la zone mémoire relative à la ressource partagée en supprimant tous les droits d'accès (lecture et écriture). 12