Рекомендуемые параметры конфигурации модели для анализа Polyspace

Для исследований Polyspace®, набор следующие параметры конфигурации прежде, чем сгенерировать код. Если вы не используете рекомендуемое значение в SystemTargetFile, вы получаете ошибку. Для других параметров, если вы не используете рекомендуемое значение, вы получаете предупреждение.

ГруппировкаКомандная строкаНазвание и местоположение в настройке
Генерация кода

Имя: SystemTargetFile (Simulink Coder)

Значение: Компилятор Embedded Coder® Target Language (TLC) файл.

Например, ert.tlc или autosar.tlc.

Местоположение : Code Generation

Имя: System target file

Значение: конечный файл Embedded Coder

Имя: MatFileLogging (Simulink Coder)

Значение: 'off'

Местоположение : Code Generation> Interface

Имя: MAT-file logging

Значение: Не выбранный

Имя: GenerateReport (Simulink Coder)

Значение: 'on'

Местоположение : Code Generation> Report

Имя: Create code-generation report

Значение: выбранный

Имя: IncludeHyperlinksInReport (Simulink Coder)

Значение: 'on'

Местоположение : Code Generation> Report

Имя: Code-to-model

Значение: выбранный

Имя: GenerateSampleERTMain (Embedded Coder)

Значение: 'off'

Местоположение : Code Generation> Templates

Имя: Generate an example main program

Значение: Не выбранный

Имя: GenerateComments (Simulink Coder)

Значение: 'on'

Местоположение : Code Generation> Comments

Имя: Include comments

Значение: выбранный

Оптимизация

Имя: DefaultParameterBehavior (Simulink Coder)

Значение: 'Inlined'

Местоположение : Optimization

Имя: Default parameter behavior

Значение: Inlined

Имя: InitFltsAndDblsToZero (Simulink Coder)

Значение: 'on'

Местоположение : Optimization

Имя: Use memset to initialize floats and doubles to 0.0

Значение: Не выбранный

Имя: ZeroExternalMemoryAtStartup (Simulink Coder)

Значение: 'off'

Местоположение : Optimization

Имя: Remove root level I/O zero initialization

Значение: выбранный

Решатель

Имя: SolverType (Simulink)

Значение: 'Fixed-Step'

Местоположение : Solver

Имя: Type

Значение: Fixed-step

Имя: Solver (Simulink)

Значение: 'FixedStepDiscrete'

Местоположение : Solver

Имя: Solver

Значение: discrete (no continuous states)