Documentation

Model Configuration Parameters: Data Validity Diagnostics

The Diagnostics > Data Validity category includes parameters for detecting issues related to data (signals, parameters, and states). These issues include:

  • Loss of information due to data type quantization and overflow.

  • Loss of parameter tunability in the generated code.

  • Loss of information due to Data Store Write and Data Store Read block ordering.

On the Configuration Parameters dialog box, the following configuration parameters are on the Commonly Used tab on the Diagnostics > Data Validity pane, or on the All Parameters tab in the Diagnostics > Data Validity category.

ParameterDescription

Signal resolution

Select how Simulink® software resolves signals and states to Simulink.Signal objects.

Division by singular matrix

Select the diagnostic action to take if the Product block detects a singular matrix while inverting one of its inputs in matrix multiplication mode.

Underspecified data types

Select the diagnostic action to take if Simulink software could not infer the data type of a signal during data type propagation.

Simulation range checking

Select the diagnostic action to take when signals exceed specified minimum or maximum values.

Wrap on overflow

Select the diagnostic action to take if the value of a signal overflows the signal data type and wraps around.

Saturate on overflow

Select the diagnostic action to take if the value of a signal is too large to be represented by the signal data type, resulting in a saturation.

Inf or NaN block output

Select the diagnostic action to take if the value of a block output is Inf or NaN at the current time step.

"rt" prefix for identifiers

Select the diagnostic action to take during code generation if a Simulink object name (the name of a parameter, block, or signal) begins with rt.

Detect downcast

Select the diagnostic action to take when a parameter downcast occurs during simulation.

Detect overflow

Select the diagnostic action to take if a parameter overflow occurs during simulation.

Detect underflow

Select the diagnostic action to take when a parameter underflow occurs during simulation.

Detect precision loss

Select the diagnostic action to take when parameter precision loss occurs during simulation.

Detect loss of tunability

Select the diagnostic action to take when an expression with tunable variables is reduced to its numerical equivalent in the generated code.

Detect read before write

Select the diagnostic action to take if the model attempts to read data from a data store to which it has not written data in this time step.

Detect write after read

Select the diagnostic action to take if the model attempts to write data to a data store after previously reading data from it in the current time step.

Detect write after write

Select the diagnostic action to take if the model attempts to write data to a data store twice in succession in the current time step.

Multitask data store

Select the diagnostic action to take when one task reads data from a Data Store Memory block to which another task writes data.

Duplicate data store names

Select the diagnostic action to take when the model contains multiple data stores that have the same name. The data stores can be defined with Data Store Memory blocks or Simulink.Signal objects.

Related Examples

Was this topic helpful?