Анализируйте системную модель управления на соответствие требованиям, смоделированным как свойства, и исследуйте нарушения свойств с помощью анализа зависимостей.

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

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

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

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

Используйте модель спецификации для выполнения основанного на требованиях проверки. В этом примере вы следуете систематическому подходу, чтобы проверить свою модель проекта на соответствие требованиям. Подробное описание модели спецификации смотрите в Что такое модель спецификации?.