Check prohibited combination of state action and flow chart
Check ID:
mathworks.jmaab.jc_0762
Guideline: jc_0762: Prohibition of state action and flow chart combination
Description
Checks if the state actions: entry, during and exit within states and flow chart statements are used in combination.
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
Condition | Recommended Action |
---|---|
Stateflow states combine state actions: entry, during or exit with flow chart statements. | Separate state actions: entry, during or exit and flow chart statements into different states. |
Capabilities and Limitations
Runs 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 of blocks and charts.
Edit-Time Checking
This check is supported by edit-time checking.