NA-MAAB - Нет рекомендаций
JMAAB - a
Все
Переменные, которые используются в условии перехода состояния, не должны использовать действие состояния du для выполнения обновления.
Неприменимо

Действие состояния du используется для обновления.

Субидентификатор a:
Порядок выполнения условия перехода и реализация during может быть трудно понять, что увеличивает риск ошибок.
Проверка помощника по модели: Проверка обновлений переменных, используемых в условиях перехода состояния (Simulink Check)
R2020a
Руководство JMAAB jc_0741, которое доступно в Руководстве по моделированию алгоритмов управления с использованием MATLAB, Simulink и Stateflow на веб-сайте MathWorks ®.
Переходы (поток состояний)
Штаты (Stateflow)
Выполнение диаграммы Stateflow (Stateflow)