随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程(MBSE)技术则给大家提供了一种全新的技术方向,分享一种全数字实时仿真的安全关键领域解决方案,提供一种新的解决思路。基于模型的全数字研发解决方案MBSE工具软件SkyEye是一款先进的仿真与验证平台,提供高效的运算速度,提高研发效率和安全性。
SkyEye 介绍
SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。完全自主可控的支持数十种国产芯片仿真的全数字实时仿真平台SkyEye
SkyEye功能
- 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建
- 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题
- 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题
- 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析
- 提供故障注入功能,可以进行内存和IO的故障注入进行测试
- 提供协同仿真工具,支持与其他异构模型协同仿真
- 提供外设建模工具和二次开发API接口,方便用户进行二次开发
- 提供Python API接口,可以进行自动化测试脚本构建所需测试环境
- 支持Docker容器化部署,方便在云平台上部署测试
- 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果
SkyEye支持的PowerPC型号
处理器核心 | 片上系统 |
---|---|
E300 | MPC8378、MPC5121 |
E500 | MPC8560、P1010、T2080、P2020 |
E600 | MPC755、MPC8641D |
E6500 | T4240 |
G2 | MPC8245 |
本文标题:自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真
本文链接:http://www.digiproto.com/archives/3054