exponenta event banner

Параметры конфигурации модели: Диагностика потока состояний

Категория Диагностика > Поток состояний включает параметры для обнаружения проблем, связанных с диаграммами Stateflow ®.

ПараметрОписание

Неиспользуемые данные, события, сообщения и функции

Выберите действие диагностики для обнаружения неиспользуемых данных, событий и сообщений на диаграмме. Удаление неиспользуемых данных, событий и сообщений может минимизировать размер модели.

Неожиданное обратное отслеживание

Выберите действие диагностики, которое необходимо выполнить, если соединение диаграммы имеет оба следующих условия. Соединение:

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

  • Имеет несколько путей перехода, ведущих к нему

Недопустимый доступ к входным данным при инициализации диаграммы

Выберите действие диагностики, которое будет выполняться при построении диаграммы:

  • Имеет ExecuteAtInitialization свойство имеет значение true

  • Доступ к входным данным о переходе по умолчанию или связанных действиях ввода состояния, которые выполняются при инициализации диаграммы

Нет безусловных переходов по умолчанию

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

Переход за пределы естественного родителя

Выберите действие диагностики, которое необходимо выполнить, если диаграмма содержит переход, который закольцовывается вне родительского состояния или соединения.

Неориентированные трансляции событий

Выберите действие диагностики, которое необходимо выполнить, если диаграмма содержит неориентированные трансляции локальных событий.

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

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

Чтение до записи в выходные данные диаграммы Мура

Выберите действие диагностики, которое необходимо выполнить, когда диаграмма Мура использует предыдущее выходное значение для определения текущего состояния.

Абсолютное временное значение короче периода выборки

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

Самостоятельный переход в конечном состоянии

Выберите действие диагностики, которое необходимо выполнить при удалении самоперехода в состоянии листа.

Функция Execute-at-Initialization отключена при наличии входных событий

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

Использование машинных данных вместо памяти хранилища данных

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

Недоступный путь выполнения

Выберите действие диагностики, которое необходимо выполнить, если в действительном пути выполнения отсутствуют конструкции диаграммы.

Связанные темы