| Идентификатор: Заголовок | hisf_0001: Тип конечного автомата | |
|---|---|---|
| Описание | Чтобы создать диаграммы Stateflow ®, реализующие последовательную семантику Stateflow, используйте тот же тип конечного автомата (Classic, Mealy, или Moore) для всех диаграмм в модели. | |
| Примечание | В диаграммах Mealy действия связаны с переходами. В диаграммах Мура действия связаны с состояниями. В классических диаграммах действия могут быть связаны как с переходами, так и с состояниями. Во время компиляции Stateflow проверяет соответствие семантики диаграммы формальным определениям и правилам выбранного типа конечного автомата. Если семантика диаграммы не соответствует требованиям, программа выдает диагностическое сообщение. | |
| Объяснение | Продвижение четкого стиля моделирования. | |
| Проверки помощника по модели | Проверка типа конечного автомата диаграмм Stateflow (Simulink Check) | |
| Ссылки |
| |
| См. также |
| |
| Последнее изменение | R2018b | |
| Идентификатор: Заголовок | hisf_0002: Заданное пользователем состояние/порядок выполнения перехода | |
|---|---|---|
| Описание | Чтобы явно задать порядок выполнения для активных состояний и допустимых переходов в диаграммах Stateflow, выполните следующие действия. | |
| A | В диалоговом окне Свойства диаграммы выберите Заданное пользователем состояние/порядок выполнения перехода. | |
| Предпосылки | hisl_0311: Параметры конфигурации > Диагностика > Поток состояния | |
| Примечание | Выбор заданного пользователем порядка выполнения состояния/перехода ограничивает зависимость семантики диаграммы Stateflow от геометрического положения параллельных состояний и переходов. Указание порядка выполнения состояний и переходов позволяет принудительно применять детерминизм в порядке поиска активных состояний и допустимых переходов. Имеется управление порядком, в котором выполняются параллельные состояния и проверяются на выполнение переходы, исходящие из источника. Если явно не задать порядок выполнения, программа Stateflow определяет порядок выполнения, следуя детерминированному алгоритму. | |
| Объяснение | A | Продвижение однозначного стиля моделирования. |
| Проверки помощника по модели | Проверка диаграмм потока состояний для упорядочения состояний и переходов (Simulink Check) | |
| Ссылки | Данное руководство поддерживает следующие принципы:
| |
| См. также |
| |
| Последнее изменение | R2018b | |
| Идентификатор: Заголовок | hisf_0009: Сильная типизация данных (граница Simulink ® и Stateflow) | |
|---|---|---|
| Описание | Для поддержки сильной типизации данных между Simulink и Stateflow, | |
| A | Выберите свойство диаграммы Использовать строгий ввод данных с Simulink I/O. | |
| Примечания | По умолчанию входные и выходные данные диаграмм Stateflow имеют тип double. Для непосредственного взаимодействия с сигналами Simulink типов данных, отличных от doubleвыберите «Использовать строгий ввод данных с Simulink I/O.» В этом режиме типы данных между границами Simulink и Stateflow сильно типизированы, и программное обеспечение Simulink не рассматривает типы данных как double. Диаграмма Stateflow принимает входные сигналы любого типа данных, поддерживаемого программным обеспечением Simulink, при условии, что тип входного сигнала соответствует типу соответствующего объекта входных данных Stateflow. В противном случае программа сообщает об ошибке несоответствия типов. | |
| Объяснение | A | Поддержка кода со строгой типизацией. |
| Проверки помощника по модели | Проверка строгой типизации данных с помощью Simulink I/O (Simulink Check) | |
| Ссылки |
| |
| См. также | Задание свойств для диаграмм потока состояний (поток состояний) | |
| Последнее изменение | R2017b | |
| Идентификатор: Заголовок | hisf_0011: Параметры отладки Stateflow | |
|---|---|---|
| Описание | Для защиты от недостижимого кода и неопределенного времени выполнения, | |
| A | Установите параметры конфигурации Wrap on overflow и Simulation range check to В модели откройте вкладку Отладка (Debug) и выберите Диагностика (Diagnostics) > Обнаружить циклическое поведение (Detect Cyclical Behavior) | |
| B | Щелкните правой кнопкой мыши каждую таблицу истинности в модели и выберите Свойства (Properties). Задайте для этих параметров значение
| |
| Примечания | Диагностика во время выполнения запускается только во время моделирования. Если условие ошибки не было достигнуто во время моделирования, сообщение об ошибке не инициируется для генерации кода. | |
| Объяснение | A, B | Защита от недоступного кода и непредсказуемого времени выполнения. |
| Проверки помощника по модели | Проверка параметров отладки Stateflow (Simulink Check) | |
| Ссылки |
| |
| См. также | Задание свойств функций таблицы истинности (поток состояний) | |
| Последнее изменение | R2017b | |