完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE
基于全數(shù)字實時仿真平臺 SkyEye
產(chǎn)品性質(zhì) :全數(shù)字實時仿真平臺(軟件測試和仿真工具)
對標產(chǎn)品 :美國風河公司的Simics,可替代SCADE
SkyEye,中文全稱天目全數(shù)字實時仿真軟件,是基于可視化建模的硬件行為級仿真平臺,支持用戶通過拖拽的方式對硬件進行行為級別的仿真和建模。
SkyEye目前支持主流的嵌入式硬件平臺,可以運行主流的操作系統(tǒng),此外還能適配國內(nèi)自主研發(fā)的操作系統(tǒng)天脈。通過利用基于LLVM的動態(tài)二進制翻譯技術,使虛擬處理器在典型的桌面計算機上運行速度可以達到2000MIPS以上。
SkyEye 的功能
(1)支持ARM、TI DSP、PowerPC、X86、SPARC,龍芯,飛騰等多種處理器體系架構(gòu)。
(2)實現(xiàn)CPU、總線、外設等硬件模塊的仿真。
(3)通過圖形化拖拽快速搭建目標系統(tǒng)。
(4)目標系統(tǒng)搭建完成后,可在界面工具欄進行運行控制。
(5)可直接運行原始的二進制代碼——引導程序、BIOS、操作系統(tǒng)、BSP、應用程序。
(6)提供真實的全系統(tǒng)現(xiàn)場保存和恢復,暫停,查看狀態(tài),逆向運行等功能。
(7)提供硬件級故障注入。
(8)提供豐富的系統(tǒng)級調(diào)試工具,包括運行狀態(tài)控制、CPU寄存器查看、設備寄存器查看、仿真內(nèi)存查看等系統(tǒng)級功能調(diào)試。
(9)提供GDB Server模塊,并支持多種架構(gòu)處理器的GDB調(diào)試功能。
(10)支持仿真硬件設備模型讀取激勵數(shù)據(jù)文件,達到閉環(huán)測試需求。
SkyEye 的性能
SkyEye采用國產(chǎn)自主可控的特殊算法和LLVM計算進行翻譯加速,可以達到上千MIPS,慢速CPU(sparc)的仿真速度可以加速到真實硬件的20倍。通過利用基于LLVM的動態(tài)二進制翻譯技術,使虛擬處理器在典型的桌面計算機上運行速度可以達到2000MIPS以上。
SkyEye 覆蓋率統(tǒng)計
代碼覆蓋是軟件測試中的一種度量,在做單元測試時,代碼覆蓋率常常被拿來作為衡量測試好壞的指標,甚至,用代碼覆蓋率來考核測試任務完成情況,比如,代碼覆蓋率必須達到80%或 90%。
國產(chǎn)自主可控的SkyEye支持目標碼的覆蓋率統(tǒng)計,并可以導出html或excel格式的報告。
本文標題:完全自主可控的工業(yè)安全關鍵領域仿真測試軟件SkyEye
文本鏈接:http://www.digiproto.com/
總結(jié)
以上是生活随笔為你收集整理的完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: java foward_java 中se
- 下一篇: android 按钮控制线程,关于手机安