行业标准
英国航空航天和国防-高完整性系统
DO-178B标准发布时,大多数软件都是手工编码的,但它可以映射到自动代码生成和产品下载188bet金宝搏基于模型的设计,包括MATLAB,金宝app,Stateflow,嵌入式编码器,做资格工具包.
英国MathWorks航空航天和国防工业工作组包括空中客车运营有限公司、BAE系统有限公司、MBDA英国有限公司、Selex Galileo有限公司等。该小组编制了以下文件,为在开发高完整性系统和软件时应用基于模型的设计提供指导。
在符合do - 178b的流程中部署MathWorks产品的指南下载188bet金宝搏
指南中包含的材料与最近发布的增补DO-331:基于模型的开发和验证增补DO-178C和DO-278A,以及更新的标准DO-178C一致。
做- 178 b的细节:
- 做资格工具包-验证Simulin金宝appk和Polyspace验证工具做- 178
- 基于模型的DO-178B -设计参考工作流和模型的指导方针
开发DO下载188bet金宝搏-178应用的主要产品:
更多关于MathWorks对DO-178的金宝app支持:
-
- 178流程部署吗-新的谘询服务
-
金宝app通过DO-178B标准认证的Simulink编码器和应用程序- - - - - -技金宝app术支持
-
DO-178B认证:使用代码验证实现自动化和简化(43:53)——网络研讨会