User`s guide

22 Checking Systems Interactively
22-18
DO-178C/DO-331 Check Applicable High-Integrity System Modeling
Guidelines
“Check for blocks that do not link to
requirements”

“Check state machine type of Stateflow
charts”
“hisf_0001: Mealy and Moore semantics”
“Check Stateflow charts for ordering of
states and transitions”
“hisf_0002: User-specified state/transition
execution order”
“Check Stateflow debugging options” “hisf_0011: Stateflow debugging settings”
“Check usage of lookup table blocks” 
“Check for MATLAB Function interfaces
with inherited properties”
“himl_0002: Strong data typing at
MATLAB function boundaries”
“Check MATLAB Function metrics” “himl_0003: Limitation of MATLAB
function complexity”
“Check MATLAB Code Analyzer messages” “himl_0004: MATLAB Code Analyzer
recommendations for code generation”
“Check MATLAB code for global variables” “himl_0005: Usage of global variables in
MATLAB functions”
“Check for inconsistent vector indexing
methods”
“hisl_0021: Consistent vector indexing
method”
“Check for blocks not recommended for C/C
++ production code deployment”

“Check Stateflow charts for uniquely
defined data objects”
“hisl_0061: Unique identifiers for clarity”
“Check usage of Math Operations blocks” • “hisl_0001: Usage of Abs block”
• “hisl_0002: Usage of Math Function
blocks (rem and reciprocal)”
• “hisl_0004: Usage of Math Function
blocks (natural logarithm and base 10
logarithm)”
• “hisl_0029: Usage of Assignment blocks”
“Check usage of Signal Routing blocks” 