Check safety-related diagnostic settings for saving

mathworks.hism.hisl_0036

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0036: Configuration Parameters > Diagnostics > Saving

Description

This check verifies that the model configuration parameters uses optimal parameter settings for saving a model for a safety-related application.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

You can use the Fix button to allow the Model Advisor to fix flagged violations. For this check, the Model Advisor configures model code generation settings that apply to saving a model file.

Modeling ConditionRecommended Action
Before saving the model, Simulink does not report an error when it detects that the model contains disabled library links.Prevent generation of incorrect code by setting the model configuration parameter Block diagram contains disabled library links to error or by setting SaveWithDisabledLinkMsg to "error" by using set_param.
Before saving the model, Simulink does not report an error when it detects that the model contains library links that use parameters that are not in a mask.Prevent generation of incorrect code by setting the model configuration parameter Block diagram contains parameterized library links to error or by setting SaveWithParameterizedLinksMsg to "error" by using set_param.

Click Modify Settings to configure model diagnostic settings that apply to saving a model file.

Capabilities and Limitations

  • Does not run on library models

  • Does not allow exclusions of blocks or charts

  • Does not require model compilation

Version History

Introduced in R2011a

expand all

See Also

|

Topics