DO-178B和DO-178C都是RTCA为机载软件所制定的标准,后者发布于2011年,可以理解为前者的升级版,主要根据前者1992年发布以来软件开发实践、技术和工具等方面的进步对其进行了勘误、澄清与补充,修改了原来描述不清晰的方面,并加了模型开发、工具鉴定、面向对象方法等技术。 DO-178C软件生命周期过程和系统之间信息流 DO-...
此外，基于需求的测试工具能依据具体需求自动生成测试用例，确保所有需求都得到充分测试，同时实现需求、设计与测试用例之间的可追溯性，这是DO-178B标准的一项核心要求。验证工具选择关键要素 在遵循DO-178B标准的过程中，选择合适的软件验证工具至关重要。以下是几个需要重点考虑的因素：工具鉴定：DO-178B标准要求，用...
DO-178B的核心内容与结构 DO-178B文献格式的核心在于其严谨的结构和详细的内容规定。它首先明确了软件生命周期的各个阶段,包括计划、开发、验证、确认等,每个阶段都有具体的目标和活动。例如,在计划阶段,需要制定软件开发计划、验证计划等,以确保后续工作的有序进行。在开发阶段,则要求按照既定的编码规范进行编程,并...
DO-178B作为一种满足适航要求的软件表明符合性方法,适用于申请人(OEM)以及其供应商申请: 型号合格证/型号认可证(TC/VTC) 补充型号合格证/补充型号认可证(STC/VSTC) TSOA/PMA/VDA DO-178软件全生命周期过程 系统全生命周期过程 系统安全性评估过程(包含系统需求、功能危害性分析(FHA)、初始系统安全性分析(PSSA)...
DO-178B 基础培训Prepare by: 王敏民航中南地区管理局适航审定处2007年4月4日 上海 第1页 / 共118页 阅读了该文档的用户还阅读了这些文档 36 p. 人教版数学四年级下册-05三角形-01三角形的特性-课件05 24 p. 2019-2020学年北京市丰台区八年级上册期末数学试卷 15 p. (暑假预习也可用)部编版二年级...
RTCA/DO-178B系统和设备认证中的软件考虑因素 机载系统和设备认证中 的软件考虑因素 RTCA/DO- 178A 由RTCASC–167/EUROCAEWG–12于1992年12月编制 本文件副本可以从RTCA公司获得 通信地址:美国华盛顿特区康涅狄格大道1140号 电话:202–8339339 传真:202–8339334 有关价格和订购信息请与RTCA公司联系 RTCA/DO-178B...
DO-178B标准是由美国的航空无线电技术委员会(RTCA)所提出的一个航空工业的软件标准,标准名为“Software Considerations in Airborne Systems and Equipment Certification”。它的第一个正式版本是RTCA于1982年发布的,到1992年,经过多个行业联合的综合性更新发布了DO-178B(欧洲认可为ED-12B)。该标准也就是当前我国在...
DO-178B/C 验证目标和活动。 超过1,000 个高度监管的组织信任 Visure #1AI 支持的需求管理和 ALM 软件 确保符合 DO-178B/C。 实施全面的可追溯性。 加快您的时间表。 了解如何使用 Visure 的生成式 AI 在整个产品生命周期中加速航空电子设备开发和合规性。
3 安全性监控. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2. 4 系统对用户可更改软件、 可选择选项软件和商用成品软件的考虑. . . . . . . . 6 2. 5 系统设计对外场可加载软件的...
DO-178B/C 标准强调使用客观证据来证明软件满足其预期功能和安全目标。 代码审查、测试和分析等验证活动在建立证据方面发挥着至关重要的作用。 软件验证工具通过自动化验证过程的各个方面来补充手动验证技术,从而提高效率、一致性和准确性。 通过利用软件验证工具,开发团队可以: 检测错误和缺陷 软件验证工具采用复杂的...