Aerospace and Defense

Industry Standards

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

DO-254

The DO-254 safety standard, Design Assurance Guidance for Airborne Electronic Hardware, ensures that complex electronic hardware used in aircraft systems performs as intended under all foreseeable conditions. Compliance to DO-254 is an increasingly common requirement for both commercial and military projects.

Engineers use Model-Based Design for requirements analysis, design, automatic HDL code generation, and verification to produce airborne electronic hardware that adheres to DO-254. They also use Model-Based Design to produce flight software that adheres to the defined safety standard DO-178B.

DO-254 Details

• DO Qualification Kit – Qualify Simulink verification tools to DO safety standards.
• Model-Based Design for DO-254 (Excerpts) – A sampling of recommendations for applying MathWorks products for Model-Based Design to safety-critical systems.
• Request the complete set of DO-254 recommendations.

Key Products for Developing DO-254 Applications

• Simulink
• DO Qualification Kit
• EDA Simulator Link
• Simulink Design Verifier
• Simulink Fixed Point
• Simulink HDL Coder
• Simulink Verification and Validation
• Stateflow
• SystemTest

MathWorks Support for DO-254

• Recorded Webinar: Overview of Model-Based Design for DO-254
• Technical Demonstration: Model-Based Design for DO-254
• White Paper: Enabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools 
• Product Capability: HDL Code Generation and Verification
• Application: FPGA Design
• Press Release: The MathWorks And Mentor Graphics Outline Joint DO-254 Workflow For Model-Based Design