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