db_0137: Состояния в машине состояний

ID: Заголовок

db_0137: Состояния в машине состояний

Приоритет

Обязательный

Осциллограф

MAAB

Версии MATLAB

Все

Описание

Для всех уровней в конечном автомате, включая корневой уровень, для состояний с исключительным разложением применяются следующие правила:

  • Должны существовать по крайней мере два исключительных состояния.

  • Состояние не может иметь только одного подсостояния.

  • Начальное состояние каждого иерархического уровня с исключительными состояниями ясно задано переходом по умолчанию. В случае нескольких переходов по умолчанию должен всегда быть безусловный переход по умолчанию.

Объяснение

  • Удобочитаемость

  • Рабочий процесс

  • Генерация кода

  • Верификация и валидация

В последний раз измененный

V3.0

Проверка Model Advisor

By Task> Modeling Standards for MAAB> Stateflow> Check usage of exclusive and default states in state machines

Для получения дополнительной информации проверки смотрите использование Проверки исключительных и состояний по умолчанию в машине состояний (Simulink Check).

Представленный в R2010a

Для просмотра документации необходимо авторизоваться на сайте