Таблица переходов состояний является альтернативным способом выражения последовательной модальной логики. Вместо графических состояний и переходов в Stateflow® график, используйте таблицы переходов состояний, чтобы выразить модальную логику в табличном формате. Таблицы переходов состояний поддерживаются только как блоки в Simulink® модель. Для получения дополнительной информации смотрите Таблицы переходов состояний в Stateflow.
Диагностические проверки можно запустить в таблице переходов состояний. В редакторе Stateflow, на вкладке Debug, выберите Update Model > Update Table.
Инструмент диагностики статически анализирует таблицу, чтобы найти такие ошибки, как:
Состояния без входящих переходов
Переход камер с условиями или действиями, но без назначения
Текст действия в камере условия
Состояния, которые недоступны из перехода по умолчанию
Строка перехода по умолчанию без безусловного перехода
Несоответствия порядка выполнения внутренней переходной строки. Внутренняя строка перехода для состояния должна задавать состояния назначения слева направо в том же порядке, в котором соответствующие состояния появляются в таблице, сверху вниз.
Каждая ошибка сообщается с гиперссылкой на соответствующий объект, вызывающий ошибку. Эти проверки также выполняются во время симуляции.
