用户中心

资讯 > 业界新闻

MathWorks基于模型的设计支持DO-178C标准

作者:www.cechina.cn2012.12.14阅读 2749

  2012 年 12月 11日- MathWorks 宣布CONTROL ENGINEERING China版权所有,从 Release 2012b (R2012b) 起,使用 DO Qualification Kit 的工程师们可以鉴定 SimulinkPolyspace 验证工具是否符合 DO-178C 及其补充标准(包括 DO-331)。这项针对 DO-178C 的支持现在为项目经理和认证机构提供了一种全球适用的标准化方法和框架www.cechina.cn,以采用基于模型的设计并加快嵌入式系统的认证。
  美国联邦航空局 (FAA) 指定的负责其软件 A 级审定的工程代表 Steve Morton 说:"使用 DO-178C 和 DO-331,飞机制造商和供应商们可以收获基于模型的设计所带来的生产率、成本和质量等诸多助益,并且了解他们可以认证自己的系统CONTROL ENGINEERING China版权所有,做到心中有数。DO Qualification Kit 中所描述的验证工作流程符合行业最佳实践和 FAA 软件认证机构的预期,包括验证独立性、可执行目标代码验证和针对自动生成的代码的结构覆盖率分析。"
  在 R2012b 中www.cechina.cn,DO Qualification Kit 还为以下 DO-178C 补充标准提供 Simulink 和 Polyspace 产品支持:
  ●  DO-330 软件工具鉴定注意事项
  ●  DO-331 基于模型的开发和验证
  ●  DO-332 面向对象技术和相关技术
  ●  DO-333 形式化方法
  DO Qualification Kit 为需要符合航空标准的项目提供了相关文档、测试用例以及程序来帮助鉴定支持的 Simulink 和 Polyspace 软件验证工具。该工具包还包括工具鉴定计划、工具使用要求和鉴定软件验证工具所需的其他材料(标准 2 和 3)。
  DO-178 流程部署咨询服务建立在MathWorks 现有的DO-178能力基础之上,是DO Qualification Kit 工具包的有力补充。该咨询服务在 2012 年中引入,可为航空工程师提供 DO-178 标准指导,找出他们当前流程中的缺陷,使用基于模型的设计提供进一步优化的 DO-178 流程框架的路线图www.cechina.cn,并为该路线图的部署提供帮助。
  欢迎访问以下地址参加免费的在线研讨会,了解 DO Qualification Kit 如何支持完整的软件开发和验证生命周期:使用 Tool Qualification Kit 为 DO-178 进行基于模型的设计。
  上市时间
  DO Qualification Kit R2012b 即将上市。有关更多信息,请访问产品网站 mathworks.cn/products/do-178/
版权声明:版权归控制工程网所有,转载请注明出处!
联系厂商

通过本站与本文涉及的厂商 迈斯沃克软件 (北京) 有限公司 联系,本站注册会员请登录后填写更便捷。 登录注册

  • 您的姓名:
  • 单位名称:
  • 联系电话:
  • 电子邮件:
  • 我想得到贵公司详细的技术资料
  • 我想得到贵公司的价格信息
  • 我想让贵公司销售人员和我联系
  • 我想让贵公司技术支持人员和我联系
其他意向:

频道推荐

关于我们

控制工程网 & CONTROL ENGINEERING China 全球工业控制、自动化和仪器仪表领域的先锋媒体

CE全球

联系我们

商务及广告合作
任小姐(北京)                 夏小姐(上海)
电话:010-82053688      电话:18616877918
rendongxue@cechina.cn      xiashuxian@cechina.cn
新闻投稿:王小姐

关注我们的微信

关于我们 | 网站地图 | 联系我们
© 2003-2020    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688