國產(chǎn)系統(tǒng)仿真平臺軟件SkyEye
目前已有客戶
國產(chǎn)系統(tǒng)仿真平臺軟件SkyEye是一種全系統(tǒng)虛擬機器，它能高效地在目標硬件上運行原生的產(chǎn)品代碼。SkyEye是由國內(nèi)清華大學康碩教授為核心團隊經(jīng)過4年時間開發(fā)而成，后于派進行商業(yè)化開發(fā)。
國產(chǎn)系統(tǒng)仿真平臺軟件已有客戶：
– 十二大**集團的八家:中核，中航工業(yè)，航天科技，航天 科工，中國電子，中國電科，中船，商發(fā)，中核建是偏建筑工程等多家企業(yè)。是真正意義上國內(nèi)**行業(yè)自主的仿真軟件。
1) 全數(shù)字實時仿真SkyEye(1個**和4個軟著)
-
原理和功能:仿真了主流的嵌入式硬件系統(tǒng)，可以運行和真實 環(huán)境一致的軟件。
-
解決問題:可以在沒有真實硬件的條件下進行軟件開發(fā)，調(diào)試 和測試。提供了軟件開發(fā)效率，縮短軟件開發(fā)周期，提高軟件 可靠性。
2) 代碼自動生成工具L2c(2個申請中的**和1個軟著)§ 原理和功能:使用了定理證明的技術(shù)來把系統(tǒng)模型生成正確的軟件實現(xiàn)，保證在翻譯過程中不會有錯誤。
§ 解決問題:保證了模型和代碼實現(xiàn)的一致性?？梢哉J為軟件實 現(xiàn)是正確的，沒有bug的(bugfree)。
-
技術(shù)顧問
– 陳渝(清華副教授)
– 王生原(清華副教授)
技術(shù)原理
– 通過數(shù)學證明的方法來把模型語言正確無誤的生成可 運行的機器語言。保證了模型和代碼實現(xiàn)的一致性。 可以認為軟件實現(xiàn)是正確的，沒有bug的(bugfree)。
國產(chǎn)系統(tǒng)仿真平臺軟件能仿真諸如Alpha、AMD64、ARM、EM64T、IA-64、MIPS（32位和64位）、MSP430、Powerpc（32位和64位）、POWER、SPARC-V8/V9、x86等多種系統(tǒng)，并且可以在這些仿真硬件上運行多種操作系統(tǒng)，包括MS-DOS、Windows、Vxworks、OSE、Solaris、FreeBSD、Linux、QNX和RTEMS等。用SkyEye進行仿真的目的經(jīng)常是使用SkyEye虛擬一些特定類型的嵌入式硬件平臺來開發(fā)軟件。
SkyEye 5.0，發(fā)布于20016年冬，包含下列新技術(shù)：
設備建模語言（DML）
設備建模語言編譯器（DMLC）
DML語言的加入提供了一個更便捷的方式去開發(fā)和配置一些像ASICs和FPGAs這樣的非標準器件。在現(xiàn)代系統(tǒng)中DML代碼極大的增強了管理成百乃至上千個寄存器的自動化程度。DMLC是DML語言的編譯器，它把DML語言轉(zhuǎn)化成高效的設備模型，使得Simics在仿真一個完整的電子系統(tǒng)時的速度可以達到每秒運行數(shù)十萬指令以上。DML使程序開發(fā)員可以提早進行程序開發(fā)，從而節(jié)約時間并且削減了產(chǎn)品的開發(fā)周期。
國產(chǎn)系統(tǒng)仿真平臺軟件納入了Eclipse框架。對于用Eclipse作為他們的集成開發(fā)環(huán)境（IDE）的客戶來說，SkyEye 5.0能提供全系統(tǒng)仿真，包括回溯調(diào)試和Hindsight執(zhí)行功能。
國產(chǎn)系統(tǒng)仿真平臺軟件簡單的說就是針對這種要求高**可靠的設備，來幫他們實現(xiàn)軟件的正確可靠，沒有bug。相對來說，船的可靠性要求不是太高，飛機，，衛(wèi)星上天的東西要求可靠性會高一點。所以我們的客戶還是航空為主。船出問題一般不會死人。
更多國產(chǎn)系統(tǒng)仿真平臺軟件信息請直接致電埃登威上海，埃登威其他產(chǎn)品：:微量氧分析儀,藥品殘氧儀,露點儀,熱導氣體分析儀,GE流量計,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃氣熱值儀,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀,便攜式露點儀,便攜式微量氧分析儀
