Рабочий процесс доказательства свойства для инвертора тяги

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

open_system('sldvdemo_thrustrvs_verification');

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