行业标准
英国航空航天和国防 - 高完整性系统
当大多数软件是由手工编码的DO-178B标准发布,但它可以映射到自动代码生成和产品s manbetx 845基于模型的设计, 包含MATLAB,万博1manbetx,Stateflow的和嵌入式编码和DO资格套件。
英国MathWorks的航空航天和国防工业工作组包括空中客车运营公司,BAE系统PLC,MBDA公司(英国)有限公司,SELEX Galileo公司有限公司等。本集团生产下列文件到基于模型的设计应用到高完整性系统和软件的发展提供指导。
一个DO-178B兼容过程中的指导方针MathWorks产品的部署s manbetx 845
材料包含的指导方针是符合最近公布的补充,DO-331:基于模型的开发和验证补充DO-178C和DO-278A,以及更新的标准DO-178C。
DO-178B详细介绍:
- DO资格套件- 资格Simuli万博1manbetxnk和Polyspace验证工具到DO-178
- 基于模型的设计DO-178B -参考流程和型号指南
为开发Ds manbetx 845O-178应用主要产品:
更多关于DO-178 MathWorks的万博1manbetx支持:
-
DO-178流程部署- 新的咨询服务
-
万博1manbetxSimulink的编码器和认证的DO-178B标准应用- 技术支援万博1manbetx
-
DO-178B认证:自动化和简化使用代码验证(43:53)- 网络研讨会