公开(公告)号：CN115964033A

公开(公告)日：2023-04-14

申请号：CN202310084136.4

申请日：2023-01-16

Applicant: 北京计算机技术及应用研究所

Inventor： 李浩宇 ,  贾张涛 ,  冯大成 ,  张霄霄 ,  张建伟 ,  王磊 ,  陶金龙 ,  安恒 ,  李雅斯 ,  王云则 ,  庞皓明 ,  金玉川 ,  孔祥炳 ,  邵飒

IPC: G06F8/33 ,  G06F8/34 ,  G06F8/38

Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。

公开(公告)号：CN115421865A

公开(公告)日：2022-12-02

申请号：CN202211114627.0

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  付修锋 ,  邵飒 ,  安恒 ,  张建伟 ,  孔祥炳 ,  金玉川 ,  李雅斯 ,  安顺 ,  刘美佳

IPC: G06F9/455

Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。

公开(公告)号：CN111813672B

公开(公告)日：2022-07-08

申请号：CN202010636319.9

申请日：2020-07-03

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  吴超 ,  付修锋 ,  安恒 ,  李雅斯 ,  沈兴龙 ,  闫帅

IPC: G06F11/36 ,  G06F8/75

Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。

公开(公告)号：CN112926109A

公开(公告)日：2021-06-08

申请号：CN202110338756.7

申请日：2021-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 付修锋 ,  孔祥炳 ,  安恒 ,  金玉川 ,  贾张涛 ,  李雅斯

IPC: G06F30/12 ,  G06F3/0484 ,  G06F111/20

Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。

公开(公告)号：CN112463614A

公开(公告)日：2021-03-09

申请号：CN202011392719.6

申请日：2020-12-01

Applicant: 北京计算机技术及应用研究所 ,  中国人民解放军63921部队

Inventor： 安恒 ,  张慧颖 ,  孔祥炳 ,  司倩然 ,  贾张涛 ,  金玉川 ,  李雅斯

IPC: G06F11/36 ,  G06F9/455

Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。

公开(公告)号：CN106293641B

公开(公告)日：2018-12-25

申请号：CN201610601844.0

申请日：2016-07-27

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  张建伟 ,  安恒 ,  孔祥炳

IPC: G06F9/38 ,  G06F9/455

Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法，其中，包括：第一步：E3节拍模拟；第二步：E2节拍模拟；第三步：E1节拍模拟；第四步：DC节拍模拟；第五步：DP节拍模拟；第六步：PR节拍模拟；第七步：PW节拍模拟；第八步：PS节拍模拟；第九步：PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法，对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析，基于延迟槽结构的流水线推进，能够实现VLIW体系结构流水线的模拟和精确的周期计算，为设备时钟精确的仿真模型提供理论依据和具体实现方法。