Выведенные области значений в поиске ошибок проектирования
Когда вы задаете минимальные и максимальные значения для сигнала или данных в модели, эти значения задают design range.
Во время поиска ошибок проектирования программное обеспечение анализирует поведение модели и вычисляет значения, которые могут произойти в процессе моделирования для:
Блокируйте выходные порты
Stateflow® локальные данные
Область значений этих значений называется derived range.
Параметр Use specified input minimum and maximum values в диалоговом окне Configuration Parameters, на панели Design Verifier, если включено, говорит анализу рассматривать области значений проекта на входных портах модели как ограничения при вычислении выведенных областей значений. По умолчанию параметр Use specified input minimum and maximum values включен.
Если Use specified input minimum and maximum values отключен, программное обеспечение не ограничивает сигналы при вычислении выведенных областей значений.
Чтобы видеть, как этот процесс работает, рассмотрите следующую модель.
В этой модели области значений проекта:
Inport блок: [–35.. 35]
Блок Abs вывел: [0.. 30]
Учитывая область значений проекта на Inport блоке, единственных возможных значениях для блока Abs выход значения от 0 до 35. Поэтому выведенная область значений для блока Abs [0.. 35].
Однако, если вы отключаете параметр Use specified input minimum and maximum values, анализ вычисляет выведенные области значений на основе неограниченных значений входных портов модели. В предыдущей модели единственные допустимые выходные параметры блока Abs являются неотрицательными числами. Следовательно, выведенная область значений для блока Abs [0..Inf].