Представление модели для анализа

Когда вы анализируете модель впервые, Simulink® Design Verifier™ выполняет проверку совместимости и создает представление модели. Представление модели содержит информацию о поведении модели, чтобы использовать для анализа. По умолчанию программное обеспечение сохраняет представление модели в местоположении папки кэша Симуляции.

Если вы изменяете модель и повторно выполняете анализ, Simulink Design Verifier определяет, восстановить ли представление модели или использовать существующий кэш Simulink в зависимости от параметра представления модели Rebuild. Восстанавливание представления модели инициировано, когда опция Rebuild model representation установлена в If change is detected и программное обеспечение обнаруживает любые изменения в модели.

Представление модели повторного использования для анализа

Опция Rebuild model representation установлена в If change is detected по умолчанию и программное обеспечение подтверждает представление модели против любых изменений модели и опций анализа Simulink Design Verifier. Программное обеспечение затем определяет ли к повторному использованию или восстановить представление модели для анализа. Когда вы устанавливаете опцию на Always, представление модели восстановлено во время каждого анализа модели.

Когда опция Rebuild model representation установлена в If change is detected, Simulink Design Verifier проверяет на эти изменения в модели:

Опции Simulink Design Verifier

Программное обеспечение подтверждает представление модели против любых изменений в опциях Simulink Design Verifier. Эта таблица приводит опции, которые не влияют на представление модели, и если вы изменяете какую-либо из этих опций, программное обеспечение снова использует представление модели.

Спроектируйте опции верификатора

Опции Генерации тестов

Опции Доказательства свойства

Опции генерации результатов

Сообщите об опциях генерации

Структурная контрольная сумма модели

Структурная контрольная сумма является расчетом, который обнаруживает изменения в модели, которая может влиять на результаты симуляции. Для получения дополнительной информации о видах изменений, которые влияют на модель, смотрите, Восстанавливают.

Дополнительные зависимости

В дополнение к структурной контрольной сумме Simulink Design Verifier проверяет на изменения в зависимостях моделей, которые могут повлиять на результаты анализа, такие как:

  • Параметры периода выполнения симуляции, которые заданы в словаре данных или MATLAB® основа, маска или рабочие пространства модели

  • Внешний C или файлы исходного кода C++, которые модель использует в процессе моделирования

  • Минимальные и максимальные ограничения, которые заданы для параметров блоков

  • Параметры блоков, которые заданы для блоков в Библиотеке блоков Simulink Design Verifier, таких как Values

Ограничения

  • Представление модели всегда восстанавливается:

  • Simulink Design Verifier не обнаруживает изменения в заменяющих правилах пользовательского блока, что вы применяетесь, даже если опция Rebuild model representation установлена в If change is detected. В таких случаях кэш Simulink снова используется для анализа, и предупреждающее сообщение отображено в Диагностическом Средстве просмотра, которое предлагает, чтобы вы установили опцию Rebuild model representation на Always, если вы хотите восстановить представление модели.

Смотрите также

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте