Aerospace and Defense

Industry Standards

• DO-178B
• MISRA C

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 Real-Time Workshop 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.

• Model-Based Design for DO-178B (Excerpts) – a sampling of recommendations for applying MathWorks products for Model-Based Design to DO-178B measures and techniques
• Request the complete set of DO-178B recommendations

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

• Simulink
• Stateflow
• Real-Time Workshop
• Real-Time Workshop Embedded Coder
• Simulink Design Verifier
• Simulink Verification and Validation
• PolySpace code verification products
• Embedded IDE Link MU (for Green Hills MULTI)

• Recorded Webinar: Model-Based Design for DO-178B
• Interactive Demo: Using MathWorks Tools to Apply Model-Based Design for DO-178B Applications