Aerospace and Defense

Industry Standards

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

DO-178B

The DO-178B standard was published when most software was coded by hand, but it may be mapped to automatic code generation and other products for Model-Based Design, including MATLAB, Simulink, Stateflow, and Embedded Coder.

Model-Based Design is used for developing embedded software in aerospace, defense, and other industries and application areas. Engineers use Model-Based Design to produce flight software that adheres to the defined safety standard DO-178B, Software Considerations in Airborne Systems and Equipment Certification.

The MathWorks DO Qualification Kit product aids tool qualification for DO-178B and related standards.

• DO Qualification Kit - Qualify Simulink and Polyspace verification tools to DO-178
• Model-Based Design for DO-178B - Reference Workflow and Model Guidelines

Technical Article: Model-Based Design for DO-178B

Software systems deployed in safety-critical applications in aerospace and other industries must satisfy rigorous development and verification standards. One of the most widely used of these standards is DO-178B "Software Considerations in Airborne Systems and Equipment Certification." This article compares three approaches to using Simulink system models and Model-Based Design to develop safety-critical systems that must satisfy the DO-178B standard:

• Using the model to capture only low-level software requirements
• Using the model to capture both high- and low-level software requirements
• Using separate models to capture the high-level and low-level software requirements

Read full Model-Based Design for DO-178B article

• DO Qualification Kit (for DO-178)
• Simulink
• Stateflow
• Embedded Coder
• Simulink Code Inspector new
• Simulink Design Verifier
• Simulink Verification and Validation
• Simulink Report Generator
• SystemTest
• Polyspace code verification products

• New Advisory Service: DO-178 Process Deployment
• Technical Support: Simulink Coder and Applications Certified to the DO-178B Standard
• Recorded Webinar: Model-Based Design for DO-178B
• Recorded Webinar: DO-178B Certification: Automate and Streamline Using Code Verification
• Recorded Webinar: Automating DO-178 Code Reviews Using Simulink Code Inspector
• Interactive Demo: Using MathWorks Tools to Apply Model-Based Design for DO-178B Applications
• Webinar Series: Model-Based Design for High-Integrity Software Development
• White Paper: AIAA 2009: Model-Based Design for DO-178B with Qualifiable Tools