Aerospace and Defense

Industry Standards

• DO-178B
• MISRA C

DO-178B

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 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.

Details:

• 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

Key products for developing DO-178B applications:

• 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)

More about MathWorks support for DO-178B:

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

Next