国产系统仿真平台软件SkyEye
目前已有客户
国产系统仿真平台软件SkyEye是一种全系统虚拟机器，它能高效地在目标硬件上运行原生的产品代码。SkyEye是由国内清华大学康硕教授为核心团队经过4年时间开发而成，后于派进行商业化开发。
国产系统仿真平台软件已有客户：
– 十二大**集团的八家:中核，中航工业，航天科技，航天 科工，中国电子，中国电科，中船，商发，中核建是偏建筑工程等多家企业。是真正意义上国内**行业自主的仿真软件。
1) 全数字实时仿真SkyEye(1个**和4个软著)
-
原理和功能:仿真了主流的嵌入式硬件系统，可以运行和真实 环境一致的软件。
-
解决问题:可以在没有真实硬件的条件下进行软件开发，调试 和测试。提供了软件开发效率，缩短软件开发周期，提高软件 可靠性。
2) 代码自动生成工具L2c(2个申请中的**和1个软著)§ 原理和功能:使用了定理证明的技术来把系统模型生成正确的软件实现，保证在翻译过程中不会有错误。
§ 解决问题:保证了模型和代码实现的一致性。可以认为软件实 现是完全正确的，没有bug的(bugfree)。
-
技术顾问
– 陈渝(清华副教授)
– 王生原(清华副教授)
技术原理
– 通过数学证明的方法来把模型语言正确无误的生成可 运行的机器语言。保证了模型和代码实现的一致性。 可以认为软件实现是完全正确的，没有bug的(bugfree)。
国产系统仿真平台软件能仿真诸如Alpha、AMD64、ARM、EM64T、IA-64、MIPS（32位和64位）、MSP430、Powerpc（32位和64位）、POWER、SPARC-V8/V9、x86等多种系统，并且可以在这些仿真硬件上运行多种操作系统，包括MS-DOS、Windows、Vxworks、OSE、Solaris、FreeBSD、Linux、QNX和RTEMS等。用SkyEye进行仿真的目的经常是使用SkyEye虚拟一些特定类型的嵌入式硬件平台来开发软件。
SkyEye 5.0，发布于20016年冬，包含下列新技术：
设备建模语言（DML）
设备建模语言编译器（DMLC）
DML语言的加入提供了一个更便捷的方式去开发和配置一些像ASICs和FPGAs这样的非标准器件。在现代系统中DML代码极大的增强了管理成百乃至上千个寄存器的自动化程度。DMLC是DML语言的编译器，它把DML语言转化成高效的设备模型，使得Simics在仿真一个完整的电子系统时的速度可以达到每秒运行数十万指令以上。DML使程序开发员可以提早进行程序开发，从而节约时间并且削减了产品的开发周期。
国产系统仿真平台软件纳入了Eclipse框架。对于用Eclipse作为他们的集成开发环境（IDE）的客户来说，SkyEye 5.0能提供全系统仿真，包括回溯调试和Hindsight执行功能。
国产系统仿真平台软件简单的说就是针对这种要求高**可靠的设备，来帮他们实现软件的正确可靠，没有bug。相对来说，船的可靠性要求不是太高，飞机，导弹，卫星上天的东西要求可靠性会高一点。所以我们的客户还是航空为主。船出问题一般不会死人。
更多国产系统仿真平台软件信息请直接致电埃登威上海021-55581219，埃登威其他产品：:微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪
