-
公开(公告)号：CN112463614B
公开(公告)日：2023-07-14
申请号：CN202011392719.6
申请日：2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
公开(公告)号：CN116414442A
公开(公告)日：2023-07-11
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：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分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
公开(公告)号：CN111813670A
公开(公告)日：2020-10-23
申请号：CN202010635114.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
公开(公告)号：CN120066524A
公开(公告)日：2025-05-30
申请号：CN202510237269.X
申请日：2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种包含初始化函数的同步数据流语言翻译方法，属于代码生成领域。本发明通过调用同步数据流语言翻译工具L2C，为每个节点生成对应的上下文结构体后，设计了为上下文结构体生成初始化函数的方法，确保各返回值和相关上下文结构体在仿真过程中被正确初始化，避免未赋值指针引用的问题。最终，生成的初始化函数被加入翻译后的C语言代码中，以支持模型仿真。通过该方法，可以提高生成代码的可靠性，有效满足模型仿真需求。
-
公开(公告)号：CN120045369A
公开(公告)日：2025-05-27
申请号：CN202510042037.9
申请日：2025-01-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/07 , G06F11/30 , G06F11/3668 , G06F9/455
Abstract: 本发明涉及一种基于嵌入式虚拟化环境的多模式检查点设计方法，属于嵌入式系统仿真领域。本发明是一种结合检查点功能和故障注入的嵌入式系统测试方法。该方法在可运行过程中定期保存检查点，以在发生故障时快速恢复。同时，通过引入故障注入机制，嵌入式开发者可结合检查点功能和故障注入模块，在注入故障前，保存具体某个或多个模块的状态，能够模拟和测试各种异常情况，以验证系统的容错性和稳定性，并可随时根据需要恢复整个系统或具体某个模块的状态。本发明优化了检查点的存储和处理效率，降低了资源开销，确保嵌入式系统在资源受限环境中的高效运行，提升了系统的可靠性与故障恢复能力。
-
公开(公告)号：CN120029621A
公开(公告)日：2025-05-23
申请号：CN202510188318.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的适配层实现方法，属于模型驱动系统工程领域。本发明适配层包含三部分功能：统一管理、计算优化和对外接口，统一管理包括资源、状态、错误管理；计算优化包括数学运算优化，曲线和多边形绘制优化；对外接口包括与onModel工具匹配的接口。本发明根据onModel工具提供的图元建立适配层，实现对OpenGL的封装，形成与onModel图元匹配的适配层。简化从图形界面生成C代码的过程，提高代码的可读性，为OnModel工具后续功能的实现提供支撑。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.044 seconds)
