TRIVECTOR SERVICES使用MATHWORKS产品验证ARES Ⅰ火箭的时间延迟

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