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
Condition | Recommended 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