na_0013: Comparison operation in Stateflow
Comparisons should be made only between variables of the same data type.
If comparisons are made between variables of different data types, the variables need to be explicitly type cast to matching data types.
Same data type in "i" and "n"
Different data type in "i" and "d"
Do not make comparisons between unsigned integers and negative numbers.
Verification and Validation
By Task > Modeling Standards for MAAB > Stateflow > Check for comparison operations in Stateflow charts
For check details, see Check for comparison operations in Stateflow charts (Simulink Verification and Validation).