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

权利要求书

1.一种综合模块化航电系统的模型规则校验方法，其特征在于包含以下步骤：

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

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

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

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

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

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

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

2.根据权利要求1所述的一种综合模块化航电系统的模型规则校验方法，其特征在于模型规则的构建过程如下：

步骤1-1：识别出综合模块化航电系统模型中的硬件架构模型、软件架构模型和消息架构模型；

步骤1-2：识别硬件架构模型、软件架构模型和消息架构模型之间的关系，根据项目约束构建模型规则库。

3.根据权利要求1所述的一种综合模块化航电系统的模型规则校验方法，其特征在于所述步骤三具体包含以下步骤：

步骤3-1：逐条调用通用属性校验规则对硬件架构模型、软件架构模型和消息架构模型的通用属性进行校验，通过进入步骤3-2，不通过进入步骤3-3；

步骤3-2：判断是否所有的硬件架构模型、软件架构模型和消息架构模型的通用属性都被校验，如果是，进入步骤3-6，如果否，进入步骤3-1；

步骤3-3：判断该通用属性校验规则是否修订，如果是，进入步骤3-5，如果否，进入步骤3-4；

步骤3-4：更新该通用属性校验规则，返回步骤3-1执行下一条通用属性校验规则的校验；

步骤3-5；记录该通用属性校验规则的校验结果，返回步骤3-1执行下一条通用属性校验规则的校验；

步骤3-6：逐条调用硬件架构校验规则对硬件架构模型进行校验，如果通过，进入步骤3-7，如果不通过，进入步骤3-5；

步骤3-7：判断是否所有的硬件架构校验规则都通过，如果是，进入步骤3-11，如果否，进入步骤3-6；

步骤3-8：判断该硬件架构校验规则是否修订，如果是，进入步骤3-9，如果否，进入步骤3-10；

步骤3-9：更新该硬件架构校验规则，返回步骤3-6执行下一条硬件架构校验规则的校验；

步骤3-10；记录该硬件架构校验规则的校验结果，返回步骤3-6执行下一条硬件架构校验规则的校验；

步骤3-11步骤十一：逐条调用软件架构校验规则对软件架构模型进行校验，如果通过，进入步骤3-12，如果不通过，进入步骤3-13；

步骤3-12：判断是否所有的软件架构校验规则都通过，如果是，进入步骤3-16，如果否，进入3-11；

步骤3-13：判断该软件架构校验规则是否修订，如果是，进入步骤3-14，如果否，进入步骤3-15；

步骤3-14：更新该软件架构校验规则，返回步骤3-11执行下一条软件架构校验规则的校验；

步骤3-15：记录该软件架构校验规则的校验结果，返入步骤3-11执行下一条软件架构校验规则的校验；

步骤3-16：逐条调用消息架构校验规则对消息架构模型进行校验，如果通过，进入步骤3-17，如果不通过，进入步骤3-18；

步骤3-17：判断是否所有的消息架构校验规则都通过，如果否，进入步骤3-16，如果是，则结束；

步骤3-18：判断该消息架构校验规则是否修订，如果是，进入步骤3-19，如果否，进入步骤3-20；

步骤3-19：更新该消息架构校验规则，返回步骤3-16执行下一条消息架构校验规则的校验；

步骤3-20；记录该消息架构校验规则的校验结果，返入步骤3-16执行下一条消息架构校验规则的校验。