行业标准

英国航空航天和国防 - 高完整性系统

DO-178B 标准发布之初,多数软件仍采用手工编码,但可以映射到自动代码生成和面向基于模型设计的产品,包括 MATLABSimulinkStateflowEmbedded Coder 以及 DO Qualification Kit

MathWorks英国航空航天和国防工业工作组包括 Airbus Operations Ltd、BAE Systems plc、MBDA UK Ltd、Selex Galileo Ltd 等。该工作组编写了以下文档,为基于模型设计在高完整性系统和软件开发中的应用提供指导。

关于在 DO-178B 合规流程中部署 MathWorks 产品的指南

指南中包含的材料与最近发布的《DO-331:DO-178C 和 DO-278A 的基于模型开发与验证补充文档》以及更新后的 DO-178C 标准保持一致。

DO-178B 详细信息:

用于开发 DO-178 应用的主要产品:

有关 MathWorks 针对 DO-178 所提供支持的更多信息: