Check safety-related optimization settings for logic signals

mathworks.hism.hisl_0045

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)

Description

This check verifies that the model optimization configuration parameter for logic signals is set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety.

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.

If you consider the flagged violation to either not be relevant or not feasible for your design, use the Justify button to provide rationale as to why the violation is either not relevant or not feasible for your design.

You can use the Fix button to allow the Model Advisor to fix all flagged violations. For this check, the Model Advisor configures model code generation settings that can impact safety.

Modeling ConditionRecommended Action
Blocks that generate logic signals output a signal of double data type.

Select model configuration parameter Implement logic signals as Boolean data (vs. double) or set the parameter BooleanDataType to 'on'.

Capabilities and Limitations

  • Supports justification

  • Does not require model compilation

  • Does not run on library models

  • Does not allow exclusions of blocks or charts

Version History

Introduced in R2018b

See Also

Topics