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.
DO-254 Support Material
- How to Use Model-Based Design to Demonstrate DO-254 Compliance (8:25)
- Certification of a Flight Control System Implemented on an SoC (13:33)
- Achieving STARC and DO-254 Compliance Using HDL Coder Generated Code
- MATLAB and Simulink for Embedded Systems
- HIL and Automated Testing Applications for Aerospace Using MathWorks and Speedgoat Solutions
- Universal Verification Methodology (UVM)
- SystemVerilog Assertions
- DO-254 Model-Based Design Workflow detail poster