完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE

基于全数字实时仿真平台 SkyEye

产品性质：全数字实时仿真平台（软件测试和仿真工具）

对标产品：美国风河公司的Simics，可替代SCADE

SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。

SkyEye目前支持主流的嵌入式硬件平台，可以运行主流的操作系统，此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术，使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。

SkyEye 的功能

（1）支持ARM、TI DSP、PowerPC、X86、SPARC，龙芯，飞腾等多种处理器体系架构。
（2）实现CPU、总线、外设等硬件模块的仿真。
（3）通过图形化拖拽快速搭建目标系统。
（4）目标系统搭建完成后，可在界面工具栏进行运行控制。
（5）可直接运行原始的二进制代码——引导程序、BIOS、操作系统、BSP、应用程序。
（6）提供真实的全系统现场保存和恢复，暂停，查看状态，逆向运行等功能。
（7）提供硬件级故障注入。
（8）提供丰富的系统级调试工具，包括运行状态控制、CPU寄存器查看、设备寄存器查看、仿真内存查看等系统级功能调试。
（9）提供GDB Server模块，并支持多种架构处理器的GDB调试功能。
（10）支持仿真硬件设备模型读取激励数据文件，达到闭环测试需求。

SkyEye 的性能

SkyEye采用国产自主可控的特殊算法和LLVM计算进行翻译加速，可以达到上千MIPS，慢速CPU（sparc）的仿真速度可以加速到真实硬件的20倍。通过利用基于LLVM的动态二进制翻译技术，使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。

SkyEye 覆盖率统计

代码覆盖是软件测试中的一种度量，在做单元测试时，代码覆盖率常常被拿来作为衡量测试好坏的指标，甚至，用代码覆盖率来考核测试任务完成情况，比如，代码覆盖率必须达到80％或 90％。
国产自主可控的SkyEye支持目标码的覆盖率统计，并可以导出html或excel格式的报告。

本文标题：完全自主可控的工业安全关键领域仿真测试软件SkyEye

文本链接：http://www.digiproto.com/

完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE相关推荐

自主可控的安全关键领域国产工业软件SkyEye
全球制造业正处于新一轮变革的浪潮中,大数据.云计算等新一代信息技术正加速向工业领域融合渗透,工业互联网.工业4.0.智能制造等战略理念不断涌现.传统产业数字化转型升级的需求强烈,工业软件缺乏自主可控成 ...
国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变 ...
高性能高可靠性的全数字嵌入式仿真测试软件SkyEye
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通.航空航天.核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题.最近比较火热的基于 ...
高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心
全数字仿真平台作为工业领域不可缺少的重要软件之一,除了可以与MATLAB或者Simulink集成外,还支持哪些优秀的功能?在了解新一代全数字仿真平台SkyEye之前,先来学习一下什么是全数字仿真平台. ...
国产自主可控的MBSE建模与仿真平台SkyEye
转载: 2020年6月,哈工大.哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术. 截止到2020年12月,中国已有超过300家企业和机构被列入美国&qu ...
国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中.使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成 ...
汽车智能安装仿真测试软件,智能网联汽车仿真测试平台建设.pdf
国家轿车质量监督检验中心智能网联汽车仿真测试平台建设目录 1 智能网联汽车仿真测试平台建设的需求基于仿真工具的智能网联汽车研发测试 2 及认证测试 3 现阶段智能网联汽车仿真测试面临的关键问题 ...
网络磁干扰仿真测试软件,电磁仿真软件有哪些？电磁仿真软件专辑推荐！
电磁仿真软件有哪些?电磁仿真软件专辑推荐! 点击:179 日期:2021-05-06 11:16:59.0 [软件] 导读:随着计算电磁学在工程应用领域影响力的不断加深,商用电磁仿真软件越来越多,操 ...
电路原理仿真测试软件,测试工具篇-运放测试电路仿真《TINA-TI》
©版权声明:本文为[看我哒 www.kanwoda.com]原创文章,转载时请注明出处! 出门向左,感谢Jerry Gao的分享<测试基础篇-电容与电感对电流测试的影响>,文中介绍了用LT ...

完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE

SkyEye 的功能

完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE相关推荐

最新文章

热门文章