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/C++, Simulink Design Verifier поддерживает анализ на основе этих настроек:
Если вы включаете аналитические опции пользовательского кода и пользовательского кода импорта, программное обеспечение поддерживает пользовательский код C/C++ для анализа. Для получения дополнительной информации см. пользовательский код Импорта и Включите анализ пользовательского кода.
Если вы включаете опцию пользовательского кода импорта, и аналитическая опция пользовательского кода установлена в Off, модель совместима для анализа, но вызывает к пользовательскому коду, заблокированы во время анализа.
Если опция пользовательского кода импорта установлена в Off, пользовательский код не поддерживается, и модель несовместима для анализа.
Программное обеспечение не поддерживает порожденные машиной данные (i.e., заданный на уровне машины Stateflow), который позволяет программное обеспечение Stateflow.
Для получения дополнительной информации смотрите Лучшые практики для Использования Данных в Графиках (Stateflow).
Программное обеспечение не поддерживает аргументы литеральной строки к текстовым функциям в диаграмме Stateflow.
