|db_0123: Stateflow port names|
|db_0129: Stateflow transition appearance|
|db_0137: States in state machines|
|db_0133: Use of patterns for flow charts|
|db_0132: Transitions in flow charts|
|jc_0501: Format of entries in a State block|
|jc_0511: Setting the return value from a graphical function|
|jc_0531: Placement of the default transition|
|jc_0521: Use of the return value from graphical functions|
|na_0001: Bitwise Stateflow operators|
|jc_0451: Use of unary minus on unsigned integers in Stateflow|
|na_0013: Comparison operation in Stateflow|
|db_0122: Stateflow and Simulink® interface signals and parameters|
|db_0125: Scope of internal signals and local auxiliary variables|
|jc_0481: Use of hard equality comparisons for floating point numbers in Stateflow|
|jc_0491: Reuse of variables within a single Stateflow scope|
|jc_0541: Use of tunable parameters in Stateflow|
|db_0127: MATLAB commands in Stateflow|
|jm_0011: Pointers in Stateflow|
Recommendations for companies that develop tools that automate checking of the style guidelines.
Guidelines for writing new guidelines.
If-then-else-if construct patterns in Stateflow flow charts.
Basic blocks refer to blocks in the block libraries.
Signal labels make model functionality more understandable.
The MAAB glossary uses these terms.