隨著科技的發展，系統工程的設計體量逐漸龐大起來，尤其是對于軌道交通、航空航天、核電站等安全關鍵領域中，如何在復雜度逐年變大的同時保證其安全性和可靠性，是近年來各大公司需要研究的課題。最近比較火熱的基于模型的系統工程（MBSE）技術則給大家提供了一種全新的技術方向，分享一種全數字實時仿真的安全關鍵領域解決方案，提供一種新的解決思路。基于模型的全數字研發解決方案MBSE工具軟件SkyEye是一款先進的仿真與驗證平臺，提供高效的運算速度，提高研發效率和安全性。

SkyEye 介紹

SkyEye，中文全稱天目全數字實時仿真軟件，應用軟件仿真技術，逼真地模擬出被測軟件的物理環境。用圖形化方式構建虛擬目標系統，有效降低了硬件工程師和軟件工程師之間的溝通成本，軟件工程師可以不依賴硬件工程師，根據需求對虛擬硬件的配置進行改動，并可以在虛擬硬件模型上運行與真實硬件相同的二進制文件，可以大大縮短產品研發周期，提高軟件測試效率。完全自主可控的支持數十種國產芯片仿真的全數字實時仿真平臺SkyEye

SkyEye功能

更靈活快速的虛擬目標系統搭建–通過可視化圖形界面拖拽虛擬硬件組件快速搭建

仿真狀態可控性、確定性和重復性–在虛擬系統上運行的二進制文件與實際目標上運行的二進制文件相同，仿真過程可以通過運行、暫停控制、可以隨時重復執行，每次運行結果是確定的，可以使用軟件復現問題

提供GDB源碼調試和匯編級調試工具，使開發者更高效的分析和定位問題

提供代碼覆蓋率和生成報告功能，進行源碼和目標碼的覆蓋率分析

提供故障注入功能，可以進行內存和IO的故障注入進行測試

提供協同仿真工具，支持與其他異構模型協同仿真

提供外設建模工具和二次開發API接口，方便用戶進行二次開發

提供Python API接口，可以進行自動化測試腳本構建所需測試環境

支持Docker容器化部署，方便在云平臺上部署測試

界面提供自動化測試功能，可以選擇所需測試用例自動運行并給出測試結果

SkyEye支持的PowerPC型號

處理器核心片上系統

E300	MPC8378、MPC5121
E500	MPC8560、P1010、T2080、P2020
E600	MPC755、MPC8641D
E6500	T4240
G2	MPC8245

---

本文標題：自主可控的全數字實時仿真軟件SkyEye支持PowerPC指令級仿真

本文鏈接：http://www.digiproto.com/archives/3054

總結

以上是生活随笔為你收集整理的自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。