[发明专利]一种综合模块化航电系统的模型规则校验方法

说明书

本发明公开了一种综合模块化航电系统的模型规则校验方法，利用通用属性校验规则、硬件架构校验规则、软件架构校验规则和消息架构校验规则对综合模块化航电系统进行校验。所述模型通用属性校验用于综合模块化航电系统模型的基本属性校验；所述硬件架构校验用于硬件属性和硬件元素关系校验；所述软件架构校验用于软件属性完整性、模型绑定、逻辑端口映射等规则校验；所述消息架构校验用于ARINC664、ARINC429和ARINC825消息格式、约束条件以及包含关系校验。本发明逻辑清晰、可配置，具有较强实用价值。

技术领域

本发明属于综合航空电子技术领域，具体涉及一种综合模块化航电系统的模型规则校验方法。

背景技术

采用基于模型的系统工程方法研制综合模块化航电系统是当前主流方法。由于综合模块化航电系统的研制过程涉及多个利益攸关方以及需要大量的递归迭代，如何保证综合模块化航电系统模型完整性和正确性是当前技术难点，因此需要一种综合模块化航电系统的模型校验方法来指导来提高工作效率。

发明内容

为了保证综合模块化航电系统模型完整性和正确性，减少综合模块化航电系统模型开发迭代次数，本发明的发明目的在于提供一种综合模块化航电系统的模型规则校验方法，从模型通用规则、硬件模型规则、软件模型规则和消息模型规则对综合模块化航电系统进行验证。

本发明的发明目的通过以下技术方案实现：

步骤一：基于综合模块化航电系统模型Schema，根据项目约束定义模型规则库；其中模型规则库包含通用属性校验规则、硬件架构校验规则、软件架构校验规则和消息架构校验规则；

模型通用校验规则用于校验模型语言的通用规则，确保元素全名不重复、元素ID全局唯一、属性取值范围不越界、类与实例保持一致；

硬件模型校验规则用于校验综合模块化航电系统硬件架构模型之间的关系，确保LRU与总线接口连接一致、LRU与LRM包含关系一致；

软件模型校验规则用于校验综合模块化航电系统软件架构模型之间的关系，确保驻留应用与硬件绑定关系一致、驻留功能与硬件绑定关系一致、驻留应用与逻辑端口映射一致；

所述消息模型校验规则用于校验综合模块化航电系统消息架构模型之间的关系，确保消息与虚链路映射满足限制条件、消息与逻辑端口映射满足限制条件、消息大小与布局满足总线协议和项目约束、消息发送与接收保持一致；

步骤二：根据项目需求开发综合模块化航电系统模型实例；

步骤三：根据综合模块化航电系统模型实例从模型规则库中选择对应的校验规则按照通用属性、硬件架构、软件架构和消息架构的次序进行检验。

附图说明

图1为模型规则校验方法流程示意图。

图2为硬件架构模型规则示意图

图3为软件架构模型规则示意图

图4为软件架构模型规则示意图

图5为模型规则校验方法步骤示意图。

具体实施方式

下面结合附图和实施例对本发明作进一步的详细说明。

综合模块化航电系统模型中的一般包含硬件架构模型、软件架构模型和消息架构模型。

如图2所示的硬件架构模型的示意图，硬件元素之间有严格的包含关系。机柜应包含计算组件、交换组件和电源组件；应用软件绑定到计算组件；交换软件绑定到交换组件；接口软件绑定到接口组件；电源软件绑定电源组件；驻留功能绑定到现场可替换单元；物理端口连接总线元素；连接元素的属性应保持一致。包括关系存在数量限制。