公开(公告)号：US10860379B2

公开(公告)日：2020-12-08

申请号：US15955309

申请日：2018-04-17

Applicant: THALES

Inventor： Marc Fumey ,  Michael Templier ,  Christophe Mangion

IPC: G06F9/46 ,  G06F9/50 ,  G06F9/54 ,  G06F3/06

Abstract: The present invention relates to a method for verifying a partitioning configuration, between consuming elements (13), of resources (14) of an electronic module (12), each resource (14) having a capacity and being divisible into segments, the method comprising: verifying the compliance with a set of partitioning rules, according to which: the sum of the unitary capacities of the resource segments allocated for each resource (14) is less than the capacity of said resource (14), only the resource segments previously defined can be allocated to distinct consuming elements (13), the use of resource segments by a consuming element (13) is limited to the resource segments allocated to said consuming element (13), the partitioning configuration being considered valid when the set of partitioning rules is respected, exploiting the module (12) with the partitioning configuration.