Check safety-related diagnostic settings for model referencing

mathworks.hism.hisl_0310

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0310: Configuration Parameters > Diagnostics > Model Referencing

Description

This check verifies that the model configuration uses optimal parameter settings that apply to model referencing when generating code 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 diagnostic settings that apply to model referencing and that can impact safety.

Modeling Condition Recommended Action

Modeling Condition	Recommended Action
The diagnostic that detects port and parameter mismatches during model loading and updating is set to `none` or `warning`. If undetected, such mismatches can lead to incorrect simulation results because the parent and referenced models have different interfaces.	Set model configuration parameter Port and parameter mismatch to `error`.
The diagnostic that detects whether To Workspace or Scope blocks are logging data in a referenced model is set to `none` or `warning`. Data logging is not supported for To Workspace and Scope blocks in referenced models.	Set model configuration parameter Unsupported data logging to `error`. To log data, remove the blocks and log the referenced model signals. For more information, see Override Signal Logging Settings with Signal Logging Selector.

The diagnostic that detects port and parameter mismatches during model loading and updating is set to none or warning. If undetected, such mismatches can lead to incorrect simulation results because the parent and referenced models have different interfaces.

Set model configuration parameter Port and parameter mismatch to error.

The diagnostic that detects whether To Workspace or Scope blocks are logging data in a referenced model is set to none or warning. Data logging is not supported for To Workspace and Scope blocks in referenced models.

Set model configuration parameter Unsupported data logging to error.

To log data, remove the blocks and log the referenced model signals. For more information, see Override Signal Logging Settings with Signal Logging Selector.

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 R2008a

expand all

R2024a: Model Advisor check updated to remove checking for Invalid root Inport/Outport block connection parameter

Simulink no longer supports the model configuration parameter Invalid root Inport/Outport block connection. As a result, this check was updated to remove checking for Invalid root Inport/Outport block connection. Use Model Advisor check Check for invalid root input and output port connections (ID: mathworks.hism.hisl_0079) instead.