User`s guide

22 Checking Systems Interactively
22-26
By Task >
Modeling
Standards for
MAAB subfolder
MathWorks Automotive Advisory
Board (MAAB) Check
MAAB Control Algorithm Modeling
Guidelines, Version 3.0
“Check Stateflow data objects with
local scope”
db_0125: Scope of internal signals
and local auxiliary variables
“Check usage of return values
from a graphical function in
Stateflow charts”
jc_0521: Use of the return value
from graphical functions
“Check for MATLAB expressions
in Stateflow charts”
db_0127: MATLAB commands in
Stateflow
“Check for pointers in Stateflow
charts”
jm_0011: Pointers in Stateflow
“Check for event broadcasts in
Stateflow charts”
jm_0012: Event broadcasts
“Check transition actions in
Stateflow charts”
db_0151: State machine patterns
for transition actions
“Check for bitwise operations in
Stateflow charts”
na_0001: Bitwise Stateflow
operators
“Check for unary minus
operations on unsigned integers in
Stateflow charts”
jc_0451: Use of unary minus on
unsigned integers in Stateflow
“Check for comparison operations
in Stateflow charts”
na_0013: Comparison operation in
Stateflow
“Check for equality operations
between floating-point expressions
in Stateflow charts”
jc_0481: Use of hard equality
comparisons for floating point
numbers in Stateflow
“Check for mismatches between
names of Stateflow ports and
associated signals”
db_0123: Stateflow port names
MATLAB
Functions
and Code
“Check input and output settings
of MATLAB Functions”
na_0034: MATLAB Function block
input/output settings