[发明专利]分区配置的检验方法和电子装置，相关计算机程序在审
| 申请号： | 201810342431.4 | 申请日： | 2018-04-17 |
| 公开（公告）号： | CN108733485A | 公开（公告）日： | 2018-11-02 |
| 发明（设计）人： | 马克·弗梅;迈克尔·坦帕里尔;克里斯多夫·曼吉昂 | 申请（专利权）人： | 泰雷兹公司 |
| 主分类号： | G06F9/50 | 分类号： | G06F9/50 |
| 代理公司： | 北京派特恩知识产权代理有限公司 11270 | 代理人： | 王美石;姚开丽 |
| 地址： | 法国*** | 国省代码： | 法国;FR |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种分区配置的检验方法，所述方法对电子模块(12)的资源(14)在多个消耗单元(13)之间的分区配置进行检验。每个资源(14)具有容量并且可分解为多个块。该方法包括：对分区规则集合进行检验，采用所述分区配置来使用所述电子模块(12)。所述分区规则集合包括至少以下规则：为每个资源(14)分配的资源块的单位容量的总和小于或等于所述资源(14)的容量；仅预先定义的资源块可以被分配给不同的消耗单元(13)；消耗单元(13)所使用的资源块仅限于分配给该消耗单元(13)的资源块，当所述分区规则集合得到满足时，所述分区配置是有效的。 | ||
| 搜索关键词： | 分区配置 资源块 分区规则 消耗 集合 电子模块 检验 分配 计算机程序 单位容量 电子装置 预先定义 可分解 | ||
【主权项】：
1.一种分区配置的检验方法，所述方法对航空电子系统(10)的电子模块(12)的至少一个资源(14)在多个消耗单元(13)之间的分区配置进行检验，每个资源(14)具有容量并且可以分解为多个资源块，针对每个资源(14)的分区配置对应于：·将所述资源(14)分解为一个或多个资源块，每个资源块具有单位容量；·将至少一个资源块分配给一个或多个消耗单元(13)；·每个消耗单元(13)使用所分配的至少一个资源块，所述航空电子系统(10)包括检验电子装置(16)，所述方法由所述检验电子装置(16)实现并且包括：‑对分区规则集合进行检验，所述分区规则集合包括至少以下规则：·第一规则：为每个资源(14)分配的资源块的单位容量的总和小于或等于所述资源(14)的容量；·第二规则：仅预先定义的资源块可以被分配给不同的消耗单元(13)；·第三规则：消耗单元(13)所使用的资源块仅限于分配给该消耗单元(13)的资源块，当所述分区规则集合得到满足时，所述分区配置是有效的，‑采用所述分区配置来使用所述电子模块(12)。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于泰雷兹公司，未经泰雷兹公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810342431.4/，转载请声明来源钻瓜专利网。
- 上一篇：管理应用程序的方法与装置
- 下一篇：每工作负荷的自适应计算大小
