db_0137: Состояния в машине состояний
Обязательный
MAAB
Все
Для всех уровней в конечном автомате, включая корневой уровень, для состояний с исключительным разложением применяются следующие правила:
Должны существовать по крайней мере два исключительных состояния.
Состояние не может иметь только одного подсостояния.
Начальное состояние каждого иерархического уровня с исключительными состояниями ясно задано переходом по умолчанию. В случае нескольких переходов по умолчанию должен всегда быть безусловный переход по умолчанию.
Удобочитаемость
Рабочий процесс
Генерация кода
Верификация и валидация
V3.0
Задачей> Моделирование Стандартов для MAAB> Stateflow> использование Проверки исключительных и состояний по умолчанию в машине состояний
Для получения дополнительной информации проверки смотрите использование Проверки исключительных и состояний по умолчанию в машине состояний (Simulink Check).
