User`s guide

22 Checking Systems Interactively
22-22
IEC 61508, ISO 26262, and EN 50128 Checks Applicable High-Integrity System Modeling
Guidelines
“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”