TriVector Services使用MathWorks产品验证Ares Ⅰ火箭的时延

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