-
公开(公告)号:CN112463614B
公开(公告)日:2023-07-14
申请号:CN202011392719.6
申请日:2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法,其中,包括:搭建嵌入式目标处理器指令集虚拟仿真环境;搭建嵌入式系统片上设备虚拟仿真环境;完成硬件板卡在宿主机上的适配安装,实现宿主机虚拟环境下对板卡的操作与控制;建立外部设备模拟环境与宿主机硬件板卡的物理连接,建立外部设备模拟环境与硬件板卡的通信链路;获取虚拟环境下对外部设备模拟环境消息,建立虚拟环境下的消息处理响应机制,将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境;处理虚拟环境下对外部设备模拟环境消息,建立虚拟环境下状态更新机制,将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
公开(公告)号:CN112463614A
公开(公告)日:2021-03-09
申请号:CN202011392719.6
申请日:2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法,其中,包括:搭建嵌入式目标处理器指令集虚拟仿真环境;搭建嵌入式系统片上设备虚拟仿真环境;完成硬件板卡在宿主机上的适配安装,实现宿主机虚拟环境下对板卡的操作与控制;建立外部设备模拟环境与宿主机硬件板卡的物理连接,建立外部设备模拟环境与硬件板卡的通信链路;获取虚拟环境下对外部设备模拟环境消息,建立虚拟环境下的消息处理响应机制,将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境;处理虚拟环境下对外部设备模拟环境消息,建立虚拟环境下状态更新机制,将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
公开(公告)号:CN120066524A
公开(公告)日:2025-05-30
申请号:CN202510237269.X
申请日:2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种包含初始化函数的同步数据流语言翻译方法,属于代码生成领域。本发明通过调用同步数据流语言翻译工具L2C,为每个节点生成对应的上下文结构体后,设计了为上下文结构体生成初始化函数的方法,确保各返回值和相关上下文结构体在仿真过程中被正确初始化,避免未赋值指针引用的问题。最终,生成的初始化函数被加入翻译后的C语言代码中,以支持模型仿真。通过该方法,可以提高生成代码的可靠性,有效满足模型仿真需求。
-
公开(公告)号:CN120029621A
公开(公告)日:2025-05-23
申请号:CN202510188318.5
申请日:2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法,属于模型驱动系统工程领域。本发明适配层包含三部分功能:统一管理、计算优化和对外接口,统一管理包括资源、状态、错误管理;计算优化包括数学运算优化,曲线和多边形绘制优化;对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层,实现对OpenGL的封装,形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程,提高代码的可读性,为OnModel工具后续功能的实现提供支撑。
-
公开(公告)号:CN119180007A
公开(公告)日:2024-12-24
申请号:CN202411284291.1
申请日:2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种高安全软件分发系统,属于软件分发安全防护技术领域。本发明的系统在总部与各分部均部署软件,在总部服务器部署总部软件仓库服务,在分部服务器部署分部软件仓库服务与终端管控软件服务端,在终端设备上部署终端管控软件客户端。本发明解决软件分发过程不安全不可靠问题,从软件源头、网络传输到终端设备安装全过程进行安全防护;本发明提供的方案可以监控终端设备软件状态,对安装与卸载过程进行监控,对终端设备运行的程序实时监控,保护终端设备上运行的软件安全,进而保护单位的信息安全。
-
公开(公告)号:CN115016843B
公开(公告)日:2024-03-26
申请号:CN202210566686.5
申请日:2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法,属于代码比对领域。本发明利用SimHash算法进行比对检索,缩小二进制代码比对的范围,再利用二进制代码特征进行精准的相似性比对,实现二进制代码的快速、精确的比对,为二进制代码溯源、缺陷扫描分析提供支撑,满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案,能够在兼顾对比效率的同时,保证二进制代码相似性比对的效率;本发明提取二进制代码函数特征,能够保证代码相似性比对的精确度;本发明采用基于SimHash的文本对比方法,能够提高二进制代码相似性比对的效率。
-
公开(公告)号:CN116450153A
公开(公告)日:2023-07-18
申请号:CN202310461867.6
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法,属于容器化仿真平台设计领域。本发明采用命令行模式,基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等,构建DSP仿真环境容器;其次,将容器层保存成镜像文件,创建DSP仿真环境镜像包,构建完整的运行环境镜像;再次,基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包,建立运行环境与执行命令的调用关系;然后,将DSP仿真平台镜像包推送到远程云镜像仓库中,方便镜像管理与使用;最后,从远程镜像仓库中拉取仿真平台镜像,进行仿真平台部署运行,实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程,进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号:CN115421863B
公开(公告)日:2023-04-28
申请号:CN202211114547.5
申请日:2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的MIPS64处理器指令集虚拟化仿真方法,属于虚拟仿真领域。本发明能够实现MIPS指令架构处理器的指令集仿真,仿真精度高;本发明采用数组、链表等实现寄存器、内存的仿真,能够完成仿真MIPS指令架构处理器。本发明通过对364条指令集的仿真,提供MIPS处理器嵌入式处理器软件的运行环境,为MIPS处理器嵌入式处理器软件的开发提供支撑。
-
公开(公告)号:CN114860244A
公开(公告)日:2022-08-05
申请号:CN202210284527.6
申请日:2022-03-22
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41 , G06F40/194
Abstract: 本发明涉及一种基于导出函数的PE文件相似性比对方法,属于软件二进制代码溯源分析技术领域。该比对方法通过PE文件解析,提取并比对PE文件“导出函数”,完成了PE文件相似性比对和相似度计算。该方法主要是为Windows操作系统下可执行程序、动态链接库、ActiveX控件等PE格式二进制文件溯源提供技术手段,具有良好的鲁棒性、较高的准确性和可用性。
-
公开(公告)号:CN106326107A
公开(公告)日:2017-01-11
申请号:CN201610602254.X
申请日:2016-07-27
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3664 , G06F11/3688 , G06F11/3692
Abstract: 本发明公开了一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法,包括:搭建嵌入式软件仿真运行环境;设计异常处理验证测试用例,执行异常处理测试用例,采集嵌入式软件异常信息以及对采集的嵌入式软件异常信息进行分析与验证。
-
-
-
-
-
-
-
-
-