Check type setting by data objects

Check ID: mathworks.jmaab_v6.jc_0644

Guideline: jc_0644: Type setting

Description

Identifies Simulink^® blocks that violate the type setting if signal objects are used (if signal data type is set in signal object, then it must not be set on the block side).

This check exempts:

Data type conversion block.
Type setting using fixdt.
Double and Boolean types.
Reusable internal part of a function (atomic subsystem).
Block output data type set to Inherit via backpropagation.
A block with a data type set by default. For example, the default Output data type of a Logical Operator block is set to boolean.

This check requires a Simulink Check™ license.

Check Parameterization

This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.

For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:

NA-MAAB — No recommendations
JMAAB — a

Results and Recommended Actions

Condition	Recommended Action
Signal data type is set to different types in signal objects and in the block.	Set the output data type of the blocks either to auto or Inherit via back propagation.

Capabilities and Limitations

Does not run on library models.
Allows exclusions of blocks and charts.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.