Для подтверждения свойств конструкторской модели используйте следующий рабочий процесс.
Определите цели проверки для модели проектирования, например, на основе спецификаций требований.
Измерьте проектную модель, чтобы определить цели и допущения проверки.
Для получения простых свойств выполните поверку модели с помощью блоков или функций MATLAB ®, определяющих цели проверки.
Для свойств системного уровня создайте проверочную модель, содержащую блок модели, который ссылается на конструкторскую модель, и определите свойства в интерфейсе конструкторской модели, используя те же входные и выходные данные.
Определение ограничений анализа с помощью блока «Подтверждение допущения» или sldv.assume. Эти ограничения применяются ко всем включенным целям проверки.
Примечание
Допущения проверки применяются ко всем разрешенным целям проверки. Убедитесь, что не указаны какие-либо противоречивые предположения, поскольку это может привести к недействительности всего анализа.
Укажите параметры, управляющие тем, как Simulink ® Design Verifier™ проверяет свойства модели.
Выполните анализ Simulink Design Verifier и просмотрите результаты.
Упражнение, демонстрирующее этот рабочий процесс, см. в разделе Доказательство свойств в модели.