Check safety-related diagnostic settings that apply to function-call connectivity

mathworks.hism.hisl_0308

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls

Description

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

Modeling ConditionRecommended Action
The diagnostic that specifies whether the Simulink software has to compute inputs of a function-call subsystem directly or indirectly while executing the subsystem is set to Use local settings or Disable all. This diagnostic detects unpredictable data coupling between a function-call subsystem and the inputs of the subsystem in the generated code.Set model configuration parameter Context-dependent inputs 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