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