买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京航空航天大学;北京控制与电子技术研究所申请的专利适用于SysML、Simulink和AADL的分布式系统的模型验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114647401B 。

龙图腾网通过国家知识产权局官网在2025-11-07发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202011506571.4，技术领域涉及：G06F8/10；该发明授权适用于SysML、Simulink和AADL的分布式系统的模型验证方法是由吴际;张瑞祥;兰可欣;杨海燕;王宁设计研发完成，并于2020-12-18向国家知识产权局提交的专利申请。

本适用于SysML、Simulink和AADL的分布式系统的模型验证方法在说明书摘要公布了：本发明涉及一种适用于SysML、Simulink和AADL的分布式系统的模型验证方法，属于系统集成验证技术领域。该方法包括以下步骤：根据SysML、Simulink和AADL的模型描述文件分别提取模型元素集及相关属性信息，得到SysML、Simulink和AADL模型信息映射表；根据选择的验证规则从所述SysML、Simulink和AADL模型信息映射表获取所需要的模型元素及相关属性信息；根据所选择的验证规则对获取的所需要的模型元素及相关属性信息进行验证，若通过验证则不产生提示信息；否则提示不满足所选择的验证规则，并输出验证结果。本发明解决了目前无法验证设计集成阶段以及各子系统对应的需求模型和设计模型的一致性、实时性和安全性问题。

本发明授权适用于SysML、Simulink和AADL的分布式系统的模型验证方法在权利要求书中公布了：1.一种适用于SysML、Simulink和AADL的分布式系统的模型验证方法，其特征在于，包括以下步骤： 根据SysML、Simulink和AADL的模型描述文件分别提取模型元素集及相关属性信息，得到SysML、Simulink和AADL模型信息映射表； 根据选择的验证规则从所述SysML、Simulink和AADL模型信息映射表获取所需要的模型元素及相关属性信息； 根据所选择的验证规则对获取的所需要的模型元素及相关属性信息进行验证，若通过验证则不产生提示信息；否则提示不满足所选择的验证规则，并输出验证结果； 所述验证规则包括实时性规则，所述实时性规则包括系统开发阶段间模型和系统开发阶段内模型对组件的时间属性的验证，所述时间属性包括最坏执行时间、周期、截止时间； 所述实时性规则的验证具体包括： 在模型元素信息映射表中查找并遍历子系统设计阶段的组件和交互通道，遍历组件并查询是否为复合组件，若是则遍历组件的子组件列表查询是否为复合组件并遍历其子组件中所有无循环路径，计算路径的最坏执行时间之和返回最大的最坏执行时间，并比较复合组件的最坏执行时间和得到的子组件的最坏执行时间之和是否一致，输出复合组件和子组件的最坏执行时间一致性验证结果； 在模型元素信息映射表中查找并遍历子系统设计阶段的组件，查询组件的state列表是否为空，若不为空则遍历组件的state列表查询状态是否包含子状态并遍历其子状态中所有无循环路径，计算路径的最坏执行时间之和返回最大的最坏执行时间，比较子系统的最坏执行时间和得到的子组件的最坏执行时间之和是否一致，输出子系统和其状态的最坏执行时间一致性验证结果； 在模型元素信息映射表中查找并遍历系统架构设计阶段的组件，遍历交换接口并判断交换接口的方向属性是否为out，若是则遍历子组件中所有无循环路径，计算与该接口连接的路径的最坏执行时间之和返回最大的最坏执行时间之和，比较交换接口的周期和得到的子组件的最坏执行时间之和是否一致，输出接口的周期和与其关联的路径最坏执行时间的一致性验证结果； 在模型元素信息映射表中通过ID找到软件需求阶段和子系统设计阶段的组件以及子系统，判断软件需求阶段对应的子系统设计阶段模型是否包含多个组件，若是则计算出子系统设计阶段模型中组件的最坏执行时间，否则比较软件需求阶段的delay属性和子系统设计阶段的最坏执行时间是否一致，输出软件需求阶段的流延迟delay和对应的子系统设计阶段的最坏执行时间一致性验证结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京航空航天大学;北京控制与电子技术研究所，其通讯地址为：100191 北京市海淀区学院路37号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。