[发明专利]分区配置的检验方法和电子装置，相关计算机程序

权利要求书

1.一种分区配置的检验方法，所述方法对航空电子系统(10)的电子模块(12)的至少一个资源(14)在多个消耗单元(13)之间的分区配置进行检验，每个资源(14)具有容量并且可以分解为多个资源块，针对每个资源(14)的分区配置对应于：

·将所述资源(14)分解为一个或多个资源块，每个资源块具有单位容量；

·将至少一个资源块分配给一个或多个消耗单元(13)；

·每个消耗单元(13)使用所分配的至少一个资源块，

所述航空电子系统(10)包括检验电子装置(16)，所述方法由所述检验电子装置(16)实现并且包括：

-对分区规则集合进行检验，所述分区规则集合包括至少以下规则：

·第一规则：为每个资源(14)分配的资源块的单位容量的总和小于或等于所述资源(14)的容量；

·第二规则：仅预先定义的资源块可以被分配给不同的消耗单元(13)；

·第三规则：消耗单元(13)所使用的资源块仅限于分配给该消耗单元(13)的资源块，

当所述分区规则集合得到满足时，所述分区配置是有效的，

-采用所述分区配置来使用所述电子模块(12)。

2.根据权利要求1所述的方法，其中，在采用所述分区配置来使用所述电子模块之前，对所述分区规则集合中的至少一个规则进行检验，

优选地，所述规则是所述第一规则和/或所述第二规则。

3.根据权利要求1所述的方法，其中，在采用所述分区配置来使用所述电子模块之前，对所述分区规则集合中的全部规则进行检验。

4.根据权利要求1至3中任一项所述的方法，其中，所述检验包括采用所述分区配置启动所述电子模块(12)，

当所述电子模块(12)采用所述分区配置启动时，所述分区配置是有效的；以及

当所述电子模块(12)采用所述分区配置并未启动时，所述分区配置是无效的。

5.根据权利要求4所述的方法，其中，当所述分区配置是无效的时，所述方法包括重复针对所述分区配置的多个独立部分的检验，

当所述电子模块(12)采用所述分区配置的一部分启动时，所述分区配置的该部分是有效的；以及

当所述电子模块(12)采用所述分区配置的一部分未启动时，所述分区配置的该部分是无效的。

6.根据权利要求1至3中任一项所述的方法，其中，所述电子模块(12)包括所述检验电子装置(16)。

7.根据权利要求1至3中任一项所述的方法，其中，每个连续的资源(14)的容量被表示为所分配的空间，所述空间由起始指示符和结束指示符限定，资源块的分配表示为所分配的子空间，每个所述子空间由起始指示符和结束指示符限定，所分配的子空间在配置表中按照所分配的子空间的起始指示符的交错顺序进行排布，当以下条件中的至少一个满足时所述分区配置是无效的：

-在所述配置表中，所分配的子空间的起始指示符或结束指示符介于另一所分配的子空间的起始指示符和结束指示符之间；以及

-所述配置表中的所分配的子空间的起始指示符或结束指示符整体上不在所分配的空间的起始指示符和结束指示符之间。

8.根据权利要求1至3中任一项所述的方法，其中，离散的所述资源(14)的所述资源块在配置表中列出，与所列出的资源块关联的资源块被分配给消耗单元(13)，当以下条件中的至少一个满足时所述分区配置是无效的：

-当所列出的资源块并不属于可以分配给不同的消耗单元(13)的资源块时，所列出的资源块与一个以上的消耗单元(13)关联；以及

-消耗单元(13)与所述配置表中未列出的资源块关联。

9.一种计算机程序，包括软件指令，所述软件指令在被计算机执行时实现根据权利要求1至3中任一项所述的方法。

10.一种分区配置的检验电子装置(16)，所述电子装置对航空电子系统(10)的电子模块(12)的至少一个资源(14)在多个消耗单元(13)之间的分区配置进行检验，每个资源(14)具有容量并且可以分解为多个资源块，针对每个资源(14)的分区配置对应于：

·将所述资源(14)分解为一个或多个资源块，每个资源块具有单位容量；

·将至少一个资源块分配给一个或多个消耗单元(13)；

·每个消耗单元(13)使用所分配的至少一个资源块，

所述检验电子装置(16)包括：

-检验模块，其对分区规则集合进行检验，所述分区规则集合包括至少以下规则：

·第一规则：为每个资源(14)分配的资源块的单位容量的总和小于或等于所述资源(14)的容量；

·第二规则：仅预先定义的资源块可以被分配给不同的消耗单元(13)；

·第三规则：消耗单元(13)所使用的资源块仅限于分配给该消耗单元(13)的资源块，

当所述分区规则集合得到满足时，所述分区配置是有效的，

-使用模块，其采用所述分区配置来使用所述电子模块(12)。