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

说明书

本发明涉及一种分区配置的检验方法，所述方法对电子模块(12)的资源(14)在多个消耗单元(13)之间的分区配置进行检验。每个资源(14)具有容量并且可分解为多个块。该方法包括：对分区规则集合进行检验，采用所述分区配置来使用所述电子模块(12)。所述分区规则集合包括至少以下规则：为每个资源(14)分配的资源块的单位容量的总和小于或等于所述资源(14)的容量；仅预先定义的资源块可以被分配给不同的消耗单元(13)；消耗单元(13)所使用的资源块仅限于分配给该消耗单元(13)的资源块，当所述分区规则集合得到满足时，所述分区配置是有效的。

技术领域

本发明涉及一种分区配置的检验方法。该方法对航空电子系统的电子模块的至少一个资源在多个消耗单元之间的分区配置进行检验。本发明还涉及一种相关的计算机程序。本发明仍涉及一种相关的检验电子装置。

背景技术

实现飞行的不同功能的航空电子功能通常安装在不同的平台上并且使用这些平台的资源。对于诸如制动系统或飞行管理系统之类的关键功能，平台配置以及平台上功能的集成过程受到严格限制。

为此，开发了集成有分区技术的IMA(Integrated Modular Avionics，综合模块化航空电子)架构。这样的架构旨在在一个或多个模块集成不同的航空电子功能，同时确保每个航空电子功能之间不会以不受控的方式相互影响。

分区(partitionnement)是一种隔离(或分离)技术，该技术旨在利用由彼此独立的不同应用使用的组件以减小这些应用之间的干扰并控制应用之间的交互。IMA架构中的分区使得独立的应用能够共享相同的组件或资源，并且这些应用之间不存在不受控的交互。

一些IMA方式遵循累计认证方法，以便于集成活动并且允许不同的应用之间存在工业独立性。

然而，这样的累计认证过程的实现显得相对繁重。

分区设计、与分区相关联的资源预算、模块配置的定义文件中每个分区的元素的分离的引入使得能够简化分区的证明，但是为了集成不同的应用，分区的保障无论如何都要建立在所要遵循和检验的大量规则的基础上。

此外，为了对分区进行证明，这样的方法规定证实分区规则的完整性。再者，为了使分区得到有效的保障，应当使用定性工具对整个分区规则进行检验，以使得全部规则都起作用，这增加了该过程的复杂度。

因此，需要一种更易于实现的分区配置的检验方法，从而对电子系统在该系统的资源消耗单元之间的资源分区配置进行检验。

发明内容

为此，本发明旨在提供一种分区配置的检验方法，所述方法对航空电子系统的电子模块的至少一个资源在多个消耗单元之间的分区配置进行检验，每个资源具有容量并且可以分解为多个资源块，针对每个资源的分区配置对应于：

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

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

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

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

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

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

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

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

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

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