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 Supporting 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.
Key Products for Developing DO-254 Applications
MathWorks Support for DO-254
-
Request the complete set of DO-254 recommendations - Technical Support
-
HDL Code Generation and Verification - Product Capability
-
FPGA Design - Application