MathWorks日前宣布TriVector Services通过采用基于模型的设计，将美国航天总署(NASA)Ares I火箭通讯总线设计的验证时间缩短了一年多。TriVector使用MathWorks产品建立系统模型，以用作整个开发过程中的可执行规范。该模型用于在硬件开发之前分析时序性能和验证系统 ...