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