| 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 | |
