Документация

Чтобы обнаружить несоответствия между типовым кодексом и симуляциями сгенерированного кода, которые являются результатом использования этого параметра, прежде, чем запуститься нормальный, акселератор, программное обеспечение в цикле (SIL) или процессор в цикле (PIL) симуляции, установило Diagnostics> Data Validity> Simulation range checking к Warning или Error.

Задайте минимальные и максимальные значения для сигналов и параметров в модели для:

Эта оптимизация не учитывает минимальные и максимальные значения, заданные для:

Если вы используете Polyspace^® Код Prover™software, чтобы проверить код сгенерировал использование этой оптимизации, это может отметить код, который был ранее зеленым как оранжевый. Например, если ваша модель содержит деление, где область значений знаменателя не включает нуль, сгенерированный код не включает защиту от деления на нуль. Polyspace Code Prover может отметить этот код оранжевый, потому что это не имеет информации о минимальных и максимальных значениях заданной для входных параметров к делению.

Программное обеспечение Polyspace Code Prover действительно автоматически получает некоторые минимальные и максимальные значения, заданные в MATLAB^® рабочая область, например, для Simulink.Signal и Simulink.Parameter объекты. В этом примере, чтобы предоставить информацию об области значений программному обеспечению Polyspace Code Prover, используют Simulink.Signal объект на входе деления и указывает диапазон, который не включает нуль.

Программное обеспечение Polyspace Code Prover хранит эти значения в файле Спецификации области значений данных (DRS). Однако они не получают минимальные и максимальные значения, заданные в вашем Simulink^® модель. Чтобы обеспечить дополнительный min / макс. информацию к Polyspace Code Prover, можно вручную задать файл DRS. Для получения дополнительной информации см. документацию Polyspace Code Prover.

Если вы используете типы данных с двойной точностью и Code Generation> Interface>, параметр конфигурации Support non-finite numbers выбран, эта оптимизация не происходит.

Если ваша модель содержит несколько экземпляров допускающей повторное использование подсистемы, и каждый экземпляр использует входные сигналы с различными заданными минимальными и максимальными значениями, эта оптимизация может привести к различному сгенерированному коду для каждой подсистемы, таким образом, повторное использование кода не происходит. Без этой оптимизации программное обеспечение Simulink Coder™ генерирует код однажды для подсистемы и совместно использует этот код среди нескольких экземпляров подсистемы.

Связанные с безопасностью настройки оптимизации Проверки проверки Model Advisor (Simulink Check) генерируют предупреждение, если эта опция выбрана. Для многих важных приложений безопасности, удаляя мертвый код автоматически недопустимо, потому что выполнение так может сделать код непрослеживаемым.

Включение этой оптимизации улучшает способность программного обеспечения Fixed-Point Designer™ устранить ненужные служебные функции и код насыщения от сгенерированного кода.

Этот параметр появляется для основанных на ERT целей только.

Этот параметр требует Embedded Coder^® лицензия при генерации кода.