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