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.
- 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.