MathWorks日前宣布TriVector Services通过采用基于模型的设计，将美国航天总署（NASA）Ares I火箭通信总线设计的验证时间缩短了一年多。TriVector使用MathWorks产品建立系统模型，以用作整个开发过程中的可执行规范。该模型用于在硬件开发之前分析时序性能和验证系统要求，从而将时序分析的总体任务时长减少60%。

TriVector工程师们使用Simulink、Stateflow和SimEvents来开发Ares I内部通信系统的系统级模型。仿真这些系统使工程师们能够追踪每个数据包从来源到目的地的过程，以验证包的传送时间是否处于要求的时间范围内，从而评估出端到端的时延。

然后，该团队使用MATLAB对仿真结果进行后续处理，绘制数据包时延图，并且轻松地将结果可视化并交流结果。该团队已对Ares I一级和更高级火箭中超过12个通信总线完成了初步时序分析。

由于可以在硬件开发之前的仿真过程中对系统进行建模和测试，验证时间缩短了一年多。同时，采用基于模拟的方法更易发现问题，而如果使用基于电子表格的传统方法，这些问题要难以发现得多。