“金玉川”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果25个，建议您升级VIP下载更多相关专利

[发明专利]一种51单片机处理器指令集虚拟化仿真方法-CN202211114546.0有效
发明人：贾张涛;付修锋;勉斌;安恒;李雅斯;刘美佳;孔祥炳;金玉川;安顺 -专利权人：北京计算机技术及应用研究所
申请日： 2022-09-14 - 公布日： 2023-09-26 - 主分类号： G06F9/455 文献下载
摘要：本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。
一种 51 单片机处理器指令虚拟仿真方法

[发明专利]一种基于仿真平台的多层级、多模式软件故障注入方法-CN202310461957.5有效
发明人：孔祥炳;安顺;金玉川;张建伟;安恒;刘美佳;金政宇;张洪源;贾张涛;李雅斯 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-26 - 公布日： 2023-09-26 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法，属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果，仿真平台具有可控性强的特点，故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建，包括处理器、外设、总线等模型；其次，构建故障注入案例库，包括处理器平台级、接口设备级、通信协议级等层级，统一进行故障案例设计和管理；然后，配置故障注入参数，执行故障注入，包括基于时间、基于PC、基于地址等注入方式；最后，采集故障案例注入后的执行信息，生成代码覆盖率报告。本发明提高嵌入式软件测试充分性，保障软件质量和可靠性。
一种基于仿真平台多层模式软件故障注入方法

[发明专利]一种面向嵌入式软件的数字化DevOps平台设计方法-CN202310462913.4有效
发明人：孔祥炳;金政宇;张洪源;张本亭;安恒;冯大成;金玉川;安顺;刘美佳;贾张涛;李雅斯 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-26 - 公布日： 2023-09-26 - 主分类号： G06F8/10 文献下载
摘要：本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法，属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术，采用数字化仿真技术对嵌入式软件的硬件环境进行仿真，包括处理器、外设、总线等；其次，基于数字化仿真平台实现嵌入式软件开发和测试，包括代码迭代开发、单元测试、配置项测试、运行监测等；最后，构建嵌入式DevOps工作流，将数字化仿真环境作为基础设施集成到DevOps的工具链条中，实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率，保证了软件质量，降低了研制成本和周期。
一种面向嵌入式软件数字化 devops 平台设计方法

[发明专利]基于模型的可视化软件开发工具实现方法-CN202310084136.4有效
发明人：李浩宇;贾张涛;冯大成;张霄霄;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-01-16 - 公布日： 2023-09-26 - 主分类号： G06F8/33 文献下载
摘要：本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
基于模型可视化软件开发工具实现方法

[发明专利]一种基于数字化仿真环境的系统级测试验证方法-CN202310461935.9有效
发明人：孔祥炳;刘美佳;张建伟;安恒;冯大成;金玉川;金政宇;安顺;张洪源;贾张涛 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-26 - 公布日： 2023-09-26 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于数字化仿真环境的系统级测试验证方法，属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟，实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖，可在实验室环境中开展有效的系统级测试验证，从而降低了测试成本并提高了测试的充分性。
一种基于数字化仿真环境系统测试验证方法

[发明专利]基于扩展Lustre语言的模型度量方法-CN202310185399.4有效
发明人：张霄霄;冯大成;贾张涛;李浩宇;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-02-21 - 公布日： 2023-09-26 - 主分类号： G06F8/30 文献下载
摘要：本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
基于扩展 lustre 语言模型度量方法

[发明专利]一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法-CN202310461827.1在审
发明人：孔祥炳;张洪源;金政宇;安恒;冯大成;安顺;刘美佳;金玉川;李雅斯;贾张涛 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-26 - 公布日： 2023-08-29 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
一种针对 tms320 c28x 指令模拟器虚拟调试系统设计方法

[发明专利]一种容器化仿真平台快速部署方法-CN202310461867.6在审
发明人：安顺;孔祥炳;冯大成;安恒;张本亭;金玉川;金政宇;张洪源;李雅斯;贾张涛 -专利权人：北京计算机技术及应用研究所
申请日： 2023-04-26 - 公布日： 2023-07-18 - 主分类号： G06F8/60 文献下载
摘要：本发明涉及一种容器化仿真平台快速部署方法，属于容器化仿真平台设计领域。本发明采用命令行模式，基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等，构建DSP仿真环境容器；其次，将容器层保存成镜像文件，创建DSP仿真环境镜像包，构建完整的运行环境镜像；再次，基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包，建立运行环境与执行命令的调用关系；然后，将DSP仿真平台镜像包推送到远程云镜像仓库中，方便镜像管理与使用；最后，从远程镜像仓库中拉取仿真平台镜像，进行仿真平台部署运行，实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
一种容器仿真平台快速部署方法

