MathWorks提供支持- 17金宝app8 c与基于模型的设计

MathWorks今天宣布,开始释放2012 b (R2012b),工程师使用做资格工具包可以有资格金宝app和Polyspace验证工具为- 178 c和补充剂包括做- 331。现在- 178 c支持提供金宝app了项目经理和他们的认证机构标准化,全球采用的方法和框架基于模型的设计和加速嵌入式体系认证。

“使用- 178 c和- 331,做飞机制造商和供应商可以收获生产率、成本、质量和效益的基于模型的设计、安全的知识,他们可以证明他们的系统,”史蒂夫·莫顿说,联邦航空局软件DER水平。“验证工作流描述做资格包火柴行业最佳实践和美国联邦航空局的期望软件认证社区,包括验证独立、可执行的目标代码验证,和结构自动生成代码的覆盖率分析。”

在R2012b资格工具还支持仿真软件和Polyspace产品- 178 c金宝app以下补充:下载188bet金宝搏金宝app

• - 330软件工具资格考虑吗
• - 331基于模型的开发和验证吗
• - 332年面向对象技术和相关的技术吗
• - 333年正式的方法吗

做资格工具包提供了文档,测试用例,和程序帮助资格金宝app支持仿真软件和Pol金宝appyspace软件验证工具项目需要满足航空航天标准。装备还包括资格计划工具,工具运行要求,合格的软件验证工具所需的其他材料(标准2和3)。

增强现有MathWorks资格工具包构建做- 178功能,包括- 178流程部署咨询服务吗。诞生于2012年,这个咨询服务教育航空航天工程师做- 178标准,识别差距在他们当前的过程中,提供了一个路线图,更优化- 178使用基于模型的设计过程框架,和协助部署路线图。

参加免费的研讨会学习如何资格工具包支持完整的软件开发和验证生命周期:金宝app基于模型的设计资格包- 178使用工具(35:24)。

做资格工具包R2012b立即可用。为进一步的信息,请访问网站的产品mathworks.com/下载188bet金宝搏products/do-178/。