-
公开(公告)号: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的文本对比方法,能够提高二进制代码相似性比对的效率。
-
公开(公告)号:CN114995880A
公开(公告)日:2022-09-02
申请号:CN202210566698.8
申请日:2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法,属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理,对汇编代码标准化处理,计算汇编代码SimHash值,构建代码特征关系库构架,基于文本相似性的二进制代码快速定位。本发明具有以下优点:本发明提出的方案,能够在兼顾对比效率的同时,保证二进制代码相似性比对的效率;本发明采用基于SimHash的文本对比方法,能够提高二进制代码相似性比对的效率。
-
公开(公告)号:CN112926109B
公开(公告)日:2022-06-24
申请号:CN202110338756.7
申请日:2021-03-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F30/12 , G06F3/04845 , G06F111/20
Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法,其中,包括:第一步、构建实体对象的图形化模型;第二步、配置图形化模型接口与属性;第三步、生成设备仿真模型,包括:将图形化模型描述的接口和属性转化为对应的接口函数和属性变量,进行设备仿真模型框架代码的自动生成,基于此框架开展设备仿真模型的逻辑功能开发;第四步、封装设备仿真模型并持久化存储,包括:封装图形界面操作,并建立设备仿真模型与图形模型的双向映射;并形成图形化模型与设备仿真模型库;第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程,进而提升嵌入式软件研发效率和测试充分性。
-
公开(公告)号: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: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法,包括:搭建嵌入式软件仿真运行环境;解析多种架构目标文件及调试信息格式,获取处理器对应的调试信息格式,通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息;解析源代码获取源代码的分支信息;获取覆盖率信息,包括:仿真执行开始后,判断当前指令是否是分支指令,若不是,继续执行指令;如果是,以当前地址作为基本块结束地址,并以基本块开始地址和结束地址为索引,更新覆盖率查询表;将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足,满足多种场景下覆盖率统计分析的需求。
-
公开(公告)号:CN106293641A
公开(公告)日:2017-01-04
申请号:CN201610601844.0
申请日:2016-07-27
Applicant: 北京计算机技术及应用研究所
CPC classification number: G06F9/3853 , G06F9/45508
Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法,其中,包括:第一步:E3节拍模拟;第二步:E2节拍模拟;第三步:E1节拍模拟;第四步:DC节拍模拟;第五步:DP节拍模拟;第六步:PR节拍模拟;第七步:PW节拍模拟;第八步:PS节拍模拟;第九步:PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法,对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析,基于延迟槽结构的流水线推进,能够实现VLIW体系结构流水线的模拟和精确的周期计算,为设备时钟精确的仿真模型提供理论依据和具体实现方法。
-
公开(公告)号:CN120029620A
公开(公告)日:2025-05-23
申请号:CN202510187515.5
申请日:2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法,属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件,本发明提供将模型文件自动生成C代码的一种方法,包括:使用XML解析器对文件进行解析,将模型数据划分成不同模块;根据不同模块数据,调用代码生成函数,生成代码;调用适配层接口,完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性,因此,生成的C代码能够应用到任意目标平台,减少代码重复性编写。
-
公开(公告)号:CN120029615A
公开(公告)日:2025-05-23
申请号:CN202510187633.6
申请日:2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/35 , G06F8/36 , G06F8/72 , G06F8/76 , G05B19/042
Abstract: 本发明涉及一种基于模版的AADL平台无关代码生成方法,属于自动代码生成领域。本发明解析器读取AADL模型,提取其中描述的模型元素,包括:系统架构、组件信息、组件间连接以及相关属性,为后续的映射步骤提供必要的数据支持;根据AADL模型和平台无关抽象层的结构与需求,定义两者之间的映射关系;具体包括将AADL模型中涉及的组件类型、连接关系及相关属性与抽象层中对应的元素匹配,以确保抽象层能够完整描述AADL模型的功能及结构;根据第二步中制定的映射规则,将解析出的AADL模型元素逐一转换为抽象层中对应的元素,生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号:CN119597276A
公开(公告)日:2025-03-11
申请号:CN202411499068.9
申请日:2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法,属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树;遍历Ctemp抽象语法树,针对树结构中的语句中控制流语句、赋值语句设计翻译方法;遍历语句中的表达式,设计添加强制转化的翻译方法,确保语句在语义正确的同时,不存在隐式类型转化;扩展了关于Cltype中类型关系的定理,用于验证类型操作;扩展关于Ctemp语义的强制转化和二元操作的定理,实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。
-
-
-
-
-
-
-
-
-