TRIVECTOR SERVICES 使用 MATHWORKS 產(chǎn)品驗(yàn)證 ARES I 火箭的時(shí)間延遲

MathWorks 日前宣布 TriVector Services 通過采用基于模型的設(shè)計(jì)，將美國航天總署 (NASA) Ares I 火箭通訊總線設(shè)計(jì)的驗(yàn)證時(shí)間縮短了一年多。TriVector 使用 MathWorks 產(chǎn)品建立系統(tǒng)模型，以用作整個(gè)開發(fā)過程中的可執(zhí)行規(guī)范。該模型用于在硬件開發(fā)之前分析時(shí)序性能和驗(yàn)證系統(tǒng)要求，從而將時(shí)序分析的總體任務(wù)時(shí)長減少 60%。

TriVector 工程師們使用 Simulink、Stateflow 和 SimEvents 來開發(fā) Ares I 內(nèi)部通訊系統(tǒng)的系統(tǒng)級模型。仿真這些系統(tǒng)使工程師們能夠?qū)γ總€(gè)數(shù)據(jù)包在從來源到目的地的過程中對其進(jìn)行追蹤，以驗(yàn)證包的傳送時(shí)間是否處于要求的時(shí)間范圍內(nèi)，從而評估出端到端的延遲。

然后，該團(tuán)隊(duì)使用 MATLAB 對仿真結(jié)果進(jìn)行后續(xù)處理，繪制數(shù)據(jù)包延遲圖，并且輕松地將結(jié)果可視化并交流結(jié)果。該團(tuán)隊(duì)已對 Ares I一級和更高級火箭中超過十二個(gè)通訊總線完成了初步時(shí)序分析。

由于可以在硬件開發(fā)之前的仿真過程中對系統(tǒng)進(jìn)行建模和測試，驗(yàn)證時(shí)間縮短了一年多。同時(shí)，采用基于模擬的方法更易發(fā)現(xiàn)問題，而如果使用基于電子表格的傳統(tǒng)方法，這些問題要難以發(fā)現(xiàn)得多。

TriVector Services 的 Kerry Alexander 說道：“我們?yōu)?Ares I 所建的 SimEvents 模型每秒跨多個(gè)總線追蹤大約 20,000 個(gè)數(shù)據(jù)包的傳送時(shí)間，使我們能夠在硬件設(shè)計(jì)之前驗(yàn)證需求并根據(jù)時(shí)序需求找出問題?；谀Ｐ偷脑O(shè)計(jì)讓我們只需根據(jù)需求為系統(tǒng)建模，并能以圖形方式呈現(xiàn)分析結(jié)果來證明時(shí)序需求得到滿足。”

MathWorks 負(fù)責(zé)航空與國防行業(yè)市場經(jīng)理 Jon Friedman 說：“在航空工程師們開發(fā)、驗(yàn)證和確認(rèn)高完整性嵌入式系統(tǒng)的過程中，基于模型的設(shè)計(jì)始終發(fā)揮著關(guān)鍵作用。TriVector 能夠使用基于模型的設(shè)計(jì)來分析該架構(gòu)的航空電子系統(tǒng)之間的通訊，這種能力對于成功驗(yàn)證 Ares I 通訊系統(tǒng)性能至關(guān)重要。”