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

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

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

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

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

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

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