全数字嵌入式仿真研究中心 主页 > 研究中心 > 电子信息技术 > 全数字嵌入式仿真研究中心 >
最新发布
热点推荐

北京迪捷数原科技有限公司

项目编号:RC0074
电子信息技术
北京市
研发 -- 技术
17-12-22
公司介绍
北京迪捷数原科技有限公司是专注于关键领域的嵌入式软件工具提供商,公司注册资金人民币500万元,位于北京市海淀区上地国际创业园。我们致力于提供从前期设计到后期验证测试的全生命周期的嵌入式软件工具,产品主要应用于航空、航天、高铁、核电等关键领域的嵌入式软件开发。
当前北京迪捷数原科技有限公司的所有产品均为自主研发,其研发团队来自清华大学信研院的操作系统中心,在嵌入式系统软件研制工具、可信软件研发平台等方面已有数十年的积累,并且在动态二进制翻译、符号执行和形式化证明等科研领域也处于国内领先水平。


北京迪捷数原科技有限公司全面推行与贯彻质量管理体系,提高公司服务质量与产品质量。公司已取得ISO9001:2008的认证,SkyEye软件产品已获得国家计算机软件著作权登记证书,并通过了北京软件产品质量检测检验中心的测试。迪捷数原拥有高技术、高品质的产品,具备规范完善的服务体系,能够全面满足客户的需求。
迪捷数原于2016年第四季度成功入选国家高新技术企业行列,并凭借“天目全系统硬件仿真平台”项目成功入选2017年度北京市科技型中小企业促进专项(创新类)立项企业名单。
公司将一如既往地坚持“以科技求发展、以服务求生存”的经营宗旨,用务实创新精神竭诚为广大用户提供更加优质的产品和服务,立志将迪捷数原打造成为嵌入式仿真测试行业的领航者!
 
团队介绍
成员1: 康烁 职位: 总经理 研究方向:嵌入式软件
主要工作经历:
成员2: 张瑜明 职位: 项目经理 研究方向:嵌入式软件
主要工作经历:
成员3: 贾超 职位: 工程师 研究方向:嵌入式软件
主要工作经历:
其他补充
知识产权
软著:7项

其他荣誉
公司已取得ISO9001:2008的认证,SkyEye软件产品已获得国家计算机软件著作权登记证书,并通过了北京软件产品质量检测检验中心的测试。迪捷数原拥有高技术、高品质的产品,具备规范完善的服务体系,能够全面满足客户的需求。
项目介绍:
基于全数字仿真平台的开发工具——SkyEye
1.1  SkyEye的概念和应用
SkyEye,中文全称天目全系统硬件仿真平台,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。
SkyEye目前支持主流的嵌入式硬件平台,可以运行主流的操作系统,此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术,虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。
图2利用虚拟原型来降低产品的周期和成本
 
 
  图3  4个PowerPC运行4个天脉操作系统的截图
1.2  SkyEye的优势
1.2.1  SkyEye可与第三方语言或者模型集成。

 
 
目前已实现SkyEye与SystemC集成进行时序仿真,以及SkyEye与Matlab或者Simulink集成进行多领域协同仿真。
图4  matlab与skyeye连接图
1.2.2  基于可视化图形的硬件建模。

 
 
基于可视化图形的硬件建模,有效降低了硬件工程师和软件工程师之间的沟通成本。软件工程师可以不依赖于硬件工程师,而对硬件的配置根据需要进行改动。通过这种可视化图形的硬件建模方式,软件人员能够快速搭建硬件模型,并在硬件模型上运行和调试和真实硬件相同的二进制文件,可大大缩短产品研发周期,提高软件调试效率。
图5基于可视化图形的硬件建模
 
1.3  SkyEye的架构图

 
 
图6  SkyEye的架构图
1.4  SkyEye支持多种处理器模型

项目图片
项目图片
核心技术
为了能够让本项目在实际的工程开发中产生真正的效益,我们在产品的性能,易用性,可扩展性等几个方面做了创新。其中在仿真处理器性能上面我们使用了基于LLVM的二进制翻译技术,在易用性上我们提出了可视化的建模技术,在可扩展性上我们开发了分布式仿真技术。下面我们分别对这三个创新点进行描述:
1、基于LLVM的二进制翻译技术
在传统的动态二进制翻译的基础上,我们进一步的提出动态二进制编译技术。相比于动态二进制翻译,动态二进制编译技术并不是把目标码直接翻译成主机代码,而是把目标码翻译中中间代码,然后对中间代码进行编译器的各种优化,最终生成主机代码。相比于传统的二进制翻译技术,我们应用了各种编译器的优化技术,从而生成更高效率的主机代码。其区别如下示意图:
 
如上图,解释执行是最早采用的指令执行技术,它简单的对一条指令进行取指,解码和执行。中间的动态翻译是把一组目标指令进行取指,并翻译成主机代码。而最右侧的动态编译是把一组目标指令翻译成中间语言,即IR。然后再进行多种优化后再编译成x86。所以动态编译的特点在于翻译时间比动态翻译长,但是生成的代码质量高,运行速度快。对于规模较大的目标软件,动态翻译的指令仿真性能较好。
     2、可视化的系统仿真技术
可视化的系统仿真技术是通过图形拖拽的方式来构建整个硬件系统。在这个技术中,其他的硬件模型抽象为一个对象,如处理器,总线和外设等。对象和对象之间可以有不同的连接方法进行联系。这样我们通过拖拽这些对象,并且用鼠标建立这些对象的链接,可以所见即所得的获得一个定制化的硬件系统。这样的可视化系统仿真技术能够有效的降低仿真软件的学习门槛,软硬件开发人员可以通过可视化系统仿真技术进行把各自对系统的理解进行交流,减少了沟通成本。而是用可视化的系统仿真技术也易于对后面硬件系统的修改方面的进行模型的映射,有效的缩短了嵌入式产品的开发周期。其图形化示例如下:
 
 
3、分布式仿真技术
为了满足用户的可扩张性需求,我们的仿真平台产品采用了分布式仿真技术,利用集群来对多机以及多机之间的通信进行了虚拟仿真。并行仿真的流行主要原因是由于近年来多核多处理器的计算平台已经变为了企业的主流计算平台。很自然的,仿真平台的开发者想到了利用便宜的并行计算平台的平行计算能力去提高仿真的速度。而真实硬件系统的并行化程度较高,有很多并行部件,我们可以把我们软件的系统仿真平台利用多线程技术进行并行化去模拟并行的硬件行为,从而利用我们的分布式多核计算平台对系统仿真平台进行加速。其架构示意图如下:
 
培训课程
暂无
详细介绍