Main Content

Check safety-related diagnostic settings for data store memory

Check ID: mathworks.hism.hisl_0013

Check model configuration for diagnostic settings that apply to data store memory and that can impact safety.

Description

This check verifies that model diagnostic configuration parameters pertaining to data store memory are set optimally for generating code for a safety-related application.

Available with Simulink® Check™.

Results and Recommended Actions

ConditionRecommended Action
The diagnostic that detects whether the model attempts to read data from a data store in which it has not stored data in the current time step is set to a value other than Enable all as errors. Reading data before it is written can result in use of stale data or data that is not initialized.Set Detect read before write in the Configuration Parameters dialog box or set the parameter ReadBeforeWriteMsg to Enable all as errors.
The diagnostic that detects whether the model attempts to store data in a data store, after previously reading data from it in the current time step, is set to a value other than Enable all as errors. Writing data after it is read can result in use of stale or incorrect data. Set Detect write after read in the Configuration Parameters dialog box or set the parameter WriteAfterReadMsg to Enable all as errors.
The diagnostic that detects whether the model attempts to store data in a data store twice in succession in the current time step is set to a value other than Enable all as errors. Writing data twice in one time step can result in unpredictable data. Set Detect write after write in the Configuration Parameters dialog box or set the parameter WriteAfterWriteMsg to Enable all as errors.
The diagnostic that detects when one task reads data from a Data Store Memory block to which another task writes data is set to none or warning. Reading or writing data in different tasks in multitask mode can result in corrupted or unpredictable data. Set Multitask data store in the Configuration Parameters dialog box or set the parameter MultiTaskDSMMsg to error.
The diagnostic detects that the parameter Duplicate data store names is not set to error.Set Duplicate data store names in the Configuration Parameters dialog box or set the parameter UniqueDataStoreMsg to error.

Action Results

Clicking Modify Settings configures model diagnostic settings that apply to data store memory and that can impact safety.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also