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