Check safety-related diagnostic settings for signal connectivity

mathworks.hism.hisl_0306

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals

Description

This check verifies that the model configuration uses optimal parameter settings that apply to signal connectivity 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 signal connectivity and that can impact safety.

Modeling ConditionRecommended Action
The diagnostic that detects virtual signals that have a common source signal but different labels is set to none or warning. This diagnostic pertains to virtual signals only and has no effect on generated code. However, signal label mismatches can lead to confusion during model reviews.Set model configuration parameter Signal label mismatch to error.
The diagnostic that detects when the model contains a block with an unconnected input signal is set to none or warning. Code is not generated for unconnected block inputs.Set model configuration parameter Unconnected block input ports to error.
The diagnostic that detects when the model contains a block with an unconnected output signal is set to none or warning. Dead code can result from unconnected block output signals. Set model configuration parameter Unconnected block output ports to error.
The diagnostic that detects unconnected signal lines and unmatched Goto or From blocks is set to none or warning. Code is not generated for unconnected lines. Set model configuration parameter Unconnected line to error.

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 R2007b

See Also

Topics