我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代，我们可以很好的将新方法与旧方法结合，创建一套全新的流程，提供比以往更好的服务。
什么是全数字仿真平台
面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入。
面向航空航天工业领域的基于模型的仿真验证工具SkyEye[/caption]
从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。
基于嵌入式应用的特点，嵌入式软件全数字仿真测试支撑平台SkyEye要为嵌入式系统提供全数字仿真测试环境或测试平台，实现对嵌入式系统进行实时、闭环的系统测试。具体地说面向航空航天工业领域的基于模型的仿真验证工具SkyEye要为用高级语言编写的嵌入式软件测试提供了有效的、统一的协作平台。在该平台上完成被测软件的分析、运行和测试，最重要的是要实现嵌入式系统外部事件的全数字仿真平台，使得嵌入式软件就像在真实硬件环境下连续不中断地运行。
SkyEye的优势
SkyEye可与第三方语言或者模型集成，目前已实现SkyEye与SystemC集成进行时序仿真，以及SkyEye与MATLAB或者Simulink集成进行多领域协同仿真。
更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建
- 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建。
- 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同，仿真过程可以通过运行、暂停控制、可以随时重复执行，每次运行结果是确定的，可以使用软件复现问题。
- 提供GDB源码调试和汇编级调试工具，使开发者更高效的分析和定位问题。
- 提供代码覆盖率和生成报告功能，进行源码和目标码的覆盖率分析。
- 提供故障注入功能，可以进行内存和IO的故障注入进行测试。
- 提供协同仿真工具，支持与其他异构模型协同仿真。
- 提供外设建模工具和二次开发API接口，方便用户进行二次开发。
- 提供Python API接口，可以进行自动化测试脚本构建所需测试环境。
- Docker容器化支持。
- 界面提供自动化测试功能，可以选择所需测试用例自动运行并给出测试结果与其他异构模型协同仿真。
面向航空航天工业领域的基于模型的仿真验证工具SkyEye[/caption]
基于可视化图形的硬件建模
SkyEye是一款基于可视化图形的硬件建模工具，可以有效降低硬件工程师和软件工程师之间的沟通成本。软件工程师可以不依赖于硬件工程师，而根据需要对硬件的配置进行改动。通过这种可视化图形的硬件建模方式，软件人员能够快速搭建硬件模型，并在硬件模型上运行和调试和真实硬件相同的二进制文件，可大大缩短产品研发周期，提高软件调试效率。
结语
新一代全数字仿真平台SkyEye可以降低工程师之间的沟通成本，还能缩短研发周期，保证代码质量的安全可靠，出了支持众多高效功能外，还支持可视化的硬件建模，相信在未来的版本中，还会增加更多可以提升性能的功能。
本文标题：面向航空航天工业领域的基于模型的仿真验证工具SkyEye
文本链接：http://www.digiproto.com/
