Базовый рабочий процесс анализа модели описан в следующих шагах со ссылками на связанную документацию.
| Шаг | Действие | Видишь... |
|---|---|---|
1 | Проверьте совместимость модели. | Дополнительные сведения о поддерживаемых блоках и функциях см. в разделах Поддерживаемые и неподдерживаемые блоки Simulink в программе Simulink Design Verifier и Ограничения поддержки программных функций Simulink. |
2 | Если необходимо обойти ограничения совместимости в модели или настроить элементы модели для анализа, можно использовать правила замены блоков Simulink ® Design Verifier™. Если необходимо создать дополнительные значения параметров в модели во время анализа, используйте конфигурации параметров Simulink Design Verifier. | |
3 | Задайте параметры Simulink Design Verifier. | |
4 | Если планируется создать тестовые примеры или доказать свойства в модели, сначала выполните обнаружение ошибок конструкции для переполнения целого числа и деления на ноль. | |
5 | Проанализируйте модель, чтобы:
| |
6 | Создайте результаты. | |
7 | Интерпретируйте результаты. |
Ограничения поддержки блоков модели | Ограничения поддержки функций ПО Stateflow