User`s guide

Model Checks for DO-178C/DO-331 Standard Compliance
22-19
DO-178C/DO-331 Check Applicable High-Integrity System Modeling
Guidelines
“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”
“Display model version information” 