-
公开(公告)号：CN116150005A
公开(公告)日：2023-05-23
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
-
公开(公告)号：CN115480872A
公开(公告)日：2022-12-16
申请号：CN202211114551.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本本发明通过对123条指令集的仿真，提供DSP C2812嵌入式处理器软件的运行环境，为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现DSP C2812处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C2812处理器。
-
公开(公告)号：CN115421864A
公开(公告)日：2022-12-02
申请号：CN202211114604.X
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的PowerPC架构处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对飞思卡尔(FreeScale)基于Power Architecture的32位微处理器核心e300、e500、e600，设计一种通用的处理器仿真框架，同时支持多种架构处理器的仿真运行。提供PowerPC处理器嵌入式处理器软件的运行环境，为PowerPC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现PowerPC指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真PowerPC指令架构处理器。
-
公开(公告)号：CN115421861A
公开(公告)日：2022-12-02
申请号：CN202211114539.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C55x处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等处理器，解决TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等系列处理器的虚拟化仿真问题。TMS320C55X指令架构共计包含154条指令集，通过对154条指令集的仿真，提供TMS320C55X处理器嵌入式处理器软件的运行环境，为TMS320C55X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C55X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C55X指令架构处理器。
-
公开(公告)号：CN115016843A
公开(公告)日：2022-09-06
申请号：CN202210566686.5
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
Patent Agency Ranking
公开(公告)号：CN112926109B
公开(公告)日：2022-06-24
申请号：CN202110338756.7
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F30/12 , G06F3/04845 , G06F111/20
Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。
-
公开(公告)号：CN109445834B
公开(公告)日：2021-04-30
申请号：CN201811273830.6
申请日：2018-10-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/70
Abstract: 本发明涉及一种基于抽象语法树的程序代码相似性快速比较方法，涉及代码复用技术领域。本发明的基于抽象语法树的程序代码相似性快速比较方法，该方法通过构造程序抽象语法树，然后基于抽象语法树提取程序代码特征，并将代码特征哈希化，最后通过计算代码特征哈希值的汉明距离进行代码相似性的判定。该方法以程序代码抽象语法树为比较对象，同时结合Simhash与倒排索引技术，将程序代码的相似性比较转化成代码特征哈希值的比较。在保证高准确率和召回率的前提下，这种方法不仅能够实现程序代码的快速相似性比较，而且还能够满足针对海量代码进行快速相似性比较的需要。该方法具有较好的时间和空间复杂度，能够适应针对海量代码的相似性比较应用场景，从而为软件代码复用及溯源提供支持手段。
-
公开(公告)号：CN112395190A
公开(公告)日：2021-02-23
申请号：CN202011280982.6
申请日：2020-11-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。
-
公开(公告)号：CN111813672A
公开(公告)日：2020-10-23
申请号：CN202010636319.9
申请日：2020-07-03
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。
-
公开(公告)号：CN119148994A
公开(公告)日：2024-12-17
申请号：CN202411251561.9
申请日：2024-09-08
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种通用的外围设备功能行为级建模与仿真方法，属于设备建模与仿真领域。本发明首先针对外围设备特点，定义一种设备描述文件*.vdl，描述外围设备通用信息；其次，对外围设备进行行为级建模，包括寄存器、IO接口等内容；然后，对设备模型功能进行完善，完成寄存器读写，数据收发、设备初始化等功能仿真，将设备模型描述文件翻译成设备C代码；最后，进行设备功能模型一致性检查，通过检查后，将C代码编译为可供调用的设备动态库。该方法实现的通用外围设备行为级功能仿真方法，建模过程规范、模型属性与接口描述清晰、逻辑功能描述准确，形成了一种通用、高效的外围设备建模与仿真方法，提高了外围设备的仿真效率。
-
-
-
-
-
-
-
-
-
Search Results
61
records
(took 0.034 seconds)
