隨著科技的發(fā)展，系統(tǒng)工程的設(shè)計(jì)體量逐漸龐大起來，尤其是對于軌道交通、航空航天、核電站等安全關(guān)鍵領(lǐng)域中，如何在復(fù)雜度逐年變大的同時保證其安全性和可靠性，是近年來各大公司需要研究的課題。最近比較火熱的基于模型的系統(tǒng)工程（MBSE）技術(shù)則給大家提供了一種全新的技術(shù)方向，分享一種全數(shù)字實(shí)時仿真的安全關(guān)鍵領(lǐng)域解決方案，提供一種新的解決思路。

?

什么是MBSE？

MBSE在2007年的 INCOSE （系統(tǒng)工程國際委員會）國際研討會上首次被提出。MBSE是一種正規(guī)化的建模應(yīng)用，它為系統(tǒng)工程過程各階段的活動提供支撐：需求分析、功能分析、設(shè)計(jì)綜合和驗(yàn)證和確認(rèn)。

MBSE對上述活動的支撐貫穿從概念階段開始，到設(shè)計(jì)、開發(fā)直至交付使用維護(hù)的整個系統(tǒng)生命周期。MBSE的核心是模型，模型是對現(xiàn)實(shí)的抽象，旨在回答有關(guān)現(xiàn)實(shí)世界中的具體問題，是模擬或表達(dá)一個真實(shí)世界的過程或結(jié)構(gòu)。

通俗的說，就是將物理世界數(shù)字化，把系統(tǒng)工程中所涉及到的復(fù)雜結(jié)構(gòu)用數(shù)字模型的方式組件起來，這樣做的好處是從需求設(shè)計(jì)階段，我們就已經(jīng)在數(shù)字世界中擁有了一個可以虛擬運(yùn)行的系統(tǒng)，MBSE作為一種全數(shù)字實(shí)時仿真的安全關(guān)鍵領(lǐng)域解決方案，可以在保證安全性和可靠性的同時，提升開發(fā)效率，幫助企業(yè)完成數(shù)字化轉(zhuǎn)型。

新一代全數(shù)字仿真平臺SkyEye

一種全數(shù)字實(shí)時仿真的安全關(guān)鍵領(lǐng)域解決方案

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

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

SkyEye的優(yōu)勢

一種全數(shù)字實(shí)時仿真的安全關(guān)鍵領(lǐng)域解決方案

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

SkyEye的十大優(yōu)勢：

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

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

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

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

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

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

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

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

Docker容器化支持。

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

出處：http://www.digiproto.com/archives/2126

?

總結(jié)

以上是生活随笔為你收集整理的一种全数字实时仿真的安全关键领域解决方案的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

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