do - 178 b标准出版ished when most software was coded by hand, but it can be mapped to automatic code generation and products forModel-Based Design, includingMATLAB,万博1manbetx,Stateflow, andEmbedded Coder, and做资格工具包.

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:

• 做资格工具包- Qualify Simulink andPolyspace verification toolsto DO-178
• Model-Based Design for DO-178B -Reference WorkflowandModel Guidelines

Key products for developing DO-178 applications:

• 做资格工具包(for DO-178 and DO-254)
• 万博1manbetx
• Stateflow
• Embedded Coder
• Simulink Code Inspector
• Simulink Design Verifier
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Polyspace code verification products

More about MathWorks support for DO-178: