Check safety-related diagnostic settings for model initialization

mathworks.hism.hisl_0304

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization

Description

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

In the Model Advisor report, D - indicates prerequisite subchecks. You need to resolve the prerequisite constraints to run dependent subchecks.

Modeling Condition

Recommended Action

The model is configured with these settings: Underspecified initialization detection set to Classic Check undefined subsystem initial output is cleared With this configuration, the software does not issue a warning if the model contains a conditionally executed subsystem, in which a block with a specified initial condition drives an Outport block with an undefined initial condition. A conditionally executed subsystem can have an output that is not initialized, which can produce nondeterministic behavior if the noninitialization of the output is not detected.

Address the initialization of initial conditions and outputs by using one of these methods: Set model configuration parameter Underspecified initialization detection to Simplified. Set model configuration parameter Underspecified initialization detection to Classic and select Check undefined subsystem initial output.

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 R2009b