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

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

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

Имя: SystemTargetFile (Simulink Coder)

Значение: Embedded Coder® Файл компилятора целевого языка (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 (Embedded 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 (Embedded 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)