-
公开(公告)号：CN112463614B
公开(公告)日：2023-07-14
申请号：CN202011392719.6
申请日：2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
公开(公告)号：CN115421863A
公开(公告)日：2022-12-02
申请号：CN202211114547.5
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真，提供MIPS处理器嵌入式处理器软件的运行环境，为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
公开(公告)号：CN115421862A
公开(公告)日：2022-12-02
申请号：CN202211114546.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。
-
公开(公告)号：CN115421860A
公开(公告)日：2022-12-02
申请号：CN202211114538.6
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的SPARC处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对SPARCV7、SPARCV8两种指令集版本的处理器，解决SPARC处理器的虚拟化仿真问题。SPARCV7、V8两个版本指令集共计包含130条指令集，通过对130条指令集的仿真，提供SPARC处理器嵌入式处理器软件的运行环境，为SPARC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现SPARC指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真SPARC指令架构处理器。
-
公开(公告)号：CN113221318B
公开(公告)日：2022-09-30
申请号：CN202110338637.1
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于DDS的系统级仿真测试环境构建方法，其中，包括：构建指令集仿真模型，结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型；采用插件方式构建基于可配置通信协议的通信协议模拟器模型，根据测试需要选择功能组件；定义虚拟目标机和通信协议模拟器间的通信数据对象，根据DDS的数据规范进行封装，绑定数据写入者和数据读取者，进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖；基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
Patent Agency Ranking
公开(公告)号：CN113221318A
公开(公告)日：2021-08-06
申请号：CN202110338637.1
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于DDS的系统级仿真测试环境构建方法，其中，包括：构建指令集仿真模型，结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型；采用插件方式构建基于可配置通信协议的通信协议模拟器模型，根据测试需要选择功能组件；定义虚拟目标机和通信协议模拟器间的通信数据对象，根据DDS的数据规范进行封装，绑定数据写入者和数据读取者，进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖；基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
公开(公告)号：CN116662157B
公开(公告)日：2024-02-02
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN116126304B
公开(公告)日：2023-12-22
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：CN116150005B
公开(公告)日：2023-11-28
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。(56)对比文件美剧之神.JKind入门（一）简单介绍和使用.https://blog.csdn.net/M1170780140/article/details/129831841.2023,全文.
-
公开(公告)号：CN115421862B
公开(公告)日：2023-09-26
申请号：CN202211114546.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。
-
-
-
-
-
-
-
-
-
Search Results
49
records
(took 0.029 seconds)
