行业标准
英国航空航天和国防-高完整性系统
DO-178B标准发布时,大多数软件都是手工编码的,但它可以映射到自动代码生成和产品下载188bet金宝搏基于模型的设计,包括MATLAB,金宝app,Stateflow,嵌入式编码器,做资格工具包.
英国MathWorks航空航天和国防工业工作组包括空中客车运营有限公司、BAE系统有限公司、MBDA英国有限公司、Selex伽利略有限公司等。该小组制作了以下文件,为基于模型的设计在高完整性系统和软件开发中的应用提供指导。
在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)——网络研讨会