db_0137: Состояния в машине состояний
Обязательный
MAAB
Все
Для всех уровней в конечном автомате, включая корневой уровень, для состояний с исключительным разложением применяются следующие правила:
Должны существовать по крайней мере два исключительных состояния.
Состояние не может иметь только одного подсостояния.
Начальное состояние каждого иерархического уровня с исключительными состояниями ясно задано переходом по умолчанию. В случае нескольких переходов по умолчанию должен всегда быть безусловный переход по умолчанию.
Удобочитаемость
Рабочий процесс
Генерация кода
Верификация и валидация
V3.0
By Task> Modeling Standards for MAAB> Stateflow> Check usage of exclusive and default states in state machines
Для получения дополнительной информации проверки смотрите использование Проверки исключительных и состояний по умолчанию в машине состояний (Simulink Check).