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