do - 178 b标准出版大多数软件手工编码的时候,但它可以被映射到自动代码生成和产品s manbetx 845基于模型的设计,包括MATLAB,万博1manbetx,Stateflow,嵌入式编码器,做资格工具包。
英国MathWorks航空航天和国防工业工作组包括空客运营有限公司、BAE系统公司,MBDA英国有限公司,Selex伽利略公司等等。集团生产的以下文件的应用程序提供指导基于模型的设计高度集成系统和软件的开发。
MathWorks产品在做部署指南- 178 b -兼容的过程s manbetx 845
材料包含在最近出版的指导方针是一致的补充,做- 331:基于模型的开发和验证补充- 178 c和- 278 a,和更新标准- 178 c。
做- 178 b的细节:
- 做资格工具包——符合仿真软件和万博1manbetxPolyspace验证工具做- 178
- 基于模型的设计- 178 b -参考工作流和模型的指导方针
主要产品s manbetx 845为开发做- 178应用程序:
更多关于MathWorks支持做- 178万博1manbetx:
-
- 178流程部署吗——新的咨询服务
-
万博1manbetx仿真软件编码器和应用程序认证do - 178 b标准- - - - - -技万博1manbetx术支持