无人机无人车商飞国产自主平台仿真软件SkyEye应用介绍
随着中美贸易战越打越烈，我们很多产品尤其是**（导弹、卫星等）、航空航天、核电、高铁、通讯、无人机等使用异构多处理器和多核处理器来运行多个软件栈和操作系统，有时这些系统还会作为大型系统的一部分，通过总线、背板、局域网与因特网进行互联。由于系统日益复杂且对系统间互联的要求不断提高，传统的开发工具和流程在面对这些系统的调试、集成和测试时显得力不从心。在这种情况下，清华大学康教授为**CTO（嵌入式虚拟机SkyEye和可信编译器L2C的开 发者）的技术团队打造了仿真测试工具SkyEye为开发人解决了多项测试难题。无人机无人车商飞国产自主平台仿真软件SkyEye应用介绍
目前SkyEye已经用在几十家国内大型**企业得到应用，如：十二大**集团的八家:中核，中航工业，航天科技，航天 科工，中国电子，中国电科，中船，商发，中核股份等。
SkyEye是一套完整的全系统模拟器，提供物理硬件无法实现的**开发功能，从而加快软件开发进程。通过使用SkyEye，软件开发团队拥有了许多独特的方法，例如：让整个系统停止，检查所有系统元件，**、可重复地反向执行以及故障注入等。埃登威其他产品：:微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪
主要产品
1) 全数字实时仿真SkyEye(1个**和4个软著)国产自主平台仿真软件SkyEye应用介绍
-
原理和功能:仿真了主流的嵌入式硬件系统，可以运行和真实 环境一致的软件。
-
解决问题:可以在没有真实硬件的条件下进行软件开发，调试 和测试。提供了软件开发效率，缩短软件开发周期，提高软件 可靠性。
2) 代码自动生成工具L2c(2个申请中的**和1个软著)§ 原理和功能:使用了定理证明的技术来把系统模型生成正确的软件实现，保证在翻译过程中不会有错误。解决问题:保证了模型和代码实现的一致性。可以认为软件实 现是完全正确的，没有bug的(bugfree)。无人机无人车商飞国产自主平台仿真软件SkyEye应用介绍
随着竞争压力的加大，越来越多的芯片及系统厂商为了加快产品上市速度，在芯片或硬件产品制造之前就先行开展软件开发的工作。因为芯片制造完成后发现问题，再要进行修改则耗时耗力，而通过模拟就可以解决该问题。SkyEye可以帮助开发团队能够改善开发流程，提高效率，提高代码质量，缩短产品上市时间，并且以从前无法想象的方式加速开发进程。”无人机无人车商飞国产自主平台仿真软件SkyEye应用介绍
SkyEye可在任何目标硬件、操作系统和开发工具构成的平台上实现真正的全系统仿真SkyEye支持全系统模拟（包括基于Linux及Windows等操作系统，以及ARM、Intel、MIPS和Power Architecture等多种硬件架构），可模拟任何规模和复杂度的电子环境。目前，采用SkyEye的客户已涉及国防、航空、医疗、核能、数学计算、通信等多个领域。
更多无人机无人车商飞国产自主平台仿真软件SkyEye应用介绍信息请直接致电埃登威上海021-55581219
