Check safety-related solver settings for tasking and sample-time

mathworks.hism.hisl_0042

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0042: Configuration Parameters > Solver > Tasking and sample time options

Description

This check verifies that the model configuration uses optimal parameter settings to ensure that the model operates at a specific set of prioritized periodic sample times 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.

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
Model configuration parameter Automatically handle rate transition for data transfer is selected.Clear model configuration parameter Automatically handle rate transition for data transfer.
Rate Transition block parameter Ensure data integrity during data transfer is cleared.For each Rate Transition block, select the block parameter Ensure data integrity during data transfer.

Capabilities and Limitations

  • Does not require model compilation

  • Does not run on library models

  • Does not allow exclusions of blocks or charts

Version History

Introduced in R2020a

expand all

See Also

Topics