Simulink® Design Verifier™ не поддерживает следующие программные функции Stateflow®. Избегайте использования этих неподдерживаемых функций в моделях, которые вы анализируете.
Программное обеспечение не делает обращений за поддержкой к функциям MATLAB® или доступа к переменным рабочего пространства MATLAB, которые позволяет программное обеспечение Stateflow. Смотрите доступ к функциям MATLAB и Данным о Рабочей области в Графиках C (Stateflow).
Программное обеспечение не поддерживает оператор sizeof, который позволяет программное обеспечение Stateflow.
Программное обеспечение поддерживает вызовы следующих математических функций C:
abs
ceil
fabs
floor
fmod
labs
ldexp
pow (только для целочисленных экспонент)
Программное обеспечение не делает обращений за поддержкой к другим математическим функциям C, которые позволяет программное обеспечение Stateflow. Если автоматическое блокирование включено, который это по умолчанию, программное обеспечение устраняет эти неподдерживаемые функции во время анализа.
Для получения информации о математических функциях C в Stateflow смотрите Вызов C Библиотечные функции в Графиках C (Stateflow).
Для получения дополнительной информации об автоматическом блокировании, смотрите Несовместимости Указателя с Автоматическим Блокированием.
Программное обеспечение не поддерживает атомарные подграфики, которые вызывают экспортируемые графические функции, которые позволяет программное обеспечение Stateflow.
Для получения информации об экспортируемых функциях смотрите Экспорт Функции Stateflow для Повторного использования (Stateflow).
Если ввод или вывод в атомарном подграфике сопоставляет с данными уровня графика различного осциллографа, программное обеспечение не поддерживает график, который содержит тот атомарный подграфик.
Для атомарного входа подграфика применяется эта несовместимость, когда вход сопоставляет с данными уровня графика вывода, локального, или осциллограф параметра. Для атомарного подграфика вывод применяется эта несовместимость, когда вывод сопоставляет с данными уровня графика локального осциллографа.
Программное обеспечение не поддерживает рекурсивные функции, которые происходят когда вызовы функции само прямо или косвенно посредством другого вызова функции. Программное обеспечение Stateflow позволяет вам реализовывать рекурсию с помощью графических функций.
Кроме того, программное обеспечение не поддерживает рекурсию, что программное обеспечение Stateflow позволяет вам реализовывать использование комбинации широковещательных сообщений события и вызовов функции.
Для получения информации о предотвращении рекурсии в диаграммах Stateflow см. Инструкции для Предотвращения Нежелательной Рекурсии в Графике (Stateflow).
Программное обеспечение Stateflow также позволяет вам создавать циклическое поведение, где последовательность шагов повторяется неопределенно. Если ваша модель имеет график с циклическим поведением, программное обеспечение не может анализировать его.
Для получения информации о циклическом поведении в диаграммах Stateflow смотрите Циклическое Поведение (Stateflow).
Однако можно изменить график с циклическим поведением так, чтобы это было совместимо, как в следующем примере.
Следующий график создает циклическое поведение. Состояние вызовы утверждают A1, который широковещательно передает событие Clear, чтобы утвердить B, который вызывает B2 состояния, который широковещательно передает событие Set назад, чтобы утвердить A, вызывая циклическое поведение.
Если вы изменяете вызовы функции send использовать направленные широковещательные сообщения события так, чтобы события Set и Clear были широковещательно переданы непосредственно к состояниям B1 и A1, соответственно, циклическое поведение исчезает, и программное обеспечение может анализировать модель.
Для получения информации о преимуществах направленных широковещательных сообщений события смотрите Широковещательную передачу Локальные События, чтобы Синхронизировать Параллельные состояния (Stateflow).
Программное обеспечение не поддерживает пользовательский C или Код С++, который позволяет программное обеспечение Stateflow.
Программное обеспечение не поддерживает порожденные машиной данные (т.е. заданный на уровне машины Stateflow), который позволяет программное обеспечение Stateflow.
Для получения дополнительной информации смотрите Лучшые практики для Использования Данных в Графиках (Stateflow).
Программное обеспечение не поддерживает аргументы литеральной строки к текстовым функциям в диаграмме Stateflow.
