-
公开(公告)号：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分布式协同仿真总线动态接入虚拟目标机和通信协议模拟器，建立通信连接，将虚拟目标机和通信协议模拟器与主题绑定，设置通信方式进行数据交换；进行虚拟目标机与通信协议模拟器多节点时间同步；进行系统特征状态采集与分析。
-
公开(公告)号：CN115017100A
公开(公告)日：2022-09-06
申请号：CN202210556356.8
申请日：2022-05-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/13 , G06F16/14 , G06F16/182 , G06F8/75
Abstract: 本发明涉及一种基于ElasticSearch搜索引擎的软件代码溯源方法，属于软件代码溯源技术领域。该代码溯源方法通过设计索引，代码特征提取，构建起代码特征索引库，为代码溯源提供溯源样本库；通过代码特征提取，代码特征搜索比对和代码相似度计算，完成软件代码溯源。该方法主要是利用ElasticSearch搜索引擎强大的索引和实时搜索能力，以代码文件为单位，在海量软件样本库中快速溯源相似代码，并计算代码相似度，提高代码相似性比对效率，解决海量数据条件下代码快速溯源问题。
-
公开(公告)号：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覆盖率统计分析的需求。
-
公开(公告)号：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构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：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
76
records
(took 0.042 seconds)
