Aerospace and Defense

Industry Standards

• DO-178B
• DO-178C
• DO-254
• MISRA C
• NASA - Orion GN&C
• UK Aerospace and Defense - High-Integrity Systems

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 Verification and Validation automates requirements tracing, modeling standards compliance checking, and test-harness generation.
• 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
• Simulink Fixed Point
• HDL Coder
• HDL Verifier
• Simulink Verification and Validation
• Simulink Design Verifier
• SystemTest
• Simulink Report Generator
• DO Qualification Kit

MathWorks Support for DO-254

• Recorded Webinar: Overview of Model-Based Design for DO-254
• White Paper: Enabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools 
• Technical Support: Request the complete set of DO-254 recommendations
• Product Capability: HDL Code Generation and Verification
• Application: FPGA Design
• Press Release: MathWorks and Mentor Graphics Outline Joint DO-254 Workflow for Model-Based Design