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

龙图腾网获悉中国航空综合技术研究所申请的专利航空控制系统SysML状态图模型验证方法及其验证系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116305517B 。

龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211667583.4，技术领域涉及：G06F30/15；该发明授权航空控制系统SysML状态图模型验证方法及其验证系统是由吕海熊;唐洋;周汉清;苏航;丁新;孙菥瑶设计研发完成，并于2022-12-23向国家知识产权局提交的专利申请。

本航空控制系统SysML状态图模型验证方法及其验证系统在说明书摘要公布了：本发明提供了一种航空控制系统SysML状态图模型验证方法，其包括：确定航空控制系统运行的上下文环境，识别航空控制系统在上下文环境中存在的状态集，构建航空控制系统状态图，构建序列状态内部行为模型，构建序列状态间的转换关系模型，构建航空控制系统行为模型，导出xml语言描述的状态机文件，导入CSharp语言试验的计算机程序中，进行状态机的校验。本发明基于SCXML标准设计的状态机模型验证方法，避免了UML状态机到复杂中间语言的转换，降低了模型校验实现难度，提升了模型验证效率，可避免对模型反复修改，降低测试周期，保证SysML状态图符合相关标准。

本发明授权航空控制系统SysML状态图模型验证方法及其验证系统在权利要求书中公布了：1.一种航空控制系统SysML状态图模型验证方法，其特征在于，其包括以下步骤： S1、确定航空控制系统运行的上下文环境：确定航空控制系统上游的第一环境及航空控制系统下游的第二环境； S2、识别航空控制系统在上下文环境中存在的状态集：识别航空控制系统在所述第一环境中所有序列状态在内的状态列表并标注对应的初始状态和结束状态，识别航空控制系统在所述第二环境中所有序列状态在内的状态列表并标注对应的初始状态和结束状态； S3、构建航空控制系统状态图：根据控制系统行为，建立状态集内各状态间所有预设的转换，构建航空控制系统状态图，所述航空控制系统状态图中各状态间的转换通过带有箭头的折线段连接，所述折线段表示状态集内各状态间的转换关系； S4、构建序列状态内部行为模型：针对航空控制系统状态图，对所有所述序列状态的内部行为构建内部行为模型，所述内部行为模型描述所述序列状态所代表状态的内部属性； S5、构建序列状态间的转换关系模型：针对所有序列状态间所有转换关系，即所述折线段，构建转换关系模型，所述转换关系模型描述不同序列状态间转换的触发器、门卫及交叉； S6、构建航空控制系统行为模型：基于航空控制系统状态图、序列状态内部行为模型和序列状态间的转换关系模型，采用SysML状态图建模工具，构建航空控制系统行为模型； S7、导出xml语言描述的状态机文件：采用SysML状态图建模工具，将所述航空控制系统行为模型导出成xml语言描述的状态机文件； S8、进行状态机的校验：将步骤S7导出的所述状态机文件导入CSharp语言试验的计算机程序中，进行所述状态机的校验； S81、创建模型校验器并进行初始化； S82、创建临时变量并赋值； S83、根据SCXML标准，创建元素属性映射字典、元素子节点映射字典和元素父节点映射字典，分别进行状态机元素的属性、子节点和父节点合法性校验； S84、根据SCXML标准，分别对状态机中状态类型的节点、state节点的迁移节点和history伪状态进行校验； S85、根据SCXML标准，分别对状态机中的initial节点属性、节点的target属性值、initial节点的迁移属性值、invoke节点值、send元素的type属性值和自定义可执行的内容进行校验； S86、根据SCXML标准，对状态机中的元素属性、父节点有效性、约束有效性进行校验； S87、根据S81步骤初始化属性，对状态机中的script内容语法、元素表达式语法进行校验； S88、返回错误列表作为状态机校验结果并输出。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空综合技术研究所，其通讯地址为：100028 北京市朝阳区东直门外京顺路7号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。