标准名称:RTCA DO-333 正式方法补充 适用范围: 本文件为DO-178C和DO-278A的补充,提供了一套基于形式方法的软件开发验证技术。适用于航空电子系统的软件开发与验证过程。 内容小结: 本标准由RTCA SC-205和EUROCAE WG-71编制,并经RTCA项目管理委员会批准,旨在提供一个基于形式方法的补充指南。该指南详细描述了软件...
RTCA DO-333-2011相似标准 RTCA DO-331-2011DO-178C和DO-278A的基于模型的开发和验证补充RTCA DO-332-2011DO-178C和DO-278A的面向对象技术和相关技术补充RTCA DO-248C-2011DO-178C和DO-278A的支持信息RTCA DO-248C 2011 RTCADO-248C 2011RTCA DO-367 SUPP-2017DO-367 TAWS MOPS补充(ZIP 上的DO-367...
在DO-178B中,目标、过程、数据是软件适航的基本要求。这三方面适航要求是辩证统一的关系,即一旦选择了DO-178B标准作为符合性方法,就必须满足该标准所定义的所有适航目标,而满足这些适航目标的途径则是执行该标准所建议的过程和活动,为证明这些适航目标被满足,应按照该标准所定义的软件生命周期数据来组织相关证据。DO-...
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...
爱企查为您提供苏州埃倍孚测试技术有限公司RTCA/DO 总载荷180g 转臂式恒加速度测试 工业电器产品 埃倍孚等产品,您可以查看公司工商信息、主营业务、详细的商品参数、图片、价格等信息,并联系商家咨询底价。欲了解更多三综合振动测试、振动测试、机械冲击测试、冲击响应谱
这些文件是由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万多个超链接文件,支持将这些文档加入...
Applying Model-Based Techniques for Aerospace Projects in Accordance with DO-178C, DO-331, and DO-333 The new standard for software development in civil aviation, DO-178C, mainly differs from its predecessor DO-178B, in that it has standard supplements to p... U Eisemann 被引量: 0发表:...
The three technologies are Model Based Development and Verification (DO-331), Object Oriented Technology and related technologies (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 ...
埃倍孚 RTCA DO -70~150℃ 梯形波冲击测试 道路车辆产品 苏州埃倍孚测试技术有限公司 1年 查看详情 ￥4万 ~ 14万 Axion- RTCA实时无标记细胞分析仪,全自动细胞分析系统 全自动 蔼可芯昂生物仪器(上海)有限公司 查看详情 ￥200.00/次 黑龙江哈尔滨 埃倍孚技术 台面80~2000mm RTCA DO 高加速冲击测试 仪...
在DO-178B中,目标、过程、数据是软件适航的基本要求。这三方面适航要求是辩证统一的关系,即一旦选择了DO-178B标准作为符合性方法,就必须满足该标准所定义的所有适航目标,而满足这些适航目标的途径则是执行该标准所建议的过程和活动,为证明这些适航目标被满足,应按照该标准所定义的软件生命周期数据来组织相关证据。DO-...