Case Study
TriVector Verifies Time Latencies for Ares I Rocket
User story TriVector Verifies Time Latencies for Ares I Rocket t he Challenge Analyze the time latency of health and status informa- tion aboard NASA’s Ares I rocket t he s olU tion Use Simulink and SimEvents to model packet-level com munications, run discrete- event simulations, and assess end-to-end latencies t he r es Ults ¦ Requirements validated one year sooner ¦ Timing specification problems uncovered ¦ Latency analysis resu