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