-
公开(公告)号：CN116662157A
公开(公告)日：2023-08-29
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN115480871A
公开(公告)日：2022-12-16
申请号：CN202211114544.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C3X处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C31、TMS320VC33等处理器，解决TMS320C31、TMS320VC33等处理器的虚拟化仿真问题。TMS320C3X指令架构共计包含128条指令集，通过对128条指令集的仿真，提供TMS320C3X处理器嵌入式处理器软件的运行环境，为TMS320C3X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C3X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C3X指令架构处理器。
-
公开(公告)号：CN120029667A
公开(公告)日：2025-05-23
申请号：CN202510187569.1
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于PEG的AADL代码到图形多层次转换方法，属于嵌入式系统架构建模与分析领域。本发明定义PEG语法规则。该语法规则能够精确描述AADL语言的基本元素、递归结构以及语法优先级；构建AADL代码解析器；基于定义的PEG语法规则构建解析器，该解析器能够逐层解析AADL代码，识别各个设计元素，并在解析过程中捕获并反馈语法语义问题；生成多层次抽象语法树AST。AST能够明确表达AADL的节点构造、层次嵌套、属性映射以及元素关系。第四步，将多层次抽象语法树AST转换为图形化表达。通过图形化的方式，系统架构的各个层级被直观呈现。本发明能够清晰地呈现出不同设计元素之间的层次关系，便于设计人员和开发人员进行分析、理解和修改。
-
公开(公告)号：CN120010859A
公开(公告)日：2025-05-16
申请号：CN202510183346.8
申请日：2025-02-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41
Abstract: 本发明涉及一种基于Antlr的同步数据流模型语言解析方法，属于基于模型的软件开发工具领域。本发明可针对扩展标准同步数据流语言Lustre V6进行解析，并生成所需的抽象语法树，为后续对模型进行静态分析和形式化验证等功能提供基础。首先，需要对模型语言的特性进行分析，在标准Lustre V6文法规则上进行扩展，形成新的模型语言OnModel；根据扩展的文法规则实现OnModel对应的巴克斯范式，并基于Antlr构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN119854188A
公开(公告)日：2025-04-18
申请号：CN202411808006.1
申请日：2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: H04L43/50 , H04L69/165 , G06F11/3668
Abstract: 本发明涉及一种面向TCP和UDP通讯的接口自动化测试装置，属于接口测试技术领域。该方法通过仿真设备替代外部通讯设备或对象，为被测设备或软件提供输入数据，同时接收设备或软件输出数据，并根据输出数据进行实时自动应答，保证设备或软件通讯过程连续性；通过测试驱动器，集中管理外部仿真设备，并按照业务流程测试调度仿真设备，协同完成设备或软件接口自动化测试。
-
Patent Agency Ranking
公开(公告)号：CN113610037B
公开(公告)日：2024-11-12
申请号：CN202110942302.0
申请日：2021-08-17
Applicant: 北京计算机技术及应用研究所
IPC: G06V20/58 , G06V40/10 , G06V10/25 , G06V10/26 , G06V10/44 , G06V10/52 , G06V10/764 , G06V10/75 , G06V10/762 , G06V10/82 , G06N3/0464 , G06N3/045 , G06N3/09
Abstract: 本发明涉及一种基于头部和可见区域线索的遮挡行人检测方法，属于辅助驾驶领域。本发明利用头部、可见区域、全身信息改进复杂道路场景中的遮挡行人检测性能，提出锐化特征响应区域推荐网络SRPN同时检测行人全身和头部RoIs，对于全身RoIs，在原有的全身检测分支Fast RCNN前增加一个可见区域引导注意力VGA模块用于增强可见区域特征同时抑制遮挡区域噪声，增加了一个平行的头部级联检测分支，基于头部RoIs逐级的拓展感知域检测严重遮挡行人。大量的实验结果表明：本专利提出的方法能显著提高遮挡行人的检测精度。
-
公开(公告)号：CN118916011A
公开(公告)日：2024-11-08
申请号：CN202411111184.9
申请日：2024-08-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Eclipse插件进行代码远程构建的方法，属于代码远程构建技术领域。本发明的Eclipse插件包括：五个模块：设置模块、工程管理模块、私有依赖库管理模块、构建信息配置模块和构建执行及过程回显模块。本发明的Eclipse插件与代码远程构建系统配合使用，通过在本发明的Eclipse插件进行配置，实现在集成开发环境直接连接代码远程构建系统进行代码远程构建，不需要再切换到网页，能够简化操作，使开发过程更连贯，提高开发效率。
-
公开(公告)号：CN118446640A
公开(公告)日：2024-08-06
申请号：CN202410621463.3
申请日：2024-05-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于研制过程的工业软件自主可控评估方法，属于工业软件自主可控评估领域。本发明确定工业软件自主可控评估中研制过程权重值，基于工业软件研制过程设定一级评估指标及权重值，设定所述一级评估指标的二级评估指标及权重值，收集评估材料，审查提交评估材料的完备性，评估研制过程可追溯性，评估研制过程一致性，对评估结果数据归一化并加权处理。本发明为工业软件研制过程自主可控水平和自主可控发展提供统一的度量标准。
-
公开(公告)号：CN116450153B
公开(公告)日：2023-11-24
申请号：CN202310461867.6
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法，属于容器化仿真平台设计领域。本发明采用命令行模式，基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等，构建DSP仿真环境容器；其次，将容器层保存成镜像文件，创建DSP仿真环境镜像包，构建完整的运行环境镜像；再次，基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包，建立运行环境与执行命令的调用关系；然后，将DSP仿真平台镜像包推送到远程云镜像仓库中，方便镜像管理与使用；最后，从远程镜像仓库中拉取仿真平台镜像，进行仿真平台部署运行，实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
-
公开(公告)号：CN116467211B
公开(公告)日：2023-09-26
申请号：CN202310461935.9
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法，属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟，实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖，可在实验室环境中开展有效的系统级测试验证，从而降低了测试成本并提高了测试的充分性。
-
-
-
-
-
-
-
-
-
Search Results
65
records
(took 0.037 seconds)
