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

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

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

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

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

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

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

使用SimEvents，工程师通过比较数据包从RT发出的时间与数据包到达目的地的时间来计算每个数据包的延迟。

使用Stateflow，工程师们模拟了上层飞行终止系统的信号逻辑，该系统用于在紧急情况下摧毁火箭。

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

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

该团队使用MATLAB^®对模拟结果进行后处理并创建数据包延迟图。

TriVector服务团队已经完成了战神1号的初始时间分析，包括第一级和上一级总线。团队现在使用需求工具箱™来跟踪在Microsoft中捕获的需求^®词^®对模型。