For each chart listed above, in the Chart Properties dialog box, specify State Machine Type to either Mealy or Moore. Us

The Stateflow debugging options are selected

The following charts using Moore state machines were found in the model

Identify Stateflow charts that do not use explicit ordering of parallel states and transitions

There are no Stateflow charts in this subsystem

Check usage of Logic and Bit Operations blocks

Identifies local data identifiers that are defined in multiple scopes within a chart

Modify the model such that all inputs and outputs of the Logical Operator blocks listed in the results are boolean

There are no Logic blocks in this model or subsystem

Identify usage of Logic and Bit Operations blocks in Simulink that might impact safety

In the block parameters dialogs of these blocks, consider selecting 'Require all inputs and outputs to have same datatyp

The following Logical Operator blocks have at least one non-boolean input or output

The following Switch blocks might cause floating point inequality comparisons in generated code

Modify the listed blocks by changing the control input datatype or by changing the block criteria

Identify Switch blocks that might generate code with inequality operations in expressions where at least one side of the

Either create a unique identifier or use a single identifier that is in scope for all of the states

The model does not contain Stateflow charts. Stateflow Charts linked to libraries are not checked

The following Stateflow data object identifiers are defined in multiple scopes

Finds Stateflow local data with repeated identifiers

Change the debugging options to the recommended value

The model does not contain Stateflow charts. Stateflow Charts linked to libraries are not checked

Modify the specified Stateflow debugging options to the recommended values

Check Stateflow charts for ordering of states and transitions

No charts using Classic state machines were found in the model

No charts using Mealy state machines were found in the model