Aerospace and Defense


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 support important verification tasks:

Key Products for Developing DO-254 Applications

MathWorks Support for DO-254

Additional Resources

Aerospace and Defense
Trial Software

Get trial software

Technical Demostration

Model-Based Design for DO-254

Ver seminario virtual