User`s guide

Model Checks for IEC 61508, ISO 26262, and EN 50128 Standard Compliance
22-21
IEC 61508, ISO 26262, and EN 50128 Checks Applicable High-Integrity System Modeling
Guidelines
“Check usage of Stateflow constructs” • “hisf_0002: User-specified state/
transition execution order”
• “hisf_0009: Strong data typing
(Simulink and Stateflow boundary)”
• “hisf_0011: Stateflow debugging
settings”
• “hisl_0061: Unique identifiers for
clarity”
“Check state machine type of Stateflow
charts”
“hisf_0001: Mealy and Moore semantics”
“Check usage of Math Operations blocks” • “hisl_0001: Usage of Abs block”
• “hisl_0029: Usage of Assignment blocks”
“Check usage of Signal Routing blocks” 
“Check usage of Logic and Bit Operations
blocks”
• “hisl_0016: Usage of blocks that
compute relational operators”
• “hisl_0017: Usage of blocks that
compute relational operators (2)”
• “hisl_0018: Usage of Logical Operator
block”
“Check usage of Ports and Subsystems
blocks”
• “hisl_0006: Usage of While Iterator
blocks”
• “hisl_0007: Usage of While Iterator
subsystems”
• “hisl_0008: Usage of For Iterator
Blocks”
• “hisl_0009: Usage of For Iterator
Subsystem blocks”
“Check for inconsistent vector indexing
methods”
“hisl_0021: Consistent vector indexing
method”
“Check for model objects that do not link to
requirements”
