Check safety-related diagnostic settings for data used for debugging

mathworks.hism.hisl_0305

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging

Description

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

Modeling Condition	Recommended Action
The diagnostic that enables model verification blocks is set to Use local settings or Enable all. Such blocks are assertion blocks, which are for verification only. Assertions are not appropriate in embedded code.	Set model configuration parameter Model Verification block enabling to Disable All.

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