傳統(tǒng)的系統(tǒng)開(kāi)發(fā)過(guò)程，都是由工程師根據(jù)項(xiàng)目需求書來(lái)編寫代碼完成系統(tǒng)的開(kāi)發(fā)，但隨著功能的擴(kuò)充和版本的迭代，系統(tǒng)中龐大的代碼量很難確保正確無(wú)誤，給后期測(cè)試和仿真帶來(lái)了很大的壓力和成本，在航空航天、衛(wèi)星系統(tǒng)、核電等安全關(guān)鍵領(lǐng)域影響更為明顯。現(xiàn)在，代碼自動(dòng)生成技術(shù)的發(fā)展給行業(yè)發(fā)展帶來(lái)新的可能性，在需求設(shè)計(jì)階段，就由模型來(lái)完成，借助形式化驗(yàn)證技術(shù)和代碼自動(dòng)生成技術(shù)來(lái)完成項(xiàng)目開(kāi)發(fā)，在保證安全性的同時(shí)，也能極大降低開(kāi)發(fā)成本。目前由迪捷軟件開(kāi)發(fā)的國(guó)產(chǎn)自主可控的系統(tǒng)仿真平臺(tái)SkyEye已經(jīng)在眾多安全關(guān)鍵領(lǐng)域中應(yīng)用，SkyEye可替代國(guó)外Matlab/Sumlink等同類軟件。

國(guó)產(chǎn)自主可控的代碼自動(dòng)生成工具SkyEye

全數(shù)字仿真平臺(tái)SkyEye是能夠滿足模擬或仿真外部硬件行為進(jìn)行軟件運(yùn)行和測(cè)試需求的工具。該工具運(yùn)用國(guó)際流行的仿真、測(cè)試腳本語(yǔ)言來(lái)編寫外部硬件邏輯行為所產(chǎn)生外部激勵(lì)事件以構(gòu)成嵌入式軟件的外部信號(hào)激勵(lì)或數(shù)據(jù)輸入，從而滿足軟件在全數(shù)字仿真運(yùn)行環(huán)境下無(wú)須人的干預(yù)而閉環(huán)運(yùn)行的要求。

作為基于嵌入式應(yīng)用的特點(diǎn)，嵌入式軟件全數(shù)字仿真測(cè)試支撐平臺(tái)SkyEye要為嵌入式系統(tǒng)提供全數(shù)字仿真測(cè)試環(huán)境或測(cè)試平臺(tái)，實(shí)現(xiàn)對(duì)嵌入式系統(tǒng)進(jìn)行實(shí)時(shí)、閉環(huán)的系統(tǒng)測(cè)試。在該平臺(tái)上完成被測(cè)軟件的分析、運(yùn)行和測(cè)試，最重要的是要實(shí)現(xiàn)嵌入式系統(tǒng)外部事件的全數(shù)字仿真平臺(tái)，使得嵌入式軟件就像在真實(shí)硬件環(huán)境下連續(xù)不中斷地運(yùn)行。

SkyEye的優(yōu)勢(shì)

作為一種全數(shù)字實(shí)時(shí)仿真的安全關(guān)鍵領(lǐng)域解決方案，SkyEye可與第三方語(yǔ)言或者模型集成，目前已實(shí)現(xiàn)SkyEye與SystemC集成進(jìn)行時(shí)序仿真，以及SkyEye與工業(yè)軟件MATLAB或者Simulink集成進(jìn)行多領(lǐng)域協(xié)同仿真。

SkyEye的十大優(yōu)勢(shì)

更靈活快速的虛擬目標(biāo)系統(tǒng)搭建–通過(guò)可視化圖形界面拖拽虛擬硬件組件快速搭建。

仿真狀態(tài)可控性、確定性和重復(fù)性–在虛擬系統(tǒng)上運(yùn)行的二進(jìn)制文件與實(shí)際目標(biāo)上運(yùn)行的二進(jìn)制文件相同，仿真過(guò)程可以通過(guò)運(yùn)行、暫停控制、可以隨時(shí)重復(fù)執(zhí)行，每次運(yùn)行結(jié)果是確定的，可以使用軟件復(fù)現(xiàn)問(wèn)題。

提供GDB源碼調(diào)試和匯編級(jí)調(diào)試工具，使開(kāi)發(fā)者更高效的分析和定位問(wèn)題。

提供代碼覆蓋率和生成報(bào)告功能，進(jìn)行源碼和目標(biāo)碼的覆蓋率分析。

提供故障注入功能，可以進(jìn)行內(nèi)存和IO的故障注入進(jìn)行測(cè)試。

提供協(xié)同仿真工具，支持與其他異構(gòu)模型協(xié)同仿真。

提供外設(shè)建模工具和二次開(kāi)發(fā)API接口，方便用戶進(jìn)行二次開(kāi)發(fā)。

提供Python API接口，可以進(jìn)行自動(dòng)化測(cè)試腳本構(gòu)建所需測(cè)試環(huán)境。

Docker容器化支持。

界面提供自動(dòng)化測(cè)試功能，可以選擇所需測(cè)試用例自動(dòng)運(yùn)行并給出測(cè)試結(jié)果與其他異構(gòu)模型協(xié)同仿真。

---

本文標(biāo)題：國(guó)產(chǎn)自主可控的MBSE建模與仿真平臺(tái)SkyEye

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

總結(jié)

以上是生活随笔為你收集整理的系统仿真平台SkyEye可替代国外Matlab/Sumlink等同类软件的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。