行业标准

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

DO-178B标准是在大多数软件采用手工编码时发布的，但它可以映射到自动代码生成和产品下载188bet金宝搏基于模型的设计包括…在内MATLAB,金宝app,状态流和嵌入式编码器和DO资格鉴定套件.

英国MathWorks航空航天和国防工业工作组包括空客运营有限公司、BAE系统有限公司、MBDA英国有限公司、Selex伽利略有限公司和其他公司。工作组编制了以下文件，以指导如何将基于模型的设计应用于高完整性系统和软件的开发。

在符合DO-178B的流程中部署MathWorks产品的指南下载188bet金宝搏

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

DO-178B详细信息：

• DO资格鉴定套件-确认Simulin金宝appk和多空间验证工具待办事项
• 基于模型的DO-178B设计-参考工作流和示范准则

开发DO下载188bet金宝搏-178应用程序的关键产品：

• DO资格鉴定套件（适用于DO-178和DO-254）
• 金宝app
• 状态流
• 嵌入式编码器
• 金宝appSimulink代码检查器
• 金宝appSimulink设计验证程序
• 金宝app模拟链路检查
• 金宝app模拟链路覆盖
• 金宝app模拟链路要求
• 金宝appSimulink报告生成器
• Polyspace代码验证产品下载188bet金宝搏

有关MathWorks对DO-178的支持金宝app的更多信息：