ID: Заголовок | hisf_0001: Тип Конечного автомата | |
---|---|---|
Описание | Чтобы создать графики Stateflow®, которые реализуют сопоставимую семантику Stateflow, используйте тот же State Machine Type (Classic , Mealy или Moore ) для всех графиков в модели. | |
Примечание | В Мучнистых графиках действия сопоставлены с переходами. В графиках Мура действия сопоставлены с состояниями. В Классических графиках действия могут быть сопоставлены и с переходом и с состояниями. Во время компиляции Stateflow проверяет, что семантика графика выполняет формальные определения и правила выбранного типа конечного автомата. Если семантика графика не находится в соответствии, программное обеспечение предоставляет диагностическое сообщение. | |
Объяснение | Продвиньте ясный стиль моделирования. | |
Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите тип конечного автомата Проверки диаграмм Stateflow. | |
Ссылки |
| |
Смотрите также | Создайте мучнистый и графики Мура (Stateflow) | |
В последний раз измененный | R2018b |
ID: Заголовок | hisf_0002: заданный пользователями порядок выполнения состояния/перехода | |
---|---|---|
Описание | Сделайте следующее, чтобы явным образом установить порядок выполнения для активных состояний и допустимых переходов в диаграммах Stateflow: | |
A | В диалоговом окне Chart Properties выберите User specified state/transition execution order. | |
B | В редакторе Stateflow выберите Display> Chart> Transition Execution Order. | |
Предпосылки | hisl_0311: Параметры конфигурации> Диагностика> Stateflow | |
Примечание | Выбор User specified state/transition execution order в диалоговом окне Свойств диаграммы ограничивает зависимость семантики диаграммы Stateflow на геометрическом положении параллельных состояний и переходов. Определение порядка выполнения состояний и переходов позволяет вам осуществлять детерминизм в поисковом порядке для активных состояний и допустимых переходов. Вы имеете контроль над порядком, в котором выполняются параллельные состояния, и переходы, происходящие из источника, тестируются на выполнение. Если вы явным образом не устанавливаете порядок выполнения, программное обеспечение Stateflow определяет порядок выполнения в соответствии с детерминированным алгоритмом. При выборе Display> Chart> Transition Execution Order отображает порядок тестирования перехода. | |
Объяснение | A, B | Продвиньте однозначный стиль моделирования. |
Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите диаграммы Stateflow Проверки для упорядоченного расположения состояний и переходов. | |
Ссылки | Эта инструкция поддержки, придерживающиеся:
| |
Смотрите также | Следующие темы в документации Stateflow
| |
В последний раз измененный | R2018b |
ID: Заголовок |
hisf_0009: Сильный ввод данных (Simulink® и контур Stateflow) | |
---|---|---|
Описание |
Поддерживать сильный ввод данных между Simulink и Stateflow, | |
A | Выберите Use Strong Data Typing with Simulink I/O. | |
Примечания |
По умолчанию введите к и выведите от диаграмм Stateflow, имеют тип | |
Объяснение | A | Поддержите код со строгим контролем типов. |
Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку на Сильный Ввод Данных с вводом-выводом Simulink. | |
Ссылки |
| |
В последний раз измененный | R2017b |
ID: Заголовок |
hisf_0011: настройки отладки Stateflow | ||
---|---|---|---|
Описание |
Защищать от недостижимого кода и неопределенное время выполнения, | ||
A |
| ||
B |
Для каждой таблицы истинности в модели, в меню Settings Редактора Таблицы истинности, устанавливает следующие параметры на
| ||
Примечания |
Диагностика во время выполнения только инициирована во время симуляции. Если состояние ошибки не достигнуто во время симуляции, сообщение об ошибке не инициировано для генерации кода. | ||
Объяснение | A, B | Защитите от недостижимого кода и непредсказуемое время выполнения. | |
Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку параметры отладки Stateflow. | ||
Ссылки |
| ||
В последний раз измененный | R2017b |