Check safety-related diagnostic settings for model initialization

Check ID: mathworks.hism.hisl_0304

In the model configuration, check diagnostic settings that affect model initialization and might impact safety.

Description

This check verifies that model diagnostic configuration parameters for initialization are optimally set to generate code for a safety-related application.

Available with Simulink^® Check™.

Results and Recommended Actions

Condition Recommended Action

Condition	Recommended Action
In the Configuration Parameters dialog box, the Underspecified initialization detection diagnostic is set to `Classic`, ensuring compatibility with previous releases of Simulink. The Check undefined subsystem initial output diagnostic is cleared. This diagnostic specifies whether Simulink displays 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 could have an output that is not initialized. If undetected, this condition can produce behavior that is nondeterministic.	Do one of the following: In the Configuration Parameters dialog box, set Underspecified initialization detection to `Simplified`. In the Configuration Parameters dialog box, set Underspecified initialization detection to `Classic` and select Check undefined subsystem initial output. Set the parameter `CheckSSInitialOutputMsg` to `on`.
In the Configuration Parameters dialog box, the Underspecified initialization detection diagnostic is set to `Classic`, ensuring compatibility with previous releases of Simulink. This diagnostic detects potential initial output differences from earlier releases. A conditionally executed subsystem could have an output that is not initialized. If undetected, this condition can produce behavior that is nondeterministic.	Do one of the following: In the Configuration Parameters dialog box, set Underspecified initialization detection to `Simplified`. In the Configuration Parameters dialog box, set Underspecified initialization detection to `Classic`. Set the parameter `CheckExecutionContextPreStartOutputMsg` to `on`.

In the Configuration Parameters dialog box, the Underspecified initialization detection diagnostic is set to Classic, ensuring compatibility with previous releases of Simulink. The Check undefined subsystem initial output diagnostic is cleared. This diagnostic specifies whether Simulink displays 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 could have an output that is not initialized. If undetected, this condition can produce behavior that is nondeterministic.

Do one of the following:

In the Configuration Parameters dialog box, set Underspecified initialization detection to Simplified.
In the Configuration Parameters dialog box, set Underspecified initialization detection to Classic and select Check undefined subsystem initial output.
Set the parameter CheckSSInitialOutputMsg to on.

In the Configuration Parameters dialog box, the Underspecified initialization detection diagnostic is set to Classic, ensuring compatibility with previous releases of Simulink. This diagnostic detects potential initial output differences from earlier releases. A conditionally executed subsystem could have an output that is not initialized. If undetected, this condition can produce behavior that is nondeterministic.

Do one of the following:

In the Configuration Parameters dialog box, set Underspecified initialization detection to Simplified.
In the Configuration Parameters dialog box, set Underspecified initialization detection to Classic.
Set the parameter CheckExecutionContextPreStartOutputMsg to on.

Action Results

To configure the diagnostic settings that affect model initialization and might impact safety, click Modify Settings.

Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window.

Capabilities and Limitations

Does not run on library models.
Does not allow exclusions of blocks or charts.