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