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