DO-178C 与与DO-178B 的差别的差别 与与 的差别的差别 王云明 [文章来源:/blog/article.asp?id=241] [欢迎转载,转载时请保留该声明] 1. 前言前言 前言前言 在民用航空机载系统的适航体系中,DO-178 (机载系统和设备审定中的软件要求)是 机载软件的适用标准。它最早由RTCA 和EUROCAE 发布于1982 年,此后...
详细内容可参考 ICFP'09 《Experience Report: Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework》。 数十年前,民用航空电子机构就定义了机载嵌入式代码的认证要求。DO-178B 标准(RTCA/DO-178B,1992)规定了机载软件开发的限制约束。该流程已被纳入航空器的全周期认证...
Keywords:airbornesoftware;DO-178B/C;airworthinessobjective;stageofinvolvementreview;airwor thinesscertification 引言 作为航空电子设备的“大脑”———计算机软件,其 质量和可靠性不仅影响到硬件产品的性能,甚至会危 及飞机的安全。因此,设备制造商、用户和管理部门都 ...
DO-178C 比较严格地区分了Purpose、Goal 和Objective 等单词。在不同的情况下, 准确地选用了其中一个单词。 DO-178C 比DO-178B 更严格了区分了Activity 和Process 这两个概念。 还有一点,在 DO-178C 中,专有术语(如各项软件生命周期数据)全部要求首字 母大写,比如源代码(专有术语)必须写成“Source Code...
Airworthiness requirement 适航要求 Algorithm 算法 Alternative methods 替代方法 Analysis 分析 Annex 附件 Anomalous behavior 异常行为 Appendix 附录 Applicable requirement 现行适航要求 Applicant 申请人 Application Specific Integrated Circuit 专用集成电路ASIC Approval 批准 Assurance 保证 Archive 归档 Assess 评估 Assess...
在民用航空机载系统的适航体系中，DO-178（机载系统和设备审定中的软件要求）是机载软件的适用标准。它最早由RTCA和EUROCAE发布于1982年，此后在1985年和1992年进行了两次改版，分别为DO-178A和DO-178B（EUROCAE的编号为ED-12A和ED-12B）。DO-178B虽然具有较好的稳定性，但随着机载软件研制新技术的层出不穷，...
To use RapiTime’s calculated WCET in support of DO-178B or DO-178C objective 6.3.4f, it is necessary both to qualify the tool and to provide a corresponding analysis process. One approach to determining WCET that is widely used and currently accepted by certification authorities is manual ...
Objective 等单词 在不同的情况下 准确地选用了其中一个单词 DO 178C 比 DO 178B 更严格了区分了 Activity 和 Process 这两个概念 还有一点 在 DO 178C 中 专有术语 如各项软件生命周期数据 全部要求首字 母大写 比如源代码 专有术语 必须写成 Source Code 而不能写成 source code 或 Source code 目标...
The DO-178B/C standard emphasizes the use of objective evidence to demonstrate that software meets its intended functionality and safety objectives. Verification activities, such as code reviews, testing, and analysis, play a crucial role in establishing this evidence. Software verification tools comple...
摘 要：ＤＯ－１７８Ｂ／Ｃ标准作为面向适航审定的机载软件生命周期过程标准，着重提出了每个过程中应实现的目标，在ＤＯ－１７８Ｂ与ＤＯ－１７８Ｃ适航目标的变化的基础上，详细分析了目标之间的关系，目标的分布与差异。以适航标准和指导性文件为依据，结合机载软件开发过程监控背景，对阶段介入评审进行机载软件...