The DO-254 standard defines a set of objectives for hardware to be certified for use in airborne systems. It is modeled after DO-178, the equivalent standard for flight software certification. As with DO-178, satisfying DO-254 objectives can be expensive and time-consuming due to several processes:

  • Requirements management and tracing
  • Conformance to design standards
  • Verification and validation

Using Model-Based Design, engineers can satisfy DO-254 objectives while realizing cost and time-to-market benefits associated with early verification of requirements, automated linking to requirements, model and code standards checking, code generation, report artifact generation, and test case reuse.

MATLAB®, Simulink®, and HDL Coder™ support key development activities involving Model-Based Design for DO-254.

Additional Products Supporting Important Verification Tasks