Задание входных диапазонов для элементов Simulink и Stateflow
Описывает, как анализ обрабатывает минимальные и максимальные значения элементов Simulink ® и Stateflow ®.
Просмотрите результаты анализа в окне Сводка результатов Simulink Design Verifier™.
Проверка указанных нарушений минимального и максимального значений
Описывает, как анализировать модель, чтобы убедиться, что указанные значения расчетного минимума и максимума соблюдены.
Использование указанных входных минимальных и максимальных значений в качестве ограничений
В этом примере показано, как использовать минимальное и максимальное значения входного порта в качестве ограничений анализа Simulink Design Verifier во время генерации теста и проверки свойств.
Ограничения минимального и максимального ввода
Обзор того, как в анализе Simulink Design Verifier учитываются указанные входные минимальные и максимальные значения.
Спецификация входных диапазонов в полях sldvData
Описывает sldvData поля для минимального и максимального входных значений.
Укажите минимальное и максимальное значение, которое сигнал может получить во время моделирования. Полностью укажите проект и оптимизируйте типы данных и сгенерированный код, указав минимальное и максимальное значение, которое сигнал может получить во время моделирования.