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

龙图腾网获悉北京轩宇空间科技有限公司申请的专利基于中断驱动模型的嵌入式软件控制行为验证平台及方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114519068B 。

龙图腾网通过国家知识产权局官网在2025-07-04发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210131391.5，技术领域涉及：G06F16/2455；该发明授权基于中断驱动模型的嵌入式软件控制行为验证平台及方法是由王红霞;刘鸿瑾;王宏;张绍林;李宾;王小波;于薇薇;付宝玲;唐永学;马远航;牟宁设计研发完成，并于2022-02-14向国家知识产权局提交的专利申请。

本基于中断驱动模型的嵌入式软件控制行为验证平台及方法在说明书摘要公布了：本发明提供了一种基于中断驱动模型的嵌入式软件控制行为验证平台，包括依次连接有：寄存器模拟模块、查询表模拟模块、数据缓存区管理模块及虚拟接口模块，以及依据上述验证平台而产生的验证方法，通过建立软件运行的特定物理平台（SoC2008）及外部连续变化的物理环境（基于1553B总线的JKR65170RT模式下）的C模型，可将开发人员编写的嵌入式软件在本仿真运行环境中得到与真实硬件环境一样的执行，能够完整描述该系统平台运行时与外部大量数据交互时产生的多任务并发、多重中断嵌套的行为，改进了单一通过软件程序输入测试激励的方法，极大提高了软件的可信性，普遍适用于实际的航天嵌入式复杂软件。

本发明授权基于中断驱动模型的嵌入式软件控制行为验证平台及方法在权利要求书中公布了：1.一种基于中断驱动模型的嵌入式软件控制行为验证方法，其特征在于，采用基于中断驱动模型的嵌入式软件控制行为验证平台； 基于中断驱动模型的嵌入式软件控制行为验证平台，包括依次连接有： 寄存器模拟模块：通过函数调用进行访问，用于模拟堆栈指针变化及更新描述符； 查询表模拟模块：通过建立子地址控制字及数据块指针的RAM空间，并确定子地址查询表； 数据缓存区管理模块：建立接收数据缓存区、发送数据缓存区和广播数据缓存区、子地址控制字缓存区四部分组成数据接收发送的缓存空间，用于回写数据块指针、循环缓存器管理及读取数据块； 虚拟接口模块：通过函数调用进行访问，并提供用户接口函数； 寄存器模拟模块、查询表模拟模块、数据缓存区管理模块及虚拟接口模块在运行SoC2008处理器对应的存储器空间中运行，以及通过软件方式能够完整描述与SoC2008处理器进行通讯的1553B控制器； 其中，运行RT模式C模型的步骤为： 步骤（2.1）选择查询表模拟模块活动中的RAM区域； 步骤（2.2）通过寄存器模拟模块模拟用户读取步骤（2.1）RAM区域中数据的大小，并以此修改堆栈指针，按照协议规定将命令字写入描述符的命令字储存单元中； 步骤（2.3）通过寄存器模拟模块解析命令字储存单元中的命令字，并以此更新描述符； 步骤（2.4）通过查询表模拟模块，并根据步骤（2.2）中的堆栈指针及步骤（2.3）中解析出的命令字确定子地址接收查询表，并获取各数据块地址； 步骤（2.5）查询表模拟模块读取子地址接收查询表，对命令字进行忙位过滤或者非法命令过滤，判断子地址接收查询表中的对应地址内容地址是否允许可以访问，当子地址接收查询表中命令字为忙位状态或者非法命令时，则不允许访问子地址接收查询表中对应的子地址内容，此时数据块首地址将直接传递至虚拟接口模块中，否则，允许访问，并进行步骤（2.6）； 步骤（2.6）通过数据缓存区管理模块将数据块首地址回写至寄存器模拟模块中描述符的数据块指针中； 步骤（2.7）通过数据缓存区管理模块并依据接收数据缓存区、发送数据缓存区和广播数据缓存区、子地址控制字缓存区的大小及子地址接收查询表的入口地址，进行循环缓存区数据管理； 步骤（2.8）通过数据缓存区管理模块并根据数据块指针找到循环缓存区数据块，并读取数据块，通过虚拟接口模块供用户程序调用。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京轩宇空间科技有限公司，其通讯地址为：101318 北京市顺义区高丽营镇文化营村北(临空二路1号)；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。