Базовый рабочий процесс для Simulink Design Verifier

Обзор основного рабочего процесса Simulink Design Verifier.

Создание тестовых примеров для подсистемы

Анализ отдельной подсистемы.

Анализ атомарного подшарника потока состояний

Анализ атомарного подграфика с помощью программного обеспечения Simulink Design Verifier.

Анализ модели

Анализ простого примера модели с помощью Simulink Design Verifier.

Анализ простой модели

Анализ простой модели, демонстрирующей возможности Simulink Design Verifier.

Анализ большой модели

Описывает методы анализа большой модели.

Анализ моделей Export-Function

Анализ моделей с функцией экспорта с помощью Simulink Design Verifier

Приближения

Аппроксимации Simulink Design Verifier выполняет перед началом анализа.

Отчеты о приближениях через результаты проверки

Описывает, как Simulink Design Verifier сообщает о приближениях с помощью результатов проверки.

Логические операции

При наличии модели Simulink с логическими и арифметическими операциями рассмотрите возможность анализа только логических операций.

Логические операции с коротким замыканием

Описание логических блоков коротких замыканий Simulink Design Verifier.

Измененное условие и покрытие принятия решений в Simulink Design Verifier

Описывает разницу между охватом MCDC в Simulink Design Verifier и в Simulink Coverage™.

Блоки модели

Анализ блоков модели, ссылающихся на внешние модели.

Сокращение блоков

Объясняет, как Simulink уменьшает блоки во время моделирования и как это влияет на анализ Simulink Design Verifier.

Встроенные параметры

Оптимизация моделей Simulink путем преобразования настраиваемых параметров в постоянные значения.

Неокончательные данные

Simulink Design Verifier не поддерживает неокончательные данные (например, NaN и Inf) и связанные с этим операции.

Большие модели

Обзор методов анализа больших моделей.

Источники сложности модели

Описывает характеристики модели, которые могут усложнить анализ.

Восходящий подход к анализу модели

Объясняет преимущества анализа модели, начиная с низкоуровневых элементов.