Идентификатор: Заголовок | hisf_0001: тип конечного автомата | |
---|---|---|
Описание | Создание Stateflow® графики, которые реализуют последовательную семантику Stateflow, используют ту же State Machine Type (Classic , Mealy , или Moore ) для всех графиков в модели. | |
Примечание | В диаграммах Мили действия связаны с переходами. В графиках Мура действия связаны с состояниями. В классических графиках действия могут быть связаны как с переходом, так и с состояниями. Во время компиляции Stateflow проверяет, что семантика графика соответствует формальным определениям и правилам выбранного типа конечного автомата. Если семантика графика не соответствует требованиям, программное обеспечение предоставляет диагностическое сообщение. | |
Объяснение | Продвигайте четкий стиль моделирования. | |
Проверки Model Advisor | Проверяйте тип конечного автомата диаграмм Stateflow (Simulink Check) | |
Ссылки |
| |
См. также |
| |
Последнее изменение | R2018b |
Идентификатор: Заголовок | hisf_0002: Заданное пользователем состояние/порядок выполнения перехода | |
---|---|---|
Описание | Выполните следующее, чтобы явным образом задать порядок выполнения для активных состояний и допустимых переходов в диаграммах Stateflow: | |
A | В диалоговом окне Свойств графика» выберите «User specified state/transition execution order». | |
Необходимые условия | hisl_0311: Параметры конфигурации > Диагностика > Stateflow | |
Примечание | Выбор User specified state/transition execution order ограничивает зависимость семантики диаграммы Stateflow от геометрического положения параллельных состояний и переходов. Установка порядка выполнения состояний и переходов позволяет вам применять детерминизм в порядке поиска активных состояний и допустимых переходов. У вас есть управление порядком выполнения параллельных состояний, и переходы, исходящие из источника, проверяются на выполнение. Если вы явно не задаете порядок выполнения, программное обеспечение Stateflow определяет порядок выполнения после детерминированного алгоритма. | |
Объяснение | A | Продвигайте однозначный стиль моделирования. |
Проверки Model Advisor | Проверяйте диаграммы Stateflow на порядок состояний и переходов (Simulink Check) | |
Ссылки | Это руководство поддерживает соблюдение:
| |
См. также |
| |
Последнее изменение | R2018b |
Идентификатор: Заголовок | 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 Check) | |
Ссылки |
| |
См. также | Задайте свойства для диаграмм Stateflow (Stateflow) | |
Последнее изменение | R2017b |
Идентификатор: Заголовок | 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 |