通過在硬件開發之前驗證需求，基于模型的設計可縮短 60%的時序分析時間

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

TriVector 工程師們使用 Simulink、Stateflow 和 SimEvents 來開發 Ares I 內部通訊系統的系統級模型。仿真這些系統使工程師們能夠對每個數據包在從來源到目的地的過程中對其進行追蹤，以驗證包的傳送時間是否處于要求的時間范圍內，從而評估出端到端的延遲。
然后，該團隊使用 MATLAB 對仿真結果進行后續處理，繪制數據包延遲圖，并且輕松地將結果可視化并交流結果。該團隊已對 Ares I一級和更高級火箭中超過十二個通訊總線完成了初步時序分析。

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

TriVector Services 的 Kerry Alexander 說道：“我們為 Ares I 所建的 SimEvents 模型每秒跨多個總線追蹤大約 20,000 個數據包的傳送時間，使我們能夠在硬件設計之前驗證需求并根據時序需求找出問題。基于模型的設計讓我們只需根據需求為系統建模，并能以圖形方式呈現分析結果來證明時序需求得到滿足。”

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

關于 MathWorks

The MathWorks 公司是數學計算軟件領域世界領先的開發商。它所推出的 MATLAB 是一種用于算法開發、數據分析、可視化和數值計算的程序設計環境，被稱為 科學計算的語言。Simulink 則是一種圖形環境，可用于對多域的動態和嵌入式系統進行仿真和模型設計。全球的工程師和科學家們都依賴于 The MathWorks 公司所提供的這些產品家族,來加快在汽車、航空、電子、金融服務、生物醫藥以及其他行業的發明、創新及開發的步伐。除此之外，MathWorks 產品還是基礎教學和研究的工具，為全球眾多大學和教學機構所采用。The MathWorks 公司成立于1984年，總部位于美國馬薩諸塞州的Natick市，在 全球15 個國家或地區擁有 2200 多名員工。有關其他信息，請訪問 www.mathworks.com。

MATLAB 與 Simulink 是 MathWorks, Inc. 的注冊商標。有關更多商標的列表請參閱www.mathworks.cn/trademarks。其它產品或品牌名稱可能為其各自持有者的商標或注冊商標。

關于 TriVector Services, Inc.

TriVector 在太空飛行器和彈頭的開發方面具有成熟的工程經驗。我們的專業技術通過多年航空航天工程基礎原理的實際應用以及與多個政府機構的合作發展而來。這些機構包括美國航天總署 (NASA)、美國空軍、美國國家海洋和大氣管理局 (NOAA) 和美國國防部高等研究計劃局 (DARPA)。 Trivector 在航天系統開發方面的專業技術包括國際空間站 2 號和 3 號節點艙、Ares I 載人發射器、航天飛機外燃料箱、固體燃料火箭推進器，以及 X-37 進場與降落測試載具。 有關其他信息，請訪問  http://www.trivector.us/cms