User`s guide

Model Checks for DO-178C/DO-331 Standard Compliance
22-17
DO-178C/DO-331 Check Applicable High-Integrity System Modeling
Guidelines
“Check safety-related diagnostic settings
for sample time”
“hisl_0044: Configuration Parameters >
Diagnostics > Sample Time”
“Check safety-related diagnostic settings
for signal data”
“hisl_0005: Usage of Product blocks”
“Check safety-related diagnostic settings
for parameters”
“hisl_0302: Configuration Parameters >
Diagnostics > Data Validity > Parameters”
“Check safety-related diagnostic settings
for data used for debugging”

“Check safety-related diagnostic settings
for data store memory”
“hisl_0013: Usage of data store blocks”
“Check safety-related diagnostic settings
for type conversions”
“hisl_0309: Configuration Parameters >
Diagnostics > Type Conversion”
“Check safety-related diagnostic settings
for signal connectivity”
“hisl_0306: Configuration Parameters >
Diagnostics > Connectivity > Signals”
“Check safety-related diagnostic settings
for bus connectivity”
“hisl_0307: Configuration Parameters >
Diagnostics > Connectivity > Buses”
“Check safety-related diagnostic settings
that apply to function-call connectivity”
“hisl_0308: Configuration Parameters >
Diagnostics > Connectivity > Function
calls”
“Check safety-related diagnostic settings
for compatibility”
“hisl_0301: Configuration Parameters >
Diagnostics > Compatibility”
“Check safety-related diagnostic settings
for model initialization”
“hisl_0304: Configuration Parameters
> Diagnostics > Data Validity > Model
Initialization”
“Check safety-related diagnostic settings
for model referencing”
“hisl_0310: Configuration Parameters >
Diagnostics > Model Referencing”
“Check safety-related model referencing
settings”

“Check safety-related code generation
settings”

“Check safety-related diagnostic settings
for saving”
