Main Content

Stateflow

Stateflow® 图外观、数据和运算、事件以及模式

将 MAB 规范应用于 Stateflow 图外观、数据和运算、事件和模式。

建模规范

全部展开

db_0123：Stateflow 端口名称
db_0125: Stateflow local data
db_0126: Defining Stateflow events
jc_0701: Usable number for first index
jc_0712: Execution timing for default transition path
jc_0722: Local data definition in parallel states
jc_0797: Unconnected transitions / states / connective junctions
db_0137: States in state machines
jc_0721: Usage of parallel states
db_0129: Stateflow transition appearance
jc_0531: Default transition
jc_0723: Prohibited direct transition from external state to child state
jc_0751: Backtracking prevention in state transition
jc_0760: Starting point of internal transition
jc_0763: Usage of multiple internal transitions
jc_0762: Prohibition of state action and flow chart combination
db_0132: Transitions in flow charts
jc_0773: Unconditional transition of a flow chart
jc_0775: Terminating junctions in flow charts
jc_0738: Usage of Stateflow comments
jc_0790: Action language of Chart block
jc_0702: Use of named Stateflow parameters and constants
jm_0011: Pointers in Stateflow
jc_0491: Reuse of Stateflow data
jm_0012: Usage restrictions of events and broadcasting events
jc_0733: Order of state action types
jc_0734: Number of state action types
jc_0740: Limitation on use of exit state action
jc_0741: Timing to update data used in state chart transition conditions
jc_0772: Execution order and transition conditions of transition lines
jc_0753: Condition actions and transition actions in Stateflow
jc_0711: Division in Stateflow
db_0127: Limitation on MATLAB commands in Stateflow blocks
jc_0481: Use of hard equality comparisons for floating point numbers in Stateflow
na_0001: Standard usage of Stateflow operators
jc_0655: Prohibition of logical value comparison in Stateflow
jc_0451: Use of unary minus on unsigned integers
jc_0802: Prohibited use of implicit type casting in Stateflow
jc_0803: Passing values to library functions
jc_0732: Distinction between state names, data names, and event names
jc_0730: Unique state name in Stateflow blocks
jc_0731: State name format
jc_0501: Format of entries in a State block
jc_0736: Uniform indentations in Stateflow blocks
jc_0739: Describing text inside states
jc_0770: Position of transition label
jc_0771: Comment position in transition labels
jc_0752: Condition action in transition label
jc_0774: Comments for through transition
jc_0511: Return values from a graphical function
jc_0804: Prohibited use of recursive calls with graphical functions
na_0042: Usage of Simulink functions
na_0039: Limitation on Simulink functions in Chart blocks