(工业和信息化部电子科学技术情报研究所梁志成)
本文来源:中国国防科技信息网
r2012b do认证套件支持开发simulink和polyspace系列产品,可用于do-330软件工具资质考量、基于模型的do-331开发和验证、do-332面向对象技术及相关技术、do-333形式化方法等
[据军事与航空航天电子网站2012年1月6日报道] mathworks公司推出了2012b版(r2012b)do认证软件包,帮助工程师开发do-178c和do-331资格验证工具do-178c可为项目管理人员和证书颁发机构提供采用基于模型设计和加快嵌入式系统认证的全球标准化方案和框架do-178b软件标准适用于解决机载系统软件安全问题美国联邦航空管理局(faa) 以do-178b为指导,确定机载软件是否可靠该一般的开发工具有哪些资格套件提供文档、测试案例和程序,以支持simulink和polyspace软件验证工具满足航空标准的开发项目该套件还包括工具资格计划、工具操作要求以及符合软件验证工具(标准2和3)要求的其他资料