User`s guide

22 Checking Systems Interactively
22-16
Model Checks for DO-178C/DO-331 Standard Compliance
You can check that your model or subsystem complies with selected aspects of the
DO-178C safety standard by running the Model Advisor. Navigate to By Product >
Simulink Verification and Validation > Modeling DO-178C/DO-331 Checks and
run the checks.
For information on the DO-178C Software Considerations in Airborne Systems and
Equipment Certification and related standards, see Radio Technical Commission for
Aeronautics (RTCA) .
The table lists the DO-178C/DO-331 checks, with applicable “High-Integrity System
Modeling” guidelines.
DO-178C/DO-331 Check Applicable High-Integrity System Modeling
Guidelines
“Check safety-related optimization
settings”
• “hisl_0018: Usage of Logical Operator
block”
• “hisl_0045: Configuration Parameters >
Optimization > Implement logic signals
as Boolean data (vs. double)”
• “hisl_0046: Configuration Parameters >
Optimization > Block reduction”
• “hisl_0048: Configuration Parameters
> Optimization > Application lifespan
(days)”
• “hisl_0052: Configuration Parameters >
Optimization > Data initialization”
• “hisl_0053: Configuration Parameters
> Optimization > Remove code from
floating-point to integer conversions
that wraps out-of-range values”
• “hisl_0054: Configuration Parameters
> Optimization > Remove code that
protects against division arithmetic
exceptions”
“Check safety-related diagnostic settings
for solvers”
“hisl_0043: Configuration Parameters >
Diagnostics > Solver”