The DO-254 standard defines a set of objectives for hardware to be certified for use in airborne systems. MATLAB^® and Simulink^® enable you to satisfy DO-254 objectives and support these processes:

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

Using Model-Based Design also helps you 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 at different levels.