Рекомендуемые образцовые параметры конфигурации для анализа 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)

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

Местоположение : 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)