При создании модели можно задать минимальные и максимальные значения на входных портах, чтобы подражать экологическим ограничениям как части проекта. Анализ Simulink® Design Verifier™ может автоматически рассмотреть эти значения как ограничения для:
Поиск ошибок проектирования
Генерация теста
Доказательство свойства
Определение минимальных и максимальных входных значений подобно использованию блока Test Condition, чтобы ограничить сигналы для генерации теста или блока Proof Assumption ограничивать сигналы для доказательства свойства. Блоки Предположения Условия испытания и Доказательства получают аналитические ограничения. Программное обеспечение Simulink Design Verifier может также считать конструктивные ограничения полученными в минимуме блока Inport и максимальных параметрах как ограничения для анализа.
Для получения дополнительной информации о значениях сигналов, смотрите Значения сигналов (Simulink).
По умолчанию Simulink Design Verifier считает любые минимальные и максимальные входные значения заданными для блоков Inport в вашей модели. Включить эту возможность:
В окне модели выберите Analysis> Design Verifier> Options.
На панели Design Verifier выберите параметр Use specified input minimum and maximum values.
После того, как анализ завершается, чтобы просмотреть минимум проекта и максимальные ограничения для вашей модели, нажать Generate detailed analysis reports.
Ограничения перечислены в главе Analysis Information отчета Simulink Design Verifier.
Поддержка Simulink Design Verifier заданных минимальных и максимальных значений имеет следующие ограничения:
Анализ рассматривает заданные минимальные и максимальные значения на корневом уровне, который Inport блокирует только. Анализ игнорирует минимальные и максимальные значения, заданные на других блоках Simulink.