В начале проекта используйте Simulink® Проектируйте Verifier™, чтобы руководствоваться процессом проекта, когда вы создаете свою модель. Начните, изучая рабочий процесс анализа и постепенно запускайте анализ, когда ваша модель растет. Если в Simulink существует проект, см. раздел «Выбор компонента».
Основной рабочий процесс для Simulink Design Verifier
Обзор базового рабочего процесса Simulink Design Verifier.
Сгенерируйте тесты для подсистемы
Анализ отдельной подсистемы.
Анализ атомарной субдиаграммы Stateflow
Анализ атомарной субдиаграммы с помощью программного обеспечения Simulink Design Verifier.
Анализ простой модели примера с помощью Simulink Design Verifier.
Анализ простой модели, которая демонстрирует возможности Simulink Design Verifier.
Описывает методы для анализа большой модели.
Анализируйте модели экспорта функций
Анализ моделей экспорта функций с помощью Simulink Design Verifier
Приближения Simulink Design Verifier выполняются перед началом анализа.
Отчетность о приближениях через результаты валидации
Описывает, как Simulink Design Verifier сообщает о приближениях через результаты валидации.
Если у вас есть модель Simulink с как логическими, так и арифметическими операциями, рассмотрите анализ только логических операций.
Логические операции с коротким замыканием
Объясняет, как Simulink Design Verifier замыкает логические блоки.
Измененное условие и Decision Coverage в Simulink Design Verifier
Описывает различие между покрытием MCDC в Simulink Design Verifier и в Simulink Coverage™.
Анализ Model blocks, которые ссылаются на внешние модели.
Объясняет, как Simulink уменьшает блоки во время симуляции и как это влияет на анализ Simulink Design Verifier.
Оптимизируйте модели Simulink путем преобразования настраиваемых параметров в постоянные значения.
Simulink Design Verifier не поддерживает нефинитные данные (для примера NaN и Inf) и сопутствующие операции.
Обзор методов анализа больших моделей.
Описывает характеристики модели, которые могут усложнить анализ.
Восходящий подход к анализу модели
Объясняет преимущества анализа модели, начиная с низкоуровневых элементов.