[发明专利]一种基于硬件板卡接入的软件虚拟化测试环境构建方法-CN202011392719.6有效
发明人：安恒;张慧颖;孔祥炳;司倩然;贾张涛;金玉川;李雅斯 -专利权人：北京计算机技术及应用研究所;中国人民解放军63921部队
申请日： 2020-12-01 - 公布日： 2023-07-14 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
一种基于硬件板卡接入软件虚拟测试环境构建方法

[发明专利]基于扩展Lustre语言的模型形式化验证方法-CN202310066963.0在审
发明人：张霄霄;冯大成;贾张涛;李浩宇;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-01-16 - 公布日： 2023-05-23 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
基于扩展 lustre 语言模型形式化验证方法

[发明专利]基于XML的扩展Lustre代码生成方法-CN202310142370.8在审
发明人：李浩宇;贾张涛;冯大成;张霄霄;张建伟;王磊;陶金龙;安恒;李雅斯;王云则;庞皓明;金玉川;孔祥炳;邵飒 -专利权人：北京计算机技术及应用研究所
申请日： 2023-02-21 - 公布日： 2023-05-16 - 主分类号： G06F8/30 文献下载
摘要：本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
基于 xml 扩展 lustre 代码生成方法

[发明专利]一种DSP C2812处理器指令集虚拟化仿真方法-CN202211114551.1有效
发明人：付修锋;贾张涛;邵飒;安恒;张建伟;孔祥炳;金玉川;李雅斯;安顺;刘美佳 -专利权人：北京计算机技术及应用研究所
申请日： 2022-09-14 - 公布日： 2023-04-28 - 主分类号： G06F9/455 文献下载
摘要：本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本本发明通过对123条指令集的仿真，提供DSP C2812嵌入式处理器软件的运行环境，为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现DSP C2812处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C2812处理器。
一种 dsp c2812 处理器指令虚拟仿真方法

[发明专利]一种DSP C6713处理器指令集虚拟化仿真方法-CN202211114627.0有效
发明人：贾张涛;付修锋;邵飒;安恒;张建伟;孔祥炳;金玉川;李雅斯;安顺;刘美佳 -专利权人：北京计算机技术及应用研究所
申请日： 2022-09-14 - 公布日： 2023-04-28 - 主分类号： G06F9/455 文献下载
摘要：本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。
一种 dsp c6713 处理器指令虚拟仿真方法

[发明专利]一种二进制应用程序安全加固方法和系统-CN202310056974.0在审
发明人：张记强;金玉川;张广申;蒋萧猛;王辉 -专利权人：北京计算机技术及应用研究所
申请日： 2023-01-16 - 公布日： 2023-04-11 - 主分类号： G06F21/57 文献下载
摘要：本发明涉及一种二进制应用程序安全加固方法和系统，属于程序加固技术领域。本发明将二进制应用程序作为一个整体，通过对其压缩与加密等处理进行多态加固，并将解压与解密等处理流程的多态转换程序放入新的二进制应用程序中，在用户执行二进制应用程序时，本系统自动对加固后的二进制应用程序进行解压与解密处理，将用户的二进制应用程序从加固后二进制应用程序中恢复出来。本发明安全加固后二进制应用程序体积可控，不会影响程序的执行效率；未添加花指令，与处理器架构无关；可为每个应用程序单独设计密码，提高程序安全性。
一种二进制应用程序安全加固方法系统

[发明专利]一种基于DDS的系统级仿真测试环境构建方法-CN202110338637.1有效
发明人：孔祥炳;付修峰;安恒;金玉川;贾张涛;李雅斯;柴宇航 -专利权人：北京计算机技术及应用研究所
申请日： 2021-03-30 - 公布日： 2022-09-30 - 主分类号： G06F30/20 文献下载
摘要：本发明涉及一种基于DDS的系统级仿真测试环境构建方法，其中，包括：构建指令集仿真模型，结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型；采用插件方式构建基于可配置通信协议的通信协议模拟器模型，根据测试需要选择功能组件；定义虚拟目标机和通信协议模拟器间的通信数据对象，根据DDS的数据规范进行封装，绑定数据写入者和数据读取者，进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖；基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
一种基于 dds 系统仿真测试环境构建方法

1
2
下一页»
尾页
共 25 条