Industry Standards

DO-254

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:

• Simulink Requirements lets you author, analyze, and manage requirements within Simulink^®. Simulink Check provides industry-recognized checks and metrics that identify standard and guideline violations during development. Simulink Test and Simulink Coverage to perform model verification including model coverage analysis
• HDL Verifier verifes Verilog^® and VHDL^® code using HDL simulators and FPGA hardware-in-the-loop.
• Simulink Report Generator documents models and test results.
• DO Qualification Kit enables tool qualification for these and other verification tools used in Model-Based Design.

Key Products for Developing DO-254 Applications

• Simulink
• Stateflow
• Fixed-Point Designer
• HDL Coder
• HDL Verifier
• Simulink Requirements
• Simulink Coverage
• Simulink Check
• Simulink Test
• Simulink Design Verifier
• Simulink Report Generator
• DO Qualification Kit

MathWorks Support for DO-254