Можно использовать подсветку Model Slicer, чтобы визуально проверить логику в Stateflow® графики или таблицы. После того, как вы Задаете Временное Окно Симуляции, вы используете Model Slicer, чтобы подсветить и нарезать элементы Stateflow, которые активны в выбранном временном окне.
Примечание
Если вы не задаете Временное окно симуляции, когда подсвечиваете функциональные зависимости в диаграмме или таблице Stateflow, то Model Slicer принимает, что все элементы графика или таблицы активны. Model Slicer подсвечивает все содержимое таких графиков и таблиц.
Моделируйте поведение подсветки слайсера для элементов Stateflow
Использование SLICER модели с таблицами переходов состояний Stateflow
Ограничения поддержки для использования SLICER модели с Stateflow
Model Slicer подсвечивает элемент Stateflow, если он был выполнен в заданном временном окне. Некоторые примеры включают:
График, если он активирован в указанном временном окне.
Состояние, если его вход, выход или во время действия выполняются в заданном временном окне.
Родительское состояние, если его дочернее состояние подсвечено в заданном временном окне.
Переход, если он принят в заданном временном окне, таком как внутренний, внешний и по умолчанию. Если условия перехода оцениваются, но переход не взят, Model Slicer не подсвечивает переход.
Model Slicer не подсвечивает непосредственно содержимое таблиц переходов состояний Stateflow. Чтобы просмотреть подсвеченные функциональные зависимости в таблице переходов состояний, необходимо просмотреть автоматически сгенерированную схему для таблицы переходов состояний. Инструкции по просмотру автоматически сгенерированной схемы для таблицы переходов состояний см. в разделе «Генерация схем из таблиц переходов состояний» (Stateflow).
Ограничения поддержки при использовании Model Slicer с Stateflow смотрите в Model Slicer Support Limitations для Stateflow.