RTCA DO-332-2011 2011年 发布单位 RTCA - RTCA@ Inc. 适用范围 当面向对象技术或相关技术用作软件开发生命周期的一部分并且需要额外指导时,本补充确定了对 DO-178C 和 DO-278A 目标的添加、修改和删除。本补充@与DO-178C@一起旨在为基于面向对象技术(OOT)和相关技术(RT)的系统的评估和验收提供通用框架。
150页 发布单位 / 购买 正式版 标准名称:面向对象技术及相关技术补充DO-178C和DO-278A 标准号:RTCA DO-332 适用范围: 本文件由美国航空电子系统开发相关方委员会SC-205和欧洲协调技术组织工作组WG-71共同编制,于2011年1... RTCA DO-332 2011相似标准...
目前,国内很多航空研制单位的机载设备已经通过了DO-178B认证。ARJ21-700,C919大型飞机等民机型号的研制都极大的推动了DO-178B在中国的普及。 2012年,DO-178B升级为DO-178C,与此同时颁布的标准还有DO-330,DO-331,DO-332,DO-333等。新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程...
RTCA SC-205是一个DO-178C工作组,其成员包括世界各地的产业以及政府机构。DO-178C标准的附录包括DO-330、DO-331、DO-332以及DO-333。 “风河以其符合COTSDO-178C标准的认证文档引领产业之发展。VxWorks 653 DVD包含7万多个超链接文件,支持将这些文档加入到FAA认证的系统之中”,Verocel公司CEO George Romanski...
2012年,DO-178B升级为DO-178C,与此同时颁布的标准还有DO-330,DO-331,DO-332,DO-333等。新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程、形式化方法等方面提出了新的要求。2013年07月19日,FAA正式颁布了AC-20-115C,把DO-178C等一系列文档确认为“可接受的符合性方法”。在可以...
(DO-332), and Formal Methods (DO-333). Each supplement describes the technology, defines the scope of its use within airborne software, lists additional or alternative activities and objectives that must be met when the technology is used, and includes specific FAQs (Frequently Asked Questions) ...
2012年,DO-178B升级为DO-178C,与此同时颁布的标准还有DO-330,DO-331,DO-332,DO-333等。新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程、形式化方法等方面提出了新的要求。2013年07月19日,FAA正式颁布了AC-20-115C,把DO-178C等一系列文档确认为“可接受的符合性方法”。在可以...
这些文件是由RTCASC-205与EUROCAE WG-71一起编写的。RTCA SC-205是一个DO-178C工作组,其成员包括世界各地的产业以及政府机构。DO-178C标准的附录包括DO-330、DO-331、DO-332以及DO-333。 “风河以其符合COTS DO-178C标准的认证文档引领产业之发展。VxWorks 653 DVD包含7万多个超链接文件,支持将这些文档加入...
系统标签: rtcadocuments列表listavailable文档 August2013RTCAListofAvailableDocumentsPage1of124 ListofAvailableDocuments August2013 RTCA,Inc. 115018thStreet,NW,Suite910 Washington,DC20036 Phone:202-833-9339 Fax:202-833-9434 .rtca August2013RTCAListofAvailableDocumentsPage2of124 NewinthisEdition DO-343,Minim...
目前,国内很多航空研制单位的机载设备已经通过了DO-178B认证。ARJ21-700,C919大型飞机等民机型号的研制都极大的推动了DO-178B在中国的普及。 2012年,DO-178B升级为DO-178C,与此同时颁布的标准还有DO-330,DO-331,DO-332,DO-333等。新标准为适应技术的发展在软件工具验证、基于模型的开发和验证、面向对象编程...