A method for verifying a partitioning configuration, between a plurality of consuming elements, of at least one resource of an electronic module of an avionics system, each resource having a capacity and being divisible into segments, the partitioning configuration corresponding, for each resource, to: • a division of the resource into one or several resource segments, each segment having a unitary capacity, • an allocation of at least one resource segment to one or several consuming elements, and • a use, by each consuming element, of at least one allocated resource segment, the avionics system comprising electronic verification device, the method being implemented by the electronic verification device and comprising: - verifying the compliance with a set of partitioning rules, the set of partitioning rules including at least the following rules: • a first rule according to which the sum of the unitary capacities of the resource segments allocated for each resource is less than or equal to the capacity of said resource, • a second rule according to which only the resource segments previously defined can be allocated to distinct consuming elements, • a third rule according to which the use of resource segments by a consuming element is limited to the resource segments allocated to said consuming element, the partitioning configuration being considered valid when the set of partitioning rules is respected, the verification comprises launching the module with the partitioning configuration, the partitioning configuration being considered valid when the module starts up with the partitioning configuration, and the partitioning configuration being considered invalid when the module does not start up with the partitioning configuration, - when the partitioning configuration is considered valid after the verification, exploiting the module with the partitioning configuration. • a division of the resource into one or several resource segments, each segment having a unitary capacity, • an allocation of at least one resource segment to one or several consuming elements, and • a use, by each consuming element, of at least one allocated resource segment, the avionics system comprising electronic verification device, the method being implemented by the electronic verification device and comprising: - verifying the compliance with a set of partitioning rules, the set of partitioning rules including at least the following rules: • a first rule according to which the sum of the unitary capacities of the resource segments allocated for each resource is less than or equal to the capacity of said resource, • a second rule according to which only the resource segments previously defined can be allocated to distinct consuming elements, • a third rule according to which the use of resource segments by a consuming element is limited to the resource segments allocated to said consuming element, the partitioning configuration being considered valid when the set of partitioning rules is respected, - verifying the compliance with a set of partitioning rules, the set of partitioning rules including at least the following rules: • a first rule according to which the sum of the unitary capacities of the resource segments allocated for each resource is less than or equal to the capacity of said resource, • a second rule according to which only the resource segments previously defined can be allocated to distinct consuming elements, • a third rule according to which the use of resource segments by a consuming element is limited to the resource segments allocated to said consuming element, the partitioning configuration being considered valid when the set of partitioning rules is respected, • a first rule according to which the sum of the unitary capacities of the resource segments allocated for each resource is less than or equal to the capacity of said resource, • a second rule according to which only the resource segments previously defined can be allocated to distinct consuming elements, • a third rule according to which the use of resource segments by a consuming element is limited to the resource segments allocated to said consuming element, the verification comprises launching the module with the partitioning configuration, the partitioning configuration being considered valid when the module starts up with the partitioning configuration, and the partitioning configuration being considered invalid when the module does not start up with the partitioning configuration, - when the partitioning configuration is considered valid after the verification, exploiting the module with the partitioning configuration. - when the partitioning configuration is considered valid after the verification, exploiting the module with the partitioning configuration.