Simulink ® Design Verifier™ не поддерживает следующие функции функционального блока MATLAB в программном обеспечении Simulink и функции MATLAB ® в программном обеспечении Stateflow ®. Избегайте использования этих неподдерживаемых элементов в моделях, анализируемых с помощью Simulink Design Verifier.
| Не поддерживается | Описание |
|---|---|
Персонажи | Программное обеспечение не поддерживает символы, что позволяет MATLAB для генерации кода. |
Функции C | Программное обеспечение не поддерживает вызовы внешних функций C, что позволяет MATLAB для генерации кода. |
Внешние функции | Программное обеспечение поддерживает внешние функции только в том случае, если они не влияют на вывод функции MATLAB. |
Классы дескрипторов | Программное обеспечение не поддерживает классы обработки в функциональном блоке MATLAB. Программное обеспечение поддерживает классы значений. |
Функция Sqrt | Программное обеспечение не поддерживает |
Simulink Design Verifier обеспечивает различные уровни поддержки MATLAB для функций библиотеки генерации кода. Программное обеспечение полностью или частично поддерживает определенные функции. Он не поддерживает другие функции.
Если модель содержит неподдерживаемые функции, можно включить автоматическое блокирование, которое учитывает интерфейс неподдерживаемых функций, но не их поведение. Однако если какая-либо из неподдерживаемых функций влияет на результат моделирования, анализ может привести только к частичным результатам. Дополнительные сведения об автоматическом блокировании см. в разделе Обработка несовместимости с автоматическим блокированием.
Чтобы достичь 100% покрытия, избегайте использования неподдерживаемых функций библиотеки MATLAB в анализируемых моделях.
В следующей таблице приведена поддержка Simulink Design Verifier для категорий библиотечных функций при создании кода из MATLAB:
Программное обеспечение поддерживает функции этой категории, обозначенные тире (-).
Программное обеспечение не поддерживает функции этой категории.
Программное обеспечение поддерживает функцию в этой категории с указанными ограничениями.
Полный список доступных функций см. в разделе Функции и объекты, поддерживаемые для генерации кода C/C + +.
| Категория функции | Примечания по поддержке | |
|---|---|---|
| Функции Aerospace Toolbox | Не поддерживается. | |
| Функции арифметического оператора | Поддерживается следующими ограничениями: | |
mldivide (\) | Поддерживает только скалярные аргументы. | |
mpower (^) | Поддерживает только целочисленные экспоненты. | |
mrdivide (/) | Поддерживает только скалярные аргументы. | |
power (.^) | Поддерживает только целочисленные экспоненты. | |
| Поразрядные рабочие функции | — | |
| Функции литья | Поддерживается следующими ограничениями: | |
char | Не поддерживается. | |
typecast | Не поддерживается. | |
| Функции Toolbox™ связи | Не поддерживается. | |
| Функции комплексного номера | Поддерживается. | |
| Функции Toolbox™ компьютерного зрения | Не поддерживается. | |
| Функции типа данных | — | |
| Производные и интегральные функции | Не поддерживается. | |
| Дискретные математические функции | — | |
| Функции обработки ошибок | Поддерживается следующими ограничениями: | |
assert | Поддерживается, но не ведет себя как блок Proof Objective. | |
| Экспоненциальные функции | Поддерживается. | |
| Функции фильтрации и свертки | Поддерживается следующими ограничениями: | |
detrend | Не поддерживается. | |
| Функции Designer™ с фиксированной точкой | Поддержанный | |
| Функции гистограммы | Не поддерживается. | |
| Функции Toolbox™ обработки изображений | Не поддерживается. | |
| Функции ввода и вывода | — | |
| Интерполяция и расчетная геометрия | Поддерживается следующими ограничениями: | |
cart2pol | Не поддерживается. | |
cart2sph | Не поддерживается. | |
pol2cart | Не поддерживается. | |
sph2cart | Не поддерживается. | |
| Линейная алгебра | Не поддерживается. | |
| Функции логического оператора | — | |
| Функции Compiler™ MATLAB | Не поддерживается. | |
| Функции матрицы и массива | Поддерживается следующими ограничениями: | |
angle | Не поддерживается. | |
cond | Не поддерживается. | |
det | Не поддерживается. | |
eig | Не поддерживается. | |
inv | Не поддерживается. | |
invhilb | Не поддерживается. | |
logspace | Не поддерживается. | |
lu | Не поддерживается. | |
norm | Поддерживается только при вызове с использованием синтаксиса norm(A,p) где | |
normest | Не поддерживается. | |
pinv | Не поддерживается. | |
planerot | Не поддерживается. | |
qr | Не поддерживается. | |
rank | Не поддерживается. | |
rcond | Не поддерживается. | |
subspace | Не поддерживается. | |
| Нелинейные числовые методы | Не поддерживается. | |
| Полиномиальные функции | Не поддерживается. | |
| Функции реляционных операций | — | |
| Функции округления и остатка | — | |
| Установка функций | — | |
| Функции обработки сигналов в MATLAB | Не поддерживается. | |
| Функции Toolbox™ обработки сигналов | Не поддерживается. | |
| Особые значения | Поддерживается следующими ограничениями: | |
rand | Не поддерживается. | |
randn | Не поддерживается. | |
| Специализированная математика | Не поддерживается. | |
| Статистические функции | — | |
| Строковые функции | Поддерживается следующими ограничениями: | |
char | Не поддерживается. | |
ischar | Не поддерживается. | |
| Тригонометрические функции | Не поддерживается. | |