Aerospace and Defense

Industry Standards

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

UK Aerospace and Defense - High-Integrity Systems

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

The UK MathWorks Aerospace and Defense Industry Working Group includes Airbus Operations Ltd, BAE Systems plc, MBDA UK Ltd, Selex Galileo Ltd, and others. The group produced the following document to provide guidance on the application of Model-Based Design to the development of high-integrity systems and software.

Guidelines for Deployment of MathWorks Products within a DO-178B-Compliant Process

Material contained within the guidelines is consistent with the recently published supplement, DO-331: Model-Based Development and Verification Supplement to DO-178C and DO-278A, and the updated standard DO-178C.

DO-178B Details:

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

Key products for developing DO-178 applications:

• 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

More about MathWorks support for DO-178:

• 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 Example: 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