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

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

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

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

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

TriVectorServices的KerryAlexander說道：“我們?yōu)锳resI所建的SimEvents模型每秒跨多個總線追蹤大約20,000個數(shù)據(jù)包的傳送時間，使我們能夠在硬件設計之前驗證需求并根據(jù)時序需求找出問題?；谀Ｐ偷脑O計讓我們只需根據(jù)需求為系統(tǒng)建模，并能以圖形方式呈現(xiàn)分析結果來證明時序需求得到滿足?！?BR>
MathWorks負責航空與國防行業(yè)市場經(jīng)理JonFriedman說：“在航空工程師們開發(fā)、驗證和確認高完整性嵌入式系統(tǒng)的過程中，基于模型的設計始終發(fā)揮著關鍵作用。TriVector能夠使用基于模型的設計來分析該架構的航空電子系統(tǒng)之間的通訊，這種能力對于成功驗證AresI通訊系統(tǒng)性能至關重要。”