TriVector验证战神I火箭的时间延迟

战神I的第一级和上一级都有冗余总线，将飞行计算机与远程终端(RTs)连接起来，后者收集航空电子传感器数据。NASA的顶级要求规定，一旦RT获得数据，数据必须在指定的时间内交付给猎户座或地面系统;较低层次的需求指定元素到元素数据交付的时间。

为了分析时间和验证需求，TriVector工程师需要对战神I通信系统架构建模，并模拟组件之间的事务。模型必须包括每个RT、总线和它们的互连。该团队必须在微秒级运行模拟，然后对结果进行后处理以测量延迟。最后，他们需要以图形化的方式表示分析结果，以证明可以满足时间要求。

因为硬件还没有开发出来，工程师不得不完全根据需求对系统进行建模。

TriVector工程师使用Simulink和Si金宝appmEvents来模拟整个战神I的包级通信，并分析健康和状态信息的端到端延迟。

他们根据来自NASA的数据I/O配置文件建立了一个上层总线和RTs的模型，其中包括一个数据时间表，定义了飞行计算机在亚秒级的时间片中何时向RTs请求数据。

他们使用最初的SimEvents模型(其中包括一个RT、一个飞行计算机、一个总线和系统时钟)来模拟在指定时间片上的数据传递。然后他们添加RTs和其他组件，直到他们对上层低速率数据总线建模。

在SimEvents中，工程师通过比较报文从RT发出的时间和报文到达目的地的时间来计算每个报文发送的延迟时间。

利用statflow，工程师们对上一级飞行终止系统的信号逻辑进行了建模，该系统用于在紧急情况下摧毁火箭。

TriVector与MathWorks咨询服务合作，实现大规模建模的最佳实践。他们基于SimEvents块构建了一个参数化、可重用的组件库，使模型更容易修改并缩短了模拟时间。

该团队使用Simulink Coder进一步加速了模拟金宝app™创建独立的可执行文件。

团队使用MATLAB^®对仿真结果进行后处理，并绘制包延迟图。

TriVector服务团队已经完成了战神I的初始时间分析，包括一级和上一级总线。该团队现在正在使用Simulink Requ金宝appirements™来跟踪在Microsoft中捕获的需求^®词^®到模型中。