• Diagnostics > Sample Time > Single task rate transition

• Diagnostics > Sample Time > Enforce sample time specified by Signal Specification blocks

• Diagnostics > Data Validity > Merge Block > Detect multiple driving blocks executing at the same time step

For multitasking models, set to either warning or error the following diagnostics:

• Diagnostics > Sample Time > Multitask task rate transition

• Diagnostics > Sample Time > Multitask conditionally executed subsystem

• Diagnostics > Sample Time >Tasks with equal priority

If the model contains Data Store Memory blocks, set to either Enable all as warnings or Enable all as errors the following diagnostics:

• Diagnostics > Data Validity > Data Store Memory Block > Detect read before write

• Diagnostics > Data Validity > Data Store Memory Block > Detect write after read

• Diagnostics > Data Validity > Data Store Memory Block > Detect write after write

• Diagnostics > Data Validity > Data Store Memory Block > Multitask data store

• Diagnostics Pane: Solver

• hisl_0013: Usage of data store blocks