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

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

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

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