Recommended Model Configuration Parameters for Polyspace Analysis

For Polyspace^® analyses, set the following configuration parameters before generating code. If you do not use the recommended value for SystemTargetFile, you get an error. For other parameters, if you do not use the recommended value, you get a warning.

Grouping Command-Line Name and Location in Configuration

Code Generation

Grouping	Command-Line	Name and Location in Configuration
Code Generation	Name: `SystemTargetFile (Simulink Coder)` Value: An Embedded Coder^® Target Language Compiler (TLC) file. For example `ert.tlc` or `autosar.tlc`.	Location: Code Generation Name: System target file Value: Embedded Coder target file
Name: `MatFileLogging (Simulink Coder)` Value: `'off'`	Location: Code Generation > Interface Name: MAT-file logging Value: Not selected
Name: `GenerateReport (Simulink Coder)` Value: `'on'`	Location: Code Generation > Report Name: Create code-generation report Value: Selected
Name: `IncludeHyperlinkInReport (Embedded Coder)` Value: `'on'`	Location: Code Generation > Report Name: Code-to-model Value: Selected
Name: `GenerateSampleERTMain (Embedded Coder)` Value: `'off'`	Location: Code Generation > Templates Name: Generate an example main program Value: Not selected
Name: `GenerateComments (Simulink Coder)` Value: `'on'`	Location: Code Generation > Comments Name: Include comments Value: Selected
Optimization	Name: `DefaultParameterBehavior (Simulink Coder)` Value: `'Inlined'`	Location: Optimization Name: Default parameter behavior Value: `Inlined`
Name: `InitFltsAndDblsToZero (Simulink Coder)` Value: `'on'`	Location: Optimization Name: Use memset to initialize floats and doubles to 0.0 Value: Not selected
Name: `ZeroExternalMemoryAtStartup (Embedded Coder)` Value: `'off'`	Location: Optimization Name: Remove root level I/O zero initialization Value: Selected
Solver	Name: `SolverType (Simulink)` Value: `'Fixed-Step'`	Location: Solver Name: Type Value: `Fixed-step`
Name: `Solver (Simulink)` Value: `'FixedStepDiscrete'`	Location: Solver Name: Solver Value: `discrete (no continuous states)`

Name: SystemTargetFile (Simulink Coder)

Value: An Embedded Coder^® Target Language Compiler (TLC) file.

For example ert.tlc or autosar.tlc.

Location: Code Generation

Name: System target file

Value: Embedded Coder target file

Name: MatFileLogging (Simulink Coder)

Value: 'off'

Location: Code Generation > Interface

Name: MAT-file logging

Value: Not selected

Name: GenerateReport (Simulink Coder)

Value: 'on'

Location: Code Generation > Report

Name: Create code-generation report

Value: Selected

Name: IncludeHyperlinkInReport (Embedded Coder)

Value: 'on'

Location: Code Generation > Report

Name: Code-to-model

Value: Selected

Name: GenerateSampleERTMain (Embedded Coder)

Value: 'off'

Location: Code Generation > Templates

Name: Generate an example main program

Value: Not selected

Name: GenerateComments (Simulink Coder)

Value: 'on'

Location: Code Generation > Comments

Name: Include comments

Value: Selected

Optimization

Name: DefaultParameterBehavior (Simulink Coder)

Value: 'Inlined'

Location: Optimization

Name: Default parameter behavior

Value: Inlined

Name: InitFltsAndDblsToZero (Simulink Coder)

Value: 'on'

Location: Optimization

Name: Use memset to initialize floats and doubles to 0.0

Value: Not selected

Name: ZeroExternalMemoryAtStartup (Embedded Coder)

Value: 'off'

Location: Optimization

Name: Remove root level I/O zero initialization

Value: Selected

Solver

Name: SolverType (Simulink)

Value: 'Fixed-Step'

Location: Solver

Name: Type

Value: Fixed-step

Name: Solver (Simulink)

Value: 'FixedStepDiscrete'

Location: Solver

Name: Solver

Value: discrete (no continuous states)