Model by model verification

Option to analyze each model or referenced model individually

Model Configuration Pane: Polyspace

Description

The Model by model verification parameter determines whether Polyspace^® analyzes models in a model reference hierarchy individually ignoring model interactions, or analyzes the models together and takes model interactions into account.

You can find this parameter in the Polyspace pane of the Configuration Parameters dialog box, in the Model reference section.

Analyzing models individually results in a faster analysis. Because such an analysis lacks the broader context of referenced models, Polyspace reports a higher number of orange checks and coding rule violations in your code.

Dependencies

This option applies only to code generated by Embedded Coder^®.

Settings

off (default) | on

off: Polyspace analyzes your models together taking model interactions into account.
on: Polyspace analyzes your model and each of its referenced models individually, ignoring model interactions.

Recommended Settings

Application	Setting
Debugging	No Impact
Traceability	No Impact
Efficiency	No Impact
Safety precaution	No Impact

Programmatic Use

Parameter: ModelRefByModelRefVerif for use with pslinkoptions

Parameter: PSModelRefByModelRefVerif for use with set_param()

Values: 'false' | 'true'

Default: 'false'

Example:

opt = pslinkoptions(modelname); opt.ModelRefByModelRefVerif =
                    true;

Version History

Introduced in R2016b