嵌入式系统实时仿真解决方案SkyEye
SkyEye介绍
SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。
功能
- 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建
- 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题
- 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题
- 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析
- 提供故障注入功能,可以进行内存和IO的故障注入进行测试
- 提供协同仿真工具,支持与其他异构模型协同仿真
- 提供外设建模工具和二次开发API接口,方便用户进行二次开发
- 提供Python API接口,可以进行自动化测试脚本构建所需测试环境
- 支持Docker容器化部署,方便在云平台上部署测试
- 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果
优势
- 处理器采用动态二进制翻译技术提升仿真运行速度
- 开放的二次开发接口
- 与Matlab模型或其他仿真平台进行协同仿真
- 支持70余种处理器和200余种设备仿真
本文标题:嵌入式系统实时仿真解决方案SkyEye
本文链接:http://www.digiproto.com
嵌入式系统实时仿真解决方案SkyEye相关推荐
- 支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1.核心翻译步骤示例 本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语 ...
- 汽车软件开发的8种颠覆性趋势及国产自主可控的多领域全数字实时仿真平台SkyEye
汽车工业中产生的断层正引起人们对创新的日益渴望,而创新又极大地增加了汽车中的软件功能.这种创新正在自动驾驶.高级驾驶员辅助系统 (ADAS).数字驾驶舱技术.车辆电气化等领域进行. 目前影响汽车电子产 ...
- 全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造
随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空.高铁.核电及军事等高安全要求领域的软件系统--安全关键系统(safety-critical system,简称SCS)更 ...
- 全数字实时仿真平台SkyEye故障注入测试
故障注入测试(Fault Injection Test),简称FIT,是一种可靠性验证技术,在安全关键领域,设备的可靠性与安全性是检验装备制造生产的重要指标之一,针对现有的安全关键领域工程可靠性验证方 ...
- 全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证
全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境.用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工 ...
- 全数字实时仿真平台SkyEye与SystemC集成进行时序仿真
SkyEye与SystemC集成进行时序仿真 仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误.时序仿真使用布局布 ...
- 全数字实时仿真平台SkyEye经典案例——卫星
1. SkyEye 简介 SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模.采用基于LLVM的二进制加速技术,加 ...
- 全数字实时仿真平台SkyEye目标码覆盖率关键技术
1. 研究背景 1.1零插桩目标码覆盖率统计技术 随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆 ...
- 51嵌入式系统的仿真设计
51单片机(Microcontrollers)是一种集成电路芯片,是采用超大规模集成电路技术把具有数据处理能力的中央处理器CPU.随机存储器RAM.只读存储器ROM.多种I/O口和中断系统.定时器/计 ...
最新文章
- WF4 Beta,RC版文章总结
- 破解加密PDF文件pdfcrack
- centos 添加用户
- 总结:服务器硬件对性能的影响
- thymeleaf th:href url传递多参数
- 知乎热点:数学专业的学霸们毕业后都在做什么
- #周末课堂# 【Linux + JVM + Mysql高级性能优化班】(火热报名中~~~)
- 【BZOJ2751】【codevs1853】容易题,快速幂+逆元
- TiledMap 使用
- PDF虚拟打印机(pdfFactory) v5.11 官方版
- 《你不可不知的50个建筑学知识》之哥特式建筑 1
- 多目标优化 MOP (一):遗传算法 SPEA 1999
- Axure获取焦点动画
- Windows下vc开发chrome浏览器工程的一点粗浅理解和封装
- dll占的究竟是谁的空间?——浅谈Windows内存机制
- 加速智慧能源转型 赛昉科技、微五科技携手名气家打造“港华芯”
- Greasy Fork发布油猴脚本
- 基于FPGA的数据采集—信号产生篇
- 流行的软件测试工具介绍
- leetcode lintcode python
热门文章
- Map集合使用get方法返回null抛出空指针异常问题
- RabbitMQ保姆级教程
- java实现 XSS攻击防护
- python使用xlrd读取xlsx文件_$ 用python处理Excel文档(1)——用xlrd模块读取xls/xlsx文档...
- 怎么在mysql查询自己建的表格_oracle数据库中怎么查询自己建的表
- 安卓与Linux共存,Android和Linux重新合并成一个操作系统
- php atlas,apache atlas是什么
- c++代码根据点位连线_邹军:数控车倒角C与自动倒圆角R编程方法
- Java反射 Class类
- 基于jsp+mysql的JSP在线水果销售商城系统设计实现