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

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

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

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

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

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