我們一直致力于提供給航空航天制造商一套全數字的優化方案——面向航空航天工業領域的基于模型的仿真驗證工具SkyEye。我們的仿真驗證技術可用于開發高復雜度和高保真度的模型，對發動機，飛機的飛控進行預測性的虛擬驗證和測試。我們能夠準確地進行全數字仿真。經過不斷的迭代，我們可以很好的將新方法與舊方法結合，創建一套全新的流程，提供比以往更好的服務。

什么是全數字仿真平臺

面向航空航天工業領域的基于模型的仿真驗證工具SkyEye是能夠滿足模擬或仿真外部硬件行為進行軟件運行和測試需求的工具。該工具運用國際流行的仿真、測試腳本語言來編寫外部硬件邏輯行為所產生外部激勵事件以構成嵌入式軟件的外部信號激勵或數據輸入。

面向航空航天工業領域的基于模型的仿真驗證工具SkyEye[/caption]

從而滿足軟件在全數字仿真運行環境下無須人的干預而閉環運行的要求。
基于嵌入式應用的特點，嵌入式軟件全數字仿真測試支撐平臺SkyEye要為嵌入式系統提供全數字仿真測試環境或測試平臺，實現對嵌入式系統進行實時、閉環的系統測試。具體地說面向航空航天工業領域的基于模型的仿真驗證工具SkyEye要為用高級語言編寫的嵌入式軟件測試提供了有效的、統一的協作平臺。在該平臺上完成被測軟件的分析、運行和測試，最重要的是要實現嵌入式系統外部事件的全數字仿真平臺，使得嵌入式軟件就像在真實硬件環境下連續不中斷地運行。

SkyEye的優勢

SkyEye可與第三方語言或者模型集成，目前已實現SkyEye與SystemC集成進行時序仿真，以及SkyEye與MATLAB或者Simulink集成進行多領域協同仿真。

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

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

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

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

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

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

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

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

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

Docker容器化支持。

界面提供自動化測試功能，可以選擇所需測試用例自動運行并給出測試結果與其他異構模型協同仿真。

面向航空航天工業領域的基于模型的仿真驗證工具SkyEye[/caption]

基于可視化圖形的硬件建模

SkyEye是一款基于可視化圖形的硬件建模工具，可以有效降低硬件工程師和軟件工程師之間的溝通成本。軟件工程師可以不依賴于硬件工程師，而根據需要對硬件的配置進行改動。通過這種可視化圖形的硬件建模方式，軟件人員能夠快速搭建硬件模型，并在硬件模型上運行和調試和真實硬件相同的二進制文件，可大大縮短產品研發周期，提高軟件調試效率。

結語

新一代全數字仿真平臺SkyEye可以降低工程師之間的溝通成本，還能縮短研發周期，保證代碼質量的安全可靠，出了支持眾多高效功能外，還支持可視化的硬件建模，相信在未來的版本中，還會增加更多可以提升性能的功能。

---

本文標題：面向航空航天工業領域的基于模型的仿真驗證工具SkyEye

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

總結

以上是生活随笔為你收集整理的面向航空航天工业领域的基于模型的仿真验证工具SkyEye的全部內容，希望文章能夠幫你解決所遇到的問題。

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