Этот пример показывает, как смоделировать систему прекращения запуска. В космическое пространство запускают летательный аппарат. Если во время запуска происходит аномалия или отказ, операция прекращается, и самолет отправляется обратно на Землю.
График LaunchAbortController используется, чтобы управлять логикой режима и запускать поведение прерывания. График состояния состоит из двух параллельных состояний: ModeLogic и Abort. В пределах ModeLogic В состоянии самолет может находиться в одном из четырех состояний:
RTLS: Вернуться на сайт запуска
DRL: Низкая посадка
AOA: Прекращайте один раз вокруг
ATO: Прерывание на орбиту
Самолёт переходит от одного режима к следующему исходя из высоты самолёта (упрощение).
Второе параллельное состояние управляет поведением самолета, если обнаружена аномалия. Если происходит аномалия, система переходит к abortLogic подсостояние и одно из таких действий может происходить в зависимости от текущего состояния системы:
Слейте топливо
Отпустите баки
Отпустите этап
Несмотря на то, что Stateflow ® используется для планирования, когда эти события происходят, подсистемы топлива, бака и ступени моделируются в Simulink ®. Поскольку это упрощенный пример, динамика подсистем здесь не моделируется. Однако визуализацию слива топлива, релиза бака и релиза ступени можно увидеть при помощи 3D Animation™ Simulink.
Нельсон, Д. К., Брэдфорд, Дж. Э., Олдс, Дж. Р., «Abortability Metrics: Quantificing Intact Abort Mode Availability for Reusable Launch Транспортных средств», AIAA-2006-7293, Пространство 2006, Сан-Хосе, Калифорния, сентябрь 19-21, 2006.