Main Content

Check signal name propagation

Check ID: mathworks.jmaab_v6.jc_0009

Guideline: jc_0009: Signal name propagation

Description

Check for propagated labels on signal lines.

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 contains sub-checks that correspond to sub IDs specified in the MAB and JMAAB modeling guidelines. You can use the Model Advisor Configuration Editor to specify which sub IDs (one or multiple) to execute.

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

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. 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.
jc_0009_c: Check for empty signal propagationOne or more subsystems or connection blocks in the model display empty propagated signals.Disable signal propagation by deselecting Show propagated signal parameter for signals.

Capabilities and Limitations

  • Does not run on library models.

  • Does not consider global setting. As a result, you must set signal propagation for each signal.

  • Highlights blocks containing lines with missing signal propagation.

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

Edit-Time Checking

This check is supported by edit-time checking.