Main Content

Check repetition of Action types

Check ID: mathworks.jmaab.jc_0734

Guideline: jc_0734: Number of state action types

Description

Identifies repeated Action types in a Stateflow® state.

The action types (entry (en), during (du), exit (ex), en, du:, du, ex:, en, ex:, en, du, ex: ) must not be described two or more times in a Stateflow state.

This check requires a Simulink® Check™ and Stateflow 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 — a

  • JMAAB — a

Results and Recommended Actions

ConditionRecommended Action
One or more action types is used multiple times in a Stateflow state.Merge the actions types so that each of the action types is defined only once in a Stateflow state.

Capabilities and Limitations

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

  • Allows exclusions of charts.