-
公开(公告)号：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分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
公开(公告)号：CN113221318A
公开(公告)日：2021-08-06
申请号：CN202110338637.1
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于DDS的系统级仿真测试环境构建方法，其中，包括：构建指令集仿真模型，结合虚拟外围设备模型为系统级仿真测试环境提供虚拟目标机模型；采用插件方式构建基于可配置通信协议的通信协议模拟器模型，根据测试需要选择功能组件；定义虚拟目标机和通信协议模拟器间的通信数据对象，根据DDS的数据规范进行封装，绑定数据写入者和数据读取者，进行虚拟目标机与通信协议模拟器间所有通信接口数据的覆盖；基于DDS分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
Patent Agency Ranking
公开(公告)号：CN111813670A
公开(公告)日：2020-10-23
申请号：CN202010635114.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种非侵入式MC/DC覆盖率统计分析方法，其中，包括：建立嵌入式软件虚拟化仿真运行环境；循环读取源码并通过分析去除源码中的注释部分，并解析源文件分支信息和逻辑表达式信息；获取逻辑表达式的目标码信息；仿真运行，读取指令、翻译指令以及执行当前指令，记录MC/DC覆盖率，并将覆盖率信息以特定的格式写入到指定路径的文件中；进行MC/DC覆盖率执行结果判读及反馈。本发明通过嵌入式软件虚拟化仿真运行环境，分析不同处理器架构下目标文件的类型和调试信息格式的类型并解析源文件分支信息和逻辑表达式信息，在此基础上获取逻辑表达式对应的目标码信息，并在仿真运行过程中获取MC/DC覆盖率信息，能够满足多种场景下MC/DC覆盖率统计分析的需求。
-
公开(公告)号：CN120029594A
公开(公告)日：2025-05-23
申请号：CN202510188404.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/20 , G06F8/34 , G06F8/35 , G06F40/151 , G06F40/186
Abstract: 本发明涉及一种基于元数据驱动的AADL文本生成方法，属于软件工程技术领域。本发明首先定义元数据模型，用于规范化描述AADL元素及其关系；然后通过交互式图形化界面创建和编辑AADL模型；在建模过程中构建AADL树状结构，并将图形元素实例化为元数据模型对象；最后通过模板引擎将AADL树状结构和元数据实例映射成相应的文本表示。该方法不仅保证了设计过程中语义的一致性和文本转换的准确性，同时还增强了系统的可扩展性和适应性，以满足嵌入式系统设计的复杂需求，为研发基于模型的软件分析与验证工具OnModel提供了关键技术支撑。
-
公开(公告)号：CN119829020A
公开(公告)日：2025-04-15
申请号：CN202411688479.2
申请日：2024-11-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于容器化技术的图形化集成开发环境设计方法，属于软件开发领域。本发明通过容器化技术将开发工具及其相关依赖封装，确保开发环境的标准化、隔离性和可移植性，避免传统开发环境中的配置错误和版本冲突；利用X11协议将容器内的图形界面显示到宿主机屏幕上，确保开发工具与本地开发环境的使用体验一致；通过挂载技术实现宿主机与容器之间的文件无缝同步，避免手动复制和同步代码的麻烦；容器的启动、停止和重启操作简便，开发人员可灵活管理开发环境，并确保开发文件的持久性。本发明能有效提高开发人员在容器化环境中的工作效率。
-
公开(公告)号：CN119148994A
公开(公告)日：2024-12-17
申请号：CN202411251561.9
申请日：2024-09-08
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种通用的外围设备功能行为级建模与仿真方法，属于设备建模与仿真领域。本发明首先针对外围设备特点，定义一种设备描述文件*.vdl，描述外围设备通用信息；其次，对外围设备进行行为级建模，包括寄存器、IO接口等内容；然后，对设备模型功能进行完善，完成寄存器读写，数据收发、设备初始化等功能仿真，将设备模型描述文件翻译成设备C代码；最后，进行设备功能模型一致性检查，通过检查后，将C代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法，建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确，形成了一种通用、高效的外围设备建模与仿真方法，提高了外围设备的仿真效率。
-
公开(公告)号：CN116909894A
公开(公告)日：2023-10-20
申请号：CN202310849949.8
申请日：2023-07-12
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63919部队 , 中国人民解放军63921部队
Abstract: 本发明涉及一种虚实融合的混合动态测试平台设计方法，属于虚实融合领域。本发明的硬件测试平台实现了测试流程编排、激励数据模拟、数据结果解析等目标机外围功能，提供了丰富的测试用例；数字化测试平台实现了虚拟目标机、虚拟化调试、覆盖率统计分析等功能，替代了物理目标机，提供了目标码测试手段。数字化测试平台通过1553B总线板卡和1553B总线耦合器与硬件测试平台下位机通信，通过高速网络访问硬件测试平台上位机，打通了硬件测试平台与数字化测试平台的数据隔离，形成了闭环测试环境，大幅度提高了测试效率和充分性。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.092 seconds)
