Найдите нарушение свойства при помощи анализа доказательства свойства Simulink® Design Verifier™. Вы моделируете требования техники безопасности как свойства и затем проверяете модель проекта по требованиям.

Проверьте свойства безопасности в модели проекта инвертора тяги. Блок Properties ниже его содержит четыре свойства безопасности. Simulink Design Verifier анализирует модель проекта и свойства безопасности доказать правильность или идентифицировать контрпримеры. Использование ссылки модели избавляет от необходимости добавлять содержимое верификации в модель проекта, позволяя содержимому верификации существовать независимо из проекта.

Выполните анализ доказательства свойства с несколькими свойствами. Модель сконфигурирована для анализа, чтобы попытаться доказать что:

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