國產系統仿真平臺軟件SkyEye
目前已有客戶
國產系統仿真平臺軟件SkyEye是一種全系統虛擬機器，它能高效地在目標硬件上運行原生的產品代碼。SkyEye是由國內清華大學康碩教授為核心團隊經過4年時間開發而成，后于派進行商業化開發。
國產系統仿真平臺軟件已有客戶：
– 十二大**集團的八家:中核，中航工業，航天科技，航天 科工，中國電子，中國電科，中船，商發，中核建是偏建筑工程等多家企業。是真正意義上國內**行業自主的仿真軟件。
1) 全數字實時仿真SkyEye(1個**和4個軟著)
-
原理和功能:仿真了主流的嵌入式硬件系統，可以運行和真實 環境一致的軟件。
-
解決問題:可以在沒有真實硬件的條件下進行軟件開發，調試 和測試。提供了軟件開發效率，縮短軟件開發周期，提高軟件 可靠性。
2) 代碼自動生成工具L2c(2個申請中的**和1個軟著)§ 原理和功能:使用了定理證明的技術來把系統模型生成正確的軟件實現，保證在翻譯過程中不會有錯誤。
§ 解決問題:保證了模型和代碼實現的一致性?？梢哉J為軟件實 現是完全正確的，沒有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白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀,便攜式露點儀,便攜式微量氧分析儀
