Main Content

Check trigger signal names

Check ID: mathworks.jmaab.jc_0281

Guideline: jc_0281: Trigger signal names

Description

Identifies the trigger blocks where the origin of the trigger signal and the destination have similar names.

Note

The check compares the names using Levenshtein distance.

This check applies to the following target components:

  • States, transitions, and truth tables in Stateflow® MATLAB® charts.

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 — a1/a2/a3/a4, b1/b2/b3/b4

Note

Sub-checks jc_0281_a1 and jc_0281_b1 are selected by default.

Results and Recommended Actions

Guideline Sub IDConditionRecommended Action
jc_0281_a1: Check names of the origin of the trigger signal and the conditional input blockThe name of the block at the origin of the trigger signal and the conditional input block name at the destination are dissimilar.The name of the block at the origin of the trigger signal and the conditional input block name at the destination must include the same name.
jc_0281_a2: Check names of the trigger signal and the conditional subsystemThe name of the block at the origin of the trigger signal and the conditional subsystem name at the destination are dissimilar.The name of the block at the origin of the trigger signal and the conditional subsystem name at the destination must include the same name.
jc_0281_a3: Check names of the origin of the trigger signal and the conditional input blockThe name of the trigger signal and the conditional input block name at the destination are dissimilar.The name of the trigger signal and the conditional input block name at the destination must include the same name.
jc_0281_a4: Check names of the trigger signal and the conditional subsystemThe name of the trigger signal and the conditional subsystem name at the destination must include the same name.The name of the trigger signal and the conditional subsystem name at the destination are dissimilar.
jc_0281_b1: Check names of the origin of the trigger signal and the Stateflow block eventThe name of the block at the origin of the trigger signal and the Stateflow block event name at the destination are dissimilar.The name of the block at the origin of the trigger signal and the Stateflow block event name at the destination must include the same name.
jc_0281_b2: Check names of the origin of the trigger signal and the Stateflow block nameThe name of the block at the origin of the trigger signal and the Stateflow block name at the destination are dissimilar.The name of the block at the origin of the trigger signal and the Stateflow block name at the destination must include the same name.
jc_0281_b3: Check names of trigger signal and the Stateflow block eventThe name of the trigger signal and the Stateflow block event name at the destination are dissimilar.The name of the trigger signal and the Stateflow block event name at the destination must include the same name.
jc_0281_b4: Check names of the trigger signal and Stateflow block nameThe name of the trigger signal and the Stateflow block name at the destination are dissimilar.The name of the trigger signal and the Stateflow block name at the destination must include the same name.

Capabilities and Limitations

  • Flags Trigger and Enable block names only.

  • Runs on library models.

  • Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.

  • Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.

  • Supports exclusions of blocks or charts.