Main Content

Check signal name propagation

Check ID: mathworks.jmaab.jc_0009

Guideline: jc_0009: Signal name propagation

Description

Check for propagated labels on signal lines.

You should propagate a signal label from its source rather than enter the signal label explicitly (manually) if the signal originates from:

  • An Inport block in a nested subsystem. However, if the nested subsystem is a library subsystem, you can explicitly label the signal coming from the Inport block to accommodate reuse of the library block.

  • A basic block that performs a non-transformative operation.

  • A Subsystem or Stateflow® Chart block. However, if the connection originates from the output of an instance of the library block, you can explicitly label the signal to accommodate reuse of the library block.

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,b

Results and Recommended Actions

Guideline Sub IDConditionRecommended Action
jc_0009_a: Check Signal name propagation for subsystemsThe model includes subsystems that do not have propagated signal labels. Add labels and enable signal propagation by selecting Show propagated signal parameter for signals.
One or more subsystems in the model display empty propagated signals.Disable signal propagation by un-selecting Show propagated signal parameter, or if required, add a new label.
One or more subsystems in the model do not display propagated signals but have signal names.Remove labels and enable signal propagation by selecting Show propagated signal parameter for signals.
jc_0009_b: Check Signal name propagation for connection blocksOne or more connection blocks in the model do not propagate signals even when source block has labels.Enable signal propagation by selecting Show propagated signal parameter for signals.
One or more connection blocks in the model display empty propagated signals.Disable signal propagation by un-selecting Show propagated signal parameter, or if required, add a new label.
One or more connection blocks in the model do not display propagated signals but have signal names.Remove labels and enable signal propagation by selecting Show propagated signal parameter for signals.

Capabilities and Limitations

  • Does not run on library models.

  • 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.

  • Allows exclusions